package elpi

You can search for identifiers within the package.

in-package search v0.2.0

elpi
- Elpi
  - API
    
    AlgebraicData
    
    Ast
    
    Loc
    
    Name
    
    Map
    
    Set
    
    Opaque
    
    Scope
    
    Term
    
    Type
    
    BuiltIn
    
    BuiltInData
    
    BuiltInPredicate
    
    HOAdaptors
    
    Notation
    
    Calc
    
    Compile
    
    StrSet
    
    ContextualConversion
    
    Conversion
    
    Data
    
    StrMap
    
    Execute
    
    FlexibleData
    
    Elpi
    
    Host
    
    Map
    
    Host
    
    Show
    
    OpaqueData
    
    Parse
    
    Pp
    
    Ast
    
    Quotation
    
    RawData
    
    Constants
    
    RawOpaqueData
    
    RawPp
    
    Debug
    
    RawQuery
    
    Setup
    
    State
    
    Utils
    
    IntSet
    
    LocSet
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Show
    
    Show1
  - Builtin
  - Builtin_map
  - Builtin_set
  - Builtin_stdlib
elpi.compiler
- Elpi_compiler
  - Compiler
  - Compiler_data
    
    Arity
    
    MutableOnce
    
    QuotationHooks
    
    Scope
    
    Map
    
    Set
    
    ScopeContext
    
    ScopedTerm
    
    QTerm
    
    SimpleTerm
    
    ScopedTypeExpression
    
    SimpleType
    
    TypeAssignment
    
    TypeList
  - Determinacy_checker
    
    merger
  - Type_checker
elpi.lexer_config
- Elpi_lexer_config
  - Lexer_config
  - Tokens
elpi.parser
- Elpi_parser
  - Ast
    
    Chr
    
    Clause
    
    Func
    
    Map
    
    Set
    
    Goal
    
    Macro
    
    Mode
    
    Program
    
    Structured
    
    Term
    
    Type
    
    TypeAbbreviation
    
    TypeExpression
  - Error_messages
  - Grammar
    
    Make
    
    C
  - Lexer
  - Parse
    
    Config
    
    Make
    
    C
    
    Internal
    
    Parser
    
    Parser_w_Internals
    
    Internal
  - Parser_config
    
    ParseFile
elpi.runtime
- Elpi_runtime
  - Bl
  - Data
    
    BuiltInPredicate
    
    ADT
    
    CHR
    
    CalcHooks
    
    ContextualConversion
    
    Conversion
    
    Global_symbols
    
    HoasHooks
    
    State
    
    Term
    
    C
  - Discrimination_tree
    
    Internal
    
    Path
  - Ptmap
  - Runtime
    
    CompileTime
    
    Pp
  - Runtime_trace_off
    
    CompileTime
    
    Pp
elpi.trace.runtime
- Trace_ppx_runtime
  - Runtime
elpi.util
- Elpi_util
  - Util
    
    Bool
    
    CData
    
    Constants
    
    Map
    
    Set
    
    Digest
    
    Fork
    
    Hashtbl
    
    HashedType
    
    Make
    
    H
    
    MakeSeeded
    
    H
    
    S
    
    SeededHashedType
    
    SeededS
    
    Int
    
    IntMap
    
    IntSet
    
    Loc
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    S
    
    Show
    
    Show1
    
    Show2
    
    StrMap
    
    StrSet
    
    String
    
    UUID
    
    Htbl

Legend:
Library
Module
Module type
Parameter
Class
Class type

module SimpleTerm : sig ... end

type spill_info =

| NoInfo
| Main of int
| Phantom of int

val pp_spill_info : 
  Ppx_deriving_runtime.Format.formatter ->
  spill_info ->
  Ppx_deriving_runtime.unit

val show_spill_info : spill_info -> Ppx_deriving_runtime.string

type t_ =

| Impl of bool * t * t
| Const of Scope.t * F.t
| Discard
| Var of F.t * t list
| App of Scope.t * F.t * t * t list
| Lam of (F.t * Scope.language) option * ScopedTypeExpression.e option * t
| CData of Elpi_util.Util.CData.t
| Spill of t * spill_info Stdlib.ref
| Cast of t * ScopedTypeExpression.e

and t = {

}

val pp_t_ : 
  Ppx_deriving_runtime.Format.formatter ->
  t_ ->
  Ppx_deriving_runtime.unit

val show_t_ : t_ -> Ppx_deriving_runtime.string

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

val show : t -> Ppx_deriving_runtime.string

val type_of : t -> TypeAssignment.t MutableOnce.t TypeAssignment.t_

val lam : int

val app : int

val lvl_of : t_ -> int

val pretty : Stdlib.Format.formatter -> t -> unit

val pretty_ : Stdlib.Format.formatter -> t_ -> unit

val pretty_parens : lvl:int -> Stdlib.Format.formatter -> t -> unit

val pretty_parens_lam : lvl:int -> Stdlib.Format.formatter -> t -> unit

val equal : ?types:bool -> t -> t -> bool

val compare : 'a -> 'b -> 'c

val in_scoped_term : t -> Elpi_util.Util.CData.t

val out_scoped_term : Elpi_util.Util.CData.t -> t

val is_scoped_term : Elpi_util.Util.CData.t -> bool

val of_simple_term : loc:Elpi_util.Util.Loc.t -> SimpleTerm.t_ -> t_

val of_simple_term_loc : SimpleTerm.t -> t

val unlock : t -> t_

val fresh : unit -> F.t

val rename : Scope.language -> F.t -> F.t -> t_ -> t_

val rename_loc : Scope.language -> F.t -> F.t -> t -> t

val beta : t -> t list -> t_

module QTerm : sig ... end