metapp 0.2.0 · OCaml Package

Coercions

val int_of_expression : Parsetree.expression -> int

val destruct_string_constant : Parsetree.constant -> string option

val string_of_expression : Parsetree.expression -> string

val string_of_arbitrary_expression : Parsetree.expression -> string

val bool_of_expression : Parsetree.expression -> bool

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

val list_of_expression : Parsetree.expression -> Parsetree.expression list

val list_of_tuple : Parsetree.expression -> Parsetree.expression list

val structure_of_expression : Parsetree.expression -> Parsetree.structure

val lid_of_str : Ast_helper.str -> Ast_helper.lid

Location management

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

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

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

Constructing identifiers

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

Constructing function application

val nolabel : 'a -> Asttypes.arg_label * 'a

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

val apply : 
  ?attrs:Ast_helper.attrs ->
  Parsetree.expression ->
  ?labels:(string * Parsetree.expression) list ->
  Parsetree.expression list ->
  Parsetree.expression

Generic signature for visitable nodes

type 'a iterator_item = Ast_iterator.iterator -> 'a -> unit

type 'a mapper_item = Ast_mapper.mapper -> 'a -> 'a

type ('cell, 'contents) accessor = {

get : 'cell -> 'contents;
set : 'contents -> 'cell -> 'cell;

}

module type VisitableS = sig ... end

Generic signature for extensible nodes

module type ExtensibleS = sig ... end

module type PayloadS = sig ... end

module type ItemS = sig ... end

module Cty : ExtensibleS with type t = Parsetree.class_type

module Ctf : ExtensibleS with type t = Parsetree.class_type_field

module Cl : ExtensibleS with type t = Parsetree.class_expr

module Cf : ExtensibleS with type t = Parsetree.class_field

module Mty : ExtensibleS with type t = Parsetree.module_type

module Mod : ExtensibleS with type t = Parsetree.module_expr

val range_loc : Location.t -> Location.t -> Location.t

module Stri : sig ... end

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

module Str : sig ... end

module Sigi : sig ... end

module Sig : sig ... end

type value = {

exp : Parsetree.expression;
pat : Parsetree.pattern;

}

Generic signature for expressions and patterns

module type BaseValueS = sig ... end

module type ValueS = sig ... end

val unit_ctor : string

val none_ctor : string

val some_ctor : string

val nil_ctor : string

val cons_ctor : string

val longident : Longident.t

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

module Exp : sig ... end

module Typ : sig ... end

module Pat : sig ... end

module Value : ValueS with type t = value

Payload extraction

val int_of_payload : Parsetree.payload -> int

val string_of_payload : Parsetree.payload -> string

val bool_of_payload : Parsetree.payload -> bool

Payload construction (ctd)

val payload_of_int : int -> Parsetree.payload

Coercions (ctd)

val sequence : Parsetree.expression list -> Parsetree.expression

General purpose functions

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

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

module Accu : sig ... end

package metapp