package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

dune-project

Dependency

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

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-3.1.0.tbz

sha256=beea3f0c443c4e575a47fce4b2cc7df9c033cb579fb7e56c0963f0655bfe6942

sha512=7cbeeec1a051612ee30800d3d950c2e124194d79d47ff304f5096b7856eca389140b2fa4907da23040386f1c1b4eb3347ce60672c42a29b1820b65c6c1725c33

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;
implemented_in_ocaml : bool;

}

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

Sourceval set_as_implemented_in_ocaml : t -> Symbol.t -> t

package elpi

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Compiler_data.TypingEnvSource

dune-project
Dependency

Module `Compiler_data.TypingEnv`Source