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.