class Crystal::Macros::Generic
inherits Crystal::Macros::ASTNode
¶
A generic instantiation, like Foo(T)
or Foo::Bar::Baz(T)
Methods¶
#named_args : NamedTupleLiteral | NilLiteral
¶
: NamedTupleLiteral | NilLiteral
Returns the named arguments of this instantiation, if any.
#resolve : ASTNode
¶
: ASTNode
Resolves this generic to a TypeNode
if it denotes a type,
or otherwise gives a compile-time error.
#resolve? : ASTNode | NilLiteral
¶
: ASTNode | NilLiteral
Resolves this path to a TypeNode
if it denotes a type,
or otherwise returns a NilLiteral
.
#type_vars : ArrayLiteral(ASTNode)
¶
: ArrayLiteral(ASTNode)
Returns the arguments (the type variables) of this instantiation.
#types : ArrayLiteral(ASTNode)
¶
: ArrayLiteral(ASTNode)
Returns this generic inside an array literal.
This method exists so you can call types
on the type of a type
declaration and get all types, whether it's a Generic, Path or Union.