View Source TypeCheck.Builtin.Function (TypeCheck v0.12.0)

Link to this section Summary

Types

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

t()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Link to this section Types

@type problem_tuple() :: {t(), :no_match, %{}, any()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

problem_tuple :: {t(), :no_match, %{}, any()}
@opaque t()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

t (opaque type)

Link to this section Functions

Link to this function

contravariant_wrapper(s, original)

View Source
Link to this function

param_check_code(param_type, clean_param, index)

View Source