package elpi

You can search for identifiers within the package.

in-package search v0.2.0

elpi
- Elpi_API
  - Ast
    
    Loc
  - Compile
    
    StrSet
  - Data
    
    StrMap
  - Execute
  - Extend
    
    BuiltInPredicate
    
    ADT
    
    Notation
    
    CData
    
    Compile
    
    State
    
    CustomFunctor
    
    CustomState
    
    Data
    
    C
    
    Constants
    
    Map
    
    Set
    
    Pp
    
    Raw
    
    Utils
  - Parse
  - Pp
    
    Ast
  - Setup
- Elpi_builtin

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module is the API for clients of the ELPI library.

The modules Setup, Parse, Compile and Execute let one run code, and Pp print the result. Modules Ast and Data mostly contain opaque data types declarations.

The sub module Extend groups the APIs to extend ELPI. It provides richer Ast and Data submodules where the data types are made transparent. Module Extend.Compile lets one register new {{quotations}}. Modules Extend.BuiltInPredicate and Extend.CustomState let one register built-in predicates and custom state.

module Ast : sig ... end

module Setup : sig ... end

module Parse : sig ... end

module Data : sig ... end

module Compile : sig ... end

module Execute : sig ... end

module Pp : sig ... end

module Extend : sig ... end