gleamunison/elab_ctx

Types

ElabCtx

pub type ElabCtx {
  ElabCtx(
    names: dict.Dict(String, identity.DefinitionRef),
    bindings: dict.Dict(String, identity.LocalVar),
    next_local: Int,
    abilities: dict.Dict(String, identity.DefinitionRef),
    ops: dict.Dict(#(String, String), Int),
  )
}

Constructors

ElabCtx(
  names: dict.Dict(String, identity.DefinitionRef),
  bindings: dict.Dict(String, identity.LocalVar),
  next_local: Int,
  abilities: dict.Dict(String, identity.DefinitionRef),
  ops: dict.Dict(#(String, String), Int),
)

Values

add_binding

</>

pub fn add_binding(
  ctx: ElabCtx,
  name: String,
) -> #(ElabCtx, identity.LocalVar)

empty_elab_ctx

</>

pub fn empty_elab_ctx() -> ElabCtx

lookup_binding

</>

pub fn lookup_binding(
  ctx: ElabCtx,
  name: String,
) -> Result(identity.LocalVar, elab_types.ElaborateError)