gleamunison - v3.27.0

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

render_inference_error

</> 
pub fn render_inference_error(e: types.InferenceError) -> String

Render an inference error for the user; the rendering itself lives with the type (types.describe_inference_error). Kept as a delegate so elab_def and typecheck share one spelling. The failing subterm’s span is attached separately as an At wrapper.

✨ Search Document