gleamunison/elab_def

Values

elab_ability_def

</>

pub fn elab_ability_def(
  ops: List(elab_types.SurfaceOp),
  ref: identity.DefinitionRef,
  cache: types.TypeCache,
) -> Result(
  #(ast.Definition, types.TypeCache),
  elab_types.ElaborateError,
)

elab_term_def

</>

pub fn elab_term_def(
  st: elab_types.SurfaceTerm,
  ctx: elab_ctx.ElabCtx,
  ref: identity.DefinitionRef,
  cache: types.TypeCache,
) -> Result(
  #(ast.Definition, types.TypeCache),
  elab_types.ElaborateError,
)

elab_type_def

</>

pub fn elab_type_def(
  t: elab_types.Typ,
  ref: identity.DefinitionRef,
  cache: types.TypeCache,
) -> Result(
  #(ast.Definition, types.TypeCache),
  elab_types.ElaborateError,
)

✨