Skip to content

class Crystal::TupleInstanceType
inherits Crystal::GenericClassInstanceType

An instantiated tuple type, like Tuple(Char, Int32).

Class methods

.new(program, tuple_types)

View source

Methods

#common_ancestor(other : TupleInstanceType)

View source

#has_in_type_vars?(type)

View source

#implements?(other : Type)

View source

#replace_type_parameters(instance)

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

View source

#restrict(other : Generic, context)

View source

#restrict(other : TupleInstanceType, context)

View source

#restriction_of?(other : TupleInstanceType, owner, strict = false)

View source

#size

View source

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

View source

#tuple_indexer(index)

View source

#tuple_metaclass_indexer(index)

View source

#tuple_types : Array(Type)

View source

#type_desc

View source

#unbound?

View source

#var

View source