Tyyppi.T (tyyppi v0.5.0) View Source
Raw type wrapper. All the macros exported by that module are available in Tyyppi
.
Require and use Tyyppi
instead.
Link to this section Summary
Functions
Returns true
if the type definition was loaded, false
otherwise.
Link to this section Types
Specs
ast() :: Macro.t() | {module(), atom(), list() | nil | non_neg_integer()}
Specs
raw() :: {kind() | ast_lead(), non_neg_integer() | keyword(), simple() | [ast()], [raw()]}
Specs
t() :: %Tyyppi.T{ definition: raw() | nil, module: module(), name: atom(), params: [atom()], quoted: ast(), source: binary() | nil, type: visibility() }
The type information in a human-readable format.
For remote types, it’s gathered from Code.Typespec
, for built-in like atom()
ot’s simply constructed on the fly.
Link to this section Functions
Specs
Returns true
if the type definition was loaded, false
otherwise.