View Source TypeCheck.DefaultOverrides.Macro (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.)

(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.)

t()

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

Link to this section Types

Link to this type

captured_remote_function()

View Source
@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())
@type input() ::
  input_expr() | {input(), input()} | [input()] | atom() | number() | binary()

(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()