package metapp

  1. Overview
  2. Docs
Meta-preprocessor for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

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

Maintainers

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

Sources

metapp.0.4.4.tar.gz
sha512=817b33d9006a6849845e29a2b12ad7b7d13e34e38216bd2724df45e8f24356f9d281e2731ecc37a8ab2b5faef844252a04f976adf61d024b7653235e38dfdc46

doc/metapp.preutils/Metapp_preutils/index.html

Module Metapp_preutilsSource

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
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

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
Sourceval 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
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 = {
  1. exp : Ppxlib.expression;
  2. 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)

General purpose functions

Sourceval update : ('a -> 'b * 'a) -> 'a Stdcompat.ref -> 'b
Sourceval mutate : ('a -> 'a) -> 'a Stdcompat.ref -> unit
Sourcemodule Accu : sig ... end