package override

You can search for identifiers within the package.

in-package search v0.2.0

PPX extension for overriding modules

Install

Dune Dependency

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

Authors

T

Thierry Martinez <thierry.martinez@inria.fr>

Maintainers

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 =

| Extension of Parsetree.extension * Parsetree.attributes
| Type of Asttypes.rec_flag * Parsetree.type_declaration list
| Module of module_binding
| Modtype of Parsetree.module_type_declaration
| Include of include_declaration
| Other of item

type wrapped_item = item_desc Location.loc

type !'a attributed = 'a Ast_definitions(Types).attributed = {

attrs : Parsetree.attributes;
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 = {

name : string Location.loc;
expr : module_expr;

}

type wrapped_module_binding = module_binding_desc attributed Location.loc

type module_expr_desc = Ast_definitions(Types).module_expr_desc =

| Ident of Longident.t Location.loc
| Contents of contents
| Functor of string Location.loc * Parsetree.module_type option * module_expr
| Constraint of module_expr Lazy.t * Parsetree.module_type
| 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