RustQ.Meta.Typing (rustq v1.0.0-rc.19)

Synthesizes the type of a Rusty-Elixir expression and checks one against an expected type, deciding the coercion lowering applies: propagating with ?, wrapping in Some, borrowing, dereferencing, or none.

Summary

Types

env_source()

Functions

check(ast, expected, opts)

env(opts \\ [])

expected_for_let(pattern, expression, opts)

infer_downstream_let_types(expressions, env_or_opts, callbacks \\ %{})

struct_field_type(type, field)

synth(call_ast, env)

Types

env_source()

@type env_source() :: RustQ.Meta.Typing.Env.t() | keyword()

Functions

check(ast, expected, opts)

@spec check(Macro.t(), RustQ.Meta.Type.t(), env_source()) ::
  RustQ.Meta.Typing.Check.t()

env(opts \\ [])

@spec env(keyword()) :: RustQ.Meta.Typing.Env.t()

expected_for_let(pattern, expression, opts)

@spec expected_for_let(Macro.t(), Macro.t(), env_source()) ::
  RustQ.Meta.Type.t() | nil

infer_downstream_let_types(expressions, env_or_opts, callbacks \\ %{})

@spec infer_downstream_let_types([Macro.t()], env_source(), map()) :: %{
  optional(atom()) => RustQ.Meta.Type.t()
}

struct_field_type(type, field)

@spec struct_field_type(RustQ.Meta.Type.t(), atom()) :: RustQ.Meta.Type.t() | nil

synth(call_ast, env)

@spec synth(Macro.t(), env_source()) :: RustQ.Meta.Type.t() | nil