package gobba

  1. Overview
  2. Docs

Module Gobba.Primitives

val get_primitive_purity : Types.primitive -> Types.puret

Get the purity of a primitive

val get_primitive_function : Types.primitive -> Types.evt array -> Types.evt

Get the actual function from a primitive type

val get_primitive_info : Types.primitive -> Types.primitiveinfo

Get the information from a primitive type

val lambda_of_primitive : Types.primitive -> Types.expr

Generate a lambda from a native primitive

val w : ('a * Types.primitive) list -> ('a * Types.evt) list
val ocaml_table : (string * Types.primitive) list

The table of primitive functions (key - name)

val table : Types.env_type
val purity_from_env : Types.env_type -> Types.purityenv_type
val purity_table : Types.purityenv_type