package metapp

You can search for identifiers within the package.

in-package search v0.2.0

package metapp

metapp
- Metapp
  - Attr
  - Cf
  - Cl
  - Ctf
  - Cty
  - Exp
  - ExtensibleS
  - ItemS
  - Mb
  - Md
  - Mod
  - Mty
  - Of
  - Pat
  - PayloadS
  - Rf
  - Sig
  - Sigi
  - Str
  - Stri
  - Typ
  - Value
  - ValueS
  - VisitableS
metapp.api
- Metapp_api
  - ArrayQuotation
  - ArrayQuotations
  - Cf
    
    MetapointAccessor
    
    Collector
  - Cl
    
    MetapointAccessor
    
    Collector
  - Ctf
    
    MetapointAccessor
    
    Collector
  - Cty
    
    MetapointAccessor
    
    Collector
  - Exp
    
    MetapointAccessor
    
    Collector
    
    QuotationAccessor
    
    Collector
  - LocationArray
  - Map
  - MetapointMap
    
    M
    
    X
    
    Y
  - MetapointName
    
    Make
    
    X
  - MetapointS
    
    MetapointAccessor
    
    Collector
  - Metapoints
    
    Make
    
    X
    
    X
  - MetapointsLocation
    
    Make
    
    X
  - MetapointsMakeS
    
    Make
    
    X
  - MetapointsS
  - MetapointsWithMake
    
    X
  - MetapointsWithMakeS
  - Mod
    
    MetapointAccessor
    
    Collector
  - Mty
    
    MetapointAccessor
    
    Collector
  - OptionArray
  - OptionArrayMetapoints
    
    Make
    
    X
  - Pat
    
    MetapointAccessor
    
    Collector
    
    QuotationAccessor
    
    Collector
  - QuotationMap
    
    M
    
    X
    
    Y
  - QuotationName
    
    Make
    
    X
  - QuotationS
    
    QuotationAccessor
    
    Collector
  - Quotations
    
    Make
    
    X
    
    X
  - QuotationsMakeS
    
    Make
    
    X
  - QuotationsS
  - QuotationsWithMake
    
    X
  - QuotationsWithMakeS
  - Sig
    
    QuotationAccessor
    
    Collector
  - Sigi
    
    MetapointAccessor
    
    Collector
    
    QuotationAccessor
    
    Collector
  - Str
    
    QuotationAccessor
    
    Collector
  - Stri
    
    MetapointAccessor
    
    Collector
    
    QuotationAccessor
    
    Collector
  - Typ
    
    MetapointAccessor
    
    Collector
    
    QuotationAccessor
    
    Collector
  - UnaryMakeS
  - UnaryS
metapp.preutils
- Metapp_preutils
  - Exp
  - Footer
    
    Pat
    
    Value
  - Header
    
    BaseValueS
    
    Cf
    
    Cl
    
    Ctf
    
    Cty
    
    ExtendValue
    
    Base
    
    ExtensibleS
    
    ItemS
    
    Mod
    
    Mty
    
    PayloadS
    
    Sig
    
    Sigi
    
    Str
    
    Stri
    
    ValueS
    
    VisitableS
  - Typ
metapp.test_framework
- Test_framework

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Header : sig ... end

include module type of struct include Header end

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 = ('cell, 'contents) Header.accessor = {

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

}

module type VisitableS = Header.VisitableS

Generic signature for extensible nodes

module type ExtensibleS = Header.ExtensibleS

module type PayloadS = Header.PayloadS

module type ItemS = Header.ItemS

module Cty = Header.Cty

module Ctf = Header.Ctf

module Cl = Header.Cl

module Cf = Header.Cf

module Mty = Header.Mty

module Mod = Header.Mod

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

module Stri = Header.Stri

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

module Str = Header.Str

module Sigi = Header.Sigi

module Sig = Header.Sig

type value = Header.value = {

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

}

Generic signature for expressions and patterns

module type BaseValueS = Header.BaseValueS

module type ValueS = Header.ValueS

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 = Header.ExtendValue

module Exp : sig ... end

module Typ : sig ... end

module Footer : sig ... end

include module type of struct include Footer end

module Pat = Footer.Pat

module Value = Footer.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