package metapp

  1. Overview
  2. Docs
package metapp
Legend:
Library
Module
Module type
Parameter
Class
Class type

Coercions

val int_of_expression : Parsetree.expression -> int
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
val ident : ?attrs:Ast_helper.attrs -> Longident.t -> Parsetree.expression

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 = {
  1. get : 'cell -> 'contents;
  2. 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 = {
  1. exp : Parsetree.expression;
  2. 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct