Module `Metapp_preutils`Source

Coercions

Sourceval int_of_expression : Ppxlib.expression -> int

Sourceval destruct_string_constant : Ppxlib.constant -> string option

Sourceval string_of_expression : Ppxlib.expression -> string

Sourceval string_of_arbitrary_expression : Ppxlib.expression -> string

Sourceval bool_of_expression : Ppxlib.expression -> bool

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 : Ppxlib.Ast_helper.str -> Ppxlib.Ast_helper.lid

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

Constructing identifiers

Sourceval make_ident : ?prefix:Longident.t -> string -> Longident.t

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:Astlib.Ast_500.Parsetree.attribute list ->
  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 Mty : ExtensibleS with type t = Ppxlib.module_type

Sourcemodule Mod : ExtensibleS with type t = Ppxlib.module_expr

Sourceval range_loc : Location.t -> Location.t -> Location.t

Sourcemodule Stri : sig ... end

Sourceval list_to_loc : ('a -> Location.t) -> 'a list -> Location.t

Sourcemodule Str : sig ... end

Sourcemodule Sigi : sig ... end

Sourcemodule Sig : sig ... end

Sourcetype value = {

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

}

Generic signature for expressions and patterns

Sourcemodule type BaseValueS = sig ... end

Sourcemodule type ValueS = sig ... end

Sourceval unit_ctor : string

Sourceval none_ctor : string

Sourceval some_ctor : string

Sourceval nil_ctor : string

Sourceval cons_ctor : string

Sourceval longident : Longident.t

Sourcemodule ExtendValue (Base : BaseValueS) : ValueS with type t = Base.t

Sourcemodule Exp : sig ... end

Sourcemodule Typ : sig ... end

Sourcemodule Pat : sig ... end

Sourcemodule Value : ValueS with type t = value

Payload extraction

Sourceval int_of_payload : Ppxlib.payload -> int

Sourceval string_of_payload : Ppxlib.payload -> string

Sourceval bool_of_payload : Ppxlib.payload -> bool

Payload construction (ctd)

Sourceval payload_of_int : int -> Ppxlib.payload

Coercions (ctd)

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

General purpose functions

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

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

Sourcemodule Accu : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/metapp.preutils/Metapp_preutils/index.html

Module `Metapp_preutils`Source

Coercions

Location management

Constructing identifiers

Constructing function application

Generic signature for visitable nodes

Generic signature for extensible nodes

Generic signature for expressions and patterns

Payload extraction

Payload construction (ctd)

Coercions (ctd)

General purpose functions

package metapp

Install

Dune Dependency

Authors

Maintainers

Sources

doc/metapp.preutils/Metapp_preutils/index.html

Module Metapp_preutilsSource

Coercions

Location management

Constructing identifiers

Constructing function application

Generic signature for visitable nodes

Generic signature for extensible nodes

Generic signature for expressions and patterns

Payload extraction

Payload construction (ctd)

Coercions (ctd)

General purpose functions

Module `Metapp_preutils`Source