class Crystal::Macros::Generic


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

Defined in:


Instance Method Summary

Instance methods inherited from class Crystal::Macros::ASTNode

!=(other : ASTNode) : BoolLiteral !=, ==(other : ASTNode) : BoolLiteral ==, class_name : StringLiteral class_name, column_number : StringLiteral | NilLiteral column_number, end_column_number : StringLiteral | NilLiteral end_column_number, end_line_number : StringLiteral | NilLiteral end_line_number, filename : StringLiteral | NilLiteral filename, id : MacroId id, line_number : StringLiteral | NilLiteral line_number, nil? : BoolLiteral nil?, raise(message) : NoReturn raise, stringify : StringLiteral stringify, symbolize : SymbolLiteral symbolize

Instance Method Detail

def name : Path #

Returns the path to the generic.

[View source]
def named_args : NamedTupleLiteral | NilLiteral #

Returns the named arguments of this instantiation, if any.

[View source]
def resolve : ASTNode #

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

[View source]
def resolve? : ASTNode | NilLiteral #

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

[View source]
def type_vars : ArrayLiteral(ASTNode) #

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

[View source]
def 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]