package override

  1. Overview
  2. Docs
PPX extension for overriding modules

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Edit opam file Versions (5)

Authors

  1. T
    Thierry Martinez <thierry.martinez@inria.fr>

Maintainers

  1. T
    Thierry Martinez <thierry.martinez@inria.fr>

Sources

override-0.2.2.tar.gz
sha512=2a22d74285570ad9f2a73327f52d4bef4aeb523f1b385f229775cc2a3bce4c389f2939da320c917707713ffc852cbcb3a1b515f9d7203da5751018589766ce01

doc/override.ast_wrapper/Ast_wrapper/Signature/index.html

Module Ast_wrapper.Signature

module Types = Signature_types
include sig ... end
type item = Types.item
type module_binding = Types.module_binding
type module_expr = Types.module_expr
type contents = item list
type include_declaration = module_expr Parsetree.include_infos
type item_desc = Ast_definitions(Types).item_desc =
  1. | Extension of Parsetree.extension * Parsetree.attributes
  2. | Type of Asttypes.rec_flag * Parsetree.type_declaration list
  3. | Module of module_binding
  4. | Modtype of Parsetree.module_type_declaration
  5. | Include of include_declaration
  6. | Other of item
type wrapped_item = item_desc Location.loc
type !'a attributed = 'a Ast_definitions(Types).attributed = {
  1. attrs : Parsetree.attributes;
  2. contents : 'a;
}
val mkattr : loc:Location.t -> ?attrs:Parsetree.attributes -> 'a -> 'a attributed Location.loc
type module_binding_desc = Ast_definitions(Types).module_binding_desc = {
  1. name : string Location.loc;
  2. expr : module_expr;
}
type wrapped_module_binding = module_binding_desc attributed Location.loc
type module_expr_desc = Ast_definitions(Types).module_expr_desc =
  1. | Ident of Longident.t Location.loc
  2. | Contents of contents
  3. | Functor of string Location.loc * Parsetree.module_type option * module_expr
  4. | Constraint of module_expr Lazy.t * Parsetree.module_type
  5. | Other of module_expr
type wrapped_module_expr = module_expr_desc attributed Location.loc
val empty : loc:Location.t -> item
val destruct : item -> wrapped_item
val build : wrapped_item -> item
val choose : (unit -> Parsetree.structure_item) -> (unit -> Parsetree.signature_item) -> item
val map : Ast_mapper.mapper -> Ast_mapper.mapper -> contents -> contents
val map_item : Ast_mapper.mapper -> Ast_mapper.mapper -> item -> item
val format : Format.formatter -> contents -> unit
val destruct_payload : loc:Location.t -> Parsetree.payload -> contents
val destruct_module_binding : module_binding -> wrapped_module_binding
val build_module_binding : wrapped_module_binding -> module_binding
val destruct_module_expr : module_expr -> wrapped_module_expr
val build_module_expr : wrapped_module_expr -> module_expr
val choose_module_expr : (unit -> Parsetree.module_expr) -> (unit -> Parsetree.module_type) -> module_expr