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.0.1.tbz

sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7

sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a

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-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