package elpi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

elpi
- Elpi
  - API
    
    AlgebraicData
    
    Ast
    
    Loc
    
    BuiltIn
    
    BuiltInData
    
    BuiltInPredicate
    
    Notation
    
    Compile
    
    StrSet
    
    ContextualConversion
    
    Conversion
    
    Data
    
    StrMap
    
    Execute
    
    FlexibleData
    
    Elpi
    
    Host
    
    HostWeak
    
    Map
    
    Host
    
    Show
    
    WeakMap
    
    D
    
    Host
    
    OpaqueData
    
    Parse
    
    Pp
    
    Ast
    
    Query
    
    Quotation
    
    RawData
    
    Constants
    
    Map
    
    Set
    
    RawOpaqueData
    
    RawPp
    
    Debug
    
    RawQuery
    
    Setup
    
    State
    
    Utils
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Show
    
    Show1
  - Builtin
  - Builtin_checker
elpi.trace.runtime
- Trace_ppx_runtime
  - Runtime

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Host : HostWeak

module D : Show

Signature

type t

val create : int -> t

val add : Elpi.t -> Host.t -> D.t -> t -> unit

val remove_elpi : Elpi.t -> t -> unit

val remove_host : Host.t -> t -> unit

val filter : (Host.t -> Elpi.t -> D.t -> bool) -> t -> unit

val fold : 
  (Host.t -> Elpi.t -> Data.term option -> D.t -> 'a -> 'a) ->
  t ->
  'a ->
  'a

val elpi : Host.t -> t -> Elpi.t * D.t

val host : Elpi.t -> t -> Host.t * D.t

val uvmap : t State.component

val pp : Format.formatter -> t -> unit

val show : t -> string