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

package metapp

Module Metapp_preutilsSource