gleamunison - v3.27.0

gleamunison/repl_eval

Values

bootstrap_defs

</> 
pub fn bootstrap_defs(
  defs: List(#(String, elab_types.SurfaceDef)),
  cache: types.TypeCache,
) -> #(types.TypeCache, List(#(String, elab_types.SurfaceDef)))

deserialize_term

</> 
pub fn deserialize_term(bytes: BitArray) -> a

do_eval

</> 
pub fn do_eval(
  term: elab_types.SurfaceTerm,
  name: String,
  cache: types.TypeCache,
  prev_defs: List(#(String, elab_types.SurfaceDef)),
) -> Result(#(String, ast.Type, types.TypeCache), String)

format_elab_error

</> 
pub fn format_elab_error(
  err: elab_types.ElaborateError,
  prev_defs: List(#(String, elab_types.SurfaceDef)),
) -> String

Render an elaboration error for humans. Public: the LSP server renders the same messages, but needs the span separately (see span_of_error).

handle_define

</> 
pub fn handle_define(
  name: String,
  val: elab_types.SurfaceTerm,
  cache: types.TypeCache,
  prev_defs: List(#(String, elab_types.SurfaceDef)),
) -> Result(
  #(types.TypeCache, List(#(String, elab_types.SurfaceDef))),
  String,
)

ref_for_name

</> 
pub fn ref_for_name(name: String) -> identity.DefinitionRef

The name-to-ref derivation belongs to identity; this is the public contract its callers have always used, kept as a delegate rather than left as a second authority for the bytes.

seed_builtin_term_types

</> 
pub fn seed_builtin_term_types(
  cache: types.TypeCache,
) -> types.TypeCache

Every builtin signature comes from the bootstrap table. A partial seed here used to leave all but three builtins with the unknown TypeVar(-1).

serialize_term

</> 
pub fn serialize_term(term: a) -> BitArray
✨ Search Document