Skip to content

class Crystal::Macros::Generic
inherits Crystal::Macros::ASTNode

A generic instantiation, like Foo(T) or Foo::Bar::Baz(T)

Methods

#name : Path

Returns the path to the generic.

View source

#named_args : NamedTupleLiteral | NilLiteral

Returns the named arguments of this instantiation, if any.

View source

#resolve : ASTNode

Resolves this generic to a TypeNode if it denotes a type, or otherwise gives a compile-time error.

View source

#resolve? : ASTNode | NilLiteral

Resolves this path to a TypeNode if it denotes a type, or otherwise returns a NilLiteral.

View source

#type_vars : ArrayLiteral(ASTNode)

Returns the arguments (the type variables) of this instantiation.

View source

#types : 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.

View source