package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.0.0.tbz

sha256=424e5a4631f5935a1436093b614917210b00259d16700912488ba4cd148115d1

sha512=fa54ce05101fafe905c6db2e5fa7ad79d714ec3b580add4ff711bad37fc9545a58795f69056d62f6c18d8c87d424acc1992ab7fb667652e980d182d4ed80ba16

doc/elpi.compiler/Elpi_compiler/Compiler_data/TypingEnv/index.html

Module `Compiler_data.TypingEnv`Source

Sourcetype indexing =

| Index of Elpi_runtime.Data.pred_info
| DontIndex

Source

val pp_indexing : 
  Ppx_deriving_runtime.Format.formatter ->
  indexing ->
  Ppx_deriving_runtime.unit

Sourceval show_indexing : indexing -> Ppx_deriving_runtime.string

Sourcetype symbol_metadata = {

ty : TypeAssignment.skema;
indexing : indexing;
availability : Elpi_parser.Ast.Structured.symbol_availability;

}

Source

val pp_symbol_metadata : 
  Ppx_deriving_runtime.Format.formatter ->
  symbol_metadata ->
  Ppx_deriving_runtime.unit

Sourceval show_symbol_metadata : symbol_metadata -> Ppx_deriving_runtime.string

Sourceval compatible_indexing : indexing -> indexing -> bool

Sourcetype t = {

symbols : symbol_metadata Symbol.QMap.t;
overloading : Symbol.t TypeAssignment.overloaded F.Map.t;

}

Source

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

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval empty : t

Sourceval resolve_name : F.t -> t -> Symbol.t TypeAssignment.overloaded

Sourceval resolve_symbol : Symbol.t -> t -> symbol_metadata

Sourceval resolve_symbol_opt : Symbol.t -> t -> symbol_metadata option

Sourceval merge_envs : t -> t -> t

Source

val iter_names : 
  (F.t -> Symbol.t TypeAssignment.overloaded -> unit) ->
  t ->
  unit

Sourceval iter_symbols : (Symbol.t -> symbol_metadata -> unit) -> t -> unit

Sourceval same_symbol : t -> Symbol.t -> Symbol.t -> bool

Sourceval compare_symbol : t -> Symbol.t -> Symbol.t -> int

Sourceval undup : t -> Symbol.t list -> Symbol.t list

Sourceval all_symbols : t -> (Symbol.t * symbol_metadata) list

Sourceval mem_symbol : t -> Symbol.t -> bool

Sourceval canon : t -> Symbol.t -> Symbol.t

package elpi

Install

Dune Dependency

Authors

Maintainers

Sources

doc/elpi.compiler/Elpi_compiler/Compiler_data/TypingEnv/index.html

Module Compiler_data.TypingEnvSource

Module `Compiler_data.TypingEnv`Source