View Source TypeCheck.DefaultOverrides.Macro (TypeCheck v0.13.7)
Summary
Types
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Types
@type captured_remote_function() :: (... -> any())
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
captured_remote_function() :: (... -> any())
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
input() :: input_expr() | {lazy(input()), lazy(input())} | [lazy(input())] | atom() | number() | binary()
@type metadata() :: keyword()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
metadata() :: keyword()
@type output() :: output_expr() | {output(), output()} | [output()] | atom() | number() | binary() | captured_remote_function() | pid()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
output() :: output_expr()
| {lazy(output()), lazy(output())}
| [lazy(output())]
| atom()
| number()
| binary()
| captured_remote_function()
| pid()
@type t() :: input()
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t() :: input()