Module `Metapp`Source

include sig ... end

Sourceval ppxlib_version : int * int * int

Sourceval ast_version : int * int

String constant destructor

Sourcetype string_constant = {

s : string;
loc : Location.t;
delim : string option;

}

Sourceval destruct_string_constant : Ppxlib.constant -> string_constant option

Coercions

Sourceval int_of_expression : Ppxlib.expression -> int

Sourceval string_of_expression : Ppxlib.expression -> string_constant

Sourceval string_of_arbitrary_expression : Ppxlib.expression -> string

Sourceval bool_of_expression : Ppxlib.expression -> bool

Source

val pair_of_expression : 
  Ppxlib.expression ->
  Ppxlib.expression * Ppxlib.expression

Sourceval list_of_expression : Ppxlib.expression -> Ppxlib.expression list

Sourceval list_of_tuple : Ppxlib.expression -> Ppxlib.expression list

Sourceval structure_of_expression : Ppxlib.expression -> Ppxlib.structure

Sourceval lid_of_str : Ast_helper.str -> Ast_helper.lid

Sourceval sequence : Ppxlib.expression list -> Ppxlib.expression

Payload construction and extraction

Sourceval int_of_payload : Ppxlib.payload -> int

Sourceval payload_of_int : int -> Ppxlib.payload

Sourceval string_of_payload : Ppxlib.payload -> string

Sourceval bool_of_payload : Ppxlib.payload -> bool

Location management

Sourceval mkloc : 'a -> 'a Location.loc

Sourceval map_loc : ('a -> 'b) -> 'a Location.loc -> 'b Location.loc

Sourceval with_loc : ('a -> 'b) -> 'a Location.loc -> 'b

Longident

Sourcetype 'a comparer = 'a -> 'a -> int

Sourcemodule Longident : sig ... end

Sourceval mklid : ?prefix:Longident.t -> string -> Ast_helper.lid

Constructing function application

Sourceval nolabel : 'a -> Ppxlib.Asttypes.arg_label * 'a

Sourceval nolabels : 'a list -> (Ppxlib.Asttypes.arg_label * 'a) list

Source

val apply : 
  ?attrs:Ppxlib.attributes ->
  Ppxlib.expression ->
  ?labels:(string * Ppxlib.expression) list ->
  ?optional:(string * Ppxlib.expression) list ->
  Ppxlib.expression list ->
  Ppxlib.expression

Generic signature for visitable nodes

Sourcetype 'a iter = 'a -> unit

Sourcetype 'a map = 'a -> 'a

Sourcemodule type VisitableS = sig ... end

Generic signature for extensible nodes

Sourcetype destruct_extension = Ppxlib.extension * Ppxlib.attributes

Sourcemodule type ExtensibleS = sig ... end

Sourcemodule type PayloadS = sig ... end

Sourcemodule type ItemS = sig ... end

Sourcemodule Cty : ExtensibleS with type t = Ppxlib.class_type

Sourcemodule Ctf : ExtensibleS with type t = Ppxlib.class_type_field

Sourcemodule Cl : ExtensibleS with type t = Ppxlib.class_expr

Sourcemodule Cf : ExtensibleS with type t = Ppxlib.class_field

Sourcemodule Stri : ItemS with type t := Ppxlib.structure_item

Sourcemodule Str : sig ... end

Sourcemodule Sigi : ItemS with type t := Ppxlib.signature_item

Sourcemodule Sig : sig ... end

Module expressions

Sourcetype functor_parameter = Ppxlib.functor_parameter =

| Unit
| Named of string option Location.loc * Ppxlib.module_type

Sourcemodule type FunctorS = sig ... end

Sourcemodule type ModS = sig ... end

Sourcemodule Mod : ModS with type t = Ppxlib.module_expr

Module types

Sourcemodule Mty : ModS with type t = Ppxlib.module_type

Sourcemodule Types : sig ... end

Generic signature for expressions and patterns

Sourcemodule type ValueS = sig ... end

Sourcemodule Pat : sig ... end

Sourcetype value = {

exp : Ppxlib.expression;
pat : Ppxlib.pattern;

}

Sourcemodule Value : ValueS with type t = value

Attribute management

Sourcemodule Attr : sig ... end

Module binding and declaration

Sourcetype module_name = string option

Sourceval module_name_of_string_option : string option -> module_name

Sourceval string_option_of_module_name : module_name -> string option

Sourcemodule Md : sig ... end

Sourcemodule Mb : sig ... end

Mapper for `[@if bool]` notation

Sourceclass filter : Ppxlib.Ast_traverse.map

Type construction

Sourcemodule Typ : sig ... end

Type declarations

Sourcemodule Type : sig ... end

Extension constructors

Sourcemodule Te : sig ... end

Open

Sourcemodule Opn : sig ... end

Expressions

Sourcemodule Exp : sig ... end

Row fields

Sourcemodule Rf : sig ... end

The module `Rf` has been introduced in Ast_helper with OCaml 4.08.0 (as row_field type switched to a record representation). Moreover, even the current Ast_helper.Rf.inherit_ (OCaml 4.10.0) misses the ?attrs flag.

Object fields

Sourcemodule Of : sig ... end

With constraint

Sourcemodule With : sig ... end

General purpose functions

Sourceval compare_pair : 'a comparer -> 'b comparer -> ('a * 'b) comparer

Sourceval compare_list : 'a comparer -> 'a list comparer

Sourceval update : ('a -> 'b * 'a) -> 'a Stdcompat.ref -> 'b

Sourceval mutate : ('a -> 'a) -> 'a Stdcompat.ref -> unit

Sourceval extract_first : ('a -> 'b option) -> 'a list -> ('b * 'a list) option

Sourcemodule Accu : sig ... end

Indexed accumulator to build an array.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/metapp/Metapp/index.html

Module `Metapp`Source

String constant destructor

Coercions

Payload construction and extraction

Location management

Longident

Constructing function application

Generic signature for visitable nodes

Generic signature for extensible nodes

Module expressions

Module types

Generic signature for expressions and patterns

Attribute management

Module binding and declaration

Mapper for `[@if bool]` notation

Type construction

Type declarations

Extension constructors

Open

Expressions

Row fields

Object fields

With constraint

General purpose functions

package metapp

Install

Dune Dependency

Authors

Maintainers

Sources

doc/metapp/Metapp/index.html

Module MetappSource

String constant destructor

Coercions

Payload construction and extraction

Location management

Longident

Constructing function application

Generic signature for visitable nodes

Generic signature for extensible nodes

Module expressions

Module types

Generic signature for expressions and patterns

Attribute management

Module binding and declaration

Mapper for [@if bool] notation

Type construction

Type declarations

Extension constructors

Open

Expressions

Row fields

Object fields

With constraint

General purpose functions

Module `Metapp`Source

Mapper for `[@if bool]` notation