class `Crystal::GenericModuleInstanceMetaclassType`
inherits `Crystal::Type` ¶

The metaclass of a generic module instance type, like Enumerable(Int32).class

Included modules

Crystal::DefInstanceContainer

Class methods¶

`.new(program, instance_type)` ¶

View source

Methods¶

`#add_subclass(subclass)` ¶

View source

`#class_var_owner` ¶

Returns the type that owns class vars for a type.

This method returns self, but subclasses might override. For example, a metaclass' class_var_owner is the instance type.

View source

`#replace_type_parameters(instance_type)` ¶

Replace type parameters in this type with the type parameters of the given instance type.

View source

`#restrict(other : Metaclass, context)` ¶

View source

`#restrict(other : MetaclassType, context)` ¶

View source

`#to_s_with_options(io : IO, skip_union_parens : Bool = false, generic_args : Bool = true, codegen : Bool = false) : Nil` ¶

View source

`#type_vars(*args, **options)` ¶

View source

`#type_vars` ¶

View source

class Crystal::GenericModuleInstanceMetaclassType inherits Crystal::Type ¶

Included modules

Class methods¶

.new(program, instance_type) ¶

Methods¶

#add_subclass(subclass) ¶

#class_var_owner ¶

#defs(*args, **options) ¶

#defs ¶

#generic_nest ¶

#generic_nest(*args, **options) ¶

#instance_type : Type ¶

#lookup_new_in_ancestors?(*args, **options) ¶

#lookup_new_in_ancestors? ¶

#lookup_path(*args, **options) ¶

#lookup_path ¶

#lookup_similar_path(*args, **options) ¶

#lookup_similar_path ¶

#macros ¶

#macros(*args, **options) ¶

#parents ¶

#replace_type_parameters(instance_type) ¶

#restrict(other : Metaclass, context) ¶

#restrict(other : MetaclassType, context) ¶

#to_s_with_options(io : IO, skip_union_parens : Bool = false, generic_args : Bool = true, codegen : Bool = false) : Nil ¶

#type_vars(*args, **options) ¶

#type_vars ¶

class `Crystal::GenericModuleInstanceMetaclassType`
inherits `Crystal::Type` ¶

`.new(program, instance_type)` ¶

`#add_subclass(subclass)` ¶

`#class_var_owner` ¶

`#defs(*args, **options)` ¶

`#defs` ¶

`#generic_nest` ¶

`#generic_nest(*args, **options)` ¶

`#instance_type : Type` ¶

`#lookup_new_in_ancestors?(*args, **options)` ¶

`#lookup_new_in_ancestors?` ¶

`#lookup_path(*args, **options)` ¶

`#lookup_path` ¶

`#lookup_similar_path(*args, **options)` ¶

`#lookup_similar_path` ¶

`#macros` ¶

`#macros(*args, **options)` ¶

`#parents` ¶

`#replace_type_parameters(instance_type)` ¶

`#restrict(other : Metaclass, context)` ¶

`#restrict(other : MetaclassType, context)` ¶

`#to_s_with_options(io : IO, skip_union_parens : Bool = false, generic_args : Bool = true, codegen : Bool = false) : Nil` ¶

`#type_vars(*args, **options)` ¶

`#type_vars` ¶