gleamunison/bootstrap_types

Type constructors supplied by the runtime rather than user declarations. They are references in ordinary Type.App values, not a second type model.

Values

dict_of

</>

pub fn dict_of(key: ast.Type, value: ast.Type) -> ast.Type

either_of

</>

pub fn either_of(left: ast.Type, right: ast.Type) -> ast.Type

host_value

</>

pub fn host_value() -> ast.Type

A host value whose runtime representation carries no language type tag. This is explicit and local to the FFI boundary, unlike TypeVar(-1), which means inference failed and must never become a stored identity.

is_type_ref

</>

pub fn is_type_ref(ref: identity.DefinitionRef) -> Bool

list_of

</>

pub fn list_of(element: ast.Type) -> ast.Type

named

</>

pub fn named(name: String) -> identity.DefinitionRef

pair_of

</>

pub fn pair_of(first: ast.Type, second: ast.Type) -> ast.Type

process

</>

pub fn process() -> ast.Type

set_of

</>

pub fn set_of(element: ast.Type) -> ast.Type

type_name

</>

pub fn type_name(
  ref: identity.DefinitionRef,
) -> option.Option(String)

The single owner of the builtin type-name list: resolves a runtime type-constructor ref to its printed name, or None for user types.