Skip to content

Crystal

GenericModuleType

class `Crystal::GenericModuleType`
inherits `Crystal::ModuleType` ¶

A generic module type, like Enumerable(T).

Included modules

Crystal::ClassVarContainer Crystal::GenericType

Class methods¶

`.new(program, namespace, name, type_vars)` ¶

Methods¶

`#add_including_type(type)` ¶

`#add_instance_var_initializer(name, value, meta_vars)` ¶

`#can_be_stored?` ¶

Returns true if this type can be assigned to an instance or class variable, or used in a generic type argument.

As of now, abstract base type such as Object, Reference, Value, Int, and unbound generic types such as Array(T), can't be stored.

`#module?` ¶

`#new_generic_instance(program, generic_type, type_vars)` ¶

`#raw_including_types : Array(Crystal::Type)?` ¶

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

`#type_desc` ¶