View Source TypeCheck.Builtin.OneOf (TypeCheck v0.13.7)
Summary
Types
@type problem_tuple() :: {t(), :all_failed, %{problems: [TypeCheck.TypeError.Formatter.problem_tuple()]}, term()}
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
problem_tuple :: {t(), :all_failed, %{problems: list(lazy(TypeCheck.TypeError.Formatter.problem_tuple()))}, term()}
@type t() :: %TypeCheck.Builtin.OneOf{choices: [TypeCheck.Type.t()]}
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t() :: %TypeCheck.Builtin.OneOf{choices: list(TypeCheck.Type.t())}