Skip to content

class Crystal::GenericModuleInstanceType
inherits Crystal::GenericInstanceType

An instantiated generic module, like Enumerable(Int32).

Included modules

Crystal::DefInstanceContainer Crystal::InstanceVarContainer Crystal::InstanceVarInitializerContainer Crystal::SubclassObservable

Class methods

.new(program, generic_type, type_vars, generic_nest = nil)

View source

Methods

#add_including_type(type)

View source

#add_to_including_types(all_types)

View source

#after_initialize

View source

#append_to_expand_union_types(types)

View source

#common_ancestor(other : Type)

View source

#defs(*args, **options)

View source

#defs

View source

#depth(*args, **options)

View source

#depth

View source

#double_variadic?

View source

#double_variadic?(*args, **options)

View source

#filter_by_responds_to(name)

View source

#generic_nest : Int32

View source

#including_types

View source

#leaf?(*args, **options)

View source

#leaf?

View source

#lookup_new_in_ancestors?(*args, **options)

View source

#lookup_new_in_ancestors?

View source

#macros

View source

#macros(*args, **options)

View source

#metaclass

Returns this type's metaclass, which holds class methods for this type.

View source

#module?

View source

#namespace

View source

#namespace(*args, **options)

View source

#raw_including_types : Array(Crystal::Type)?

View source

#remove_indirection

View source

#splat_index(*args, **options)

View source

#splat_index

View source

#type_desc(*args, **options)

View source

#type_desc

View source

#virtual_type

View source