class SimpleSub::Typer::TypeVariable

Overview

A type variable living at a certain polymorphism level #level, with mutable bounds. Invariant: Types appearing in the bounds never have a level higher than this variable's #level.

Defined in:

simple_sub/type.cr

Constructors

Instance Method Summary

Instance methods inherited from class SimpleSub::Typer::SimpleType

instantiated : SimpleType instantiated

Instance methods inherited from class SimpleSub::Typer::Type

instantiated : SimpleType instantiated, level : Int32 level, show(io : IO)
show show

Constructor Detail

def self.new(uid : Int32, level : Int32) #

[View source]

Instance Method Detail

def level : Int32 #

[View source]
def level=(level : Int32) #

[View source]
def lower_bounds : Array(SimpleSub::Typer::SimpleType) #

[View source]
def lower_bounds=(lower_bounds : Array(SimpleSub::Typer::SimpleType)) #

[View source]
def show(io : IO) #

[View source]
def uid : Int32 #

[View source]
def uid=(uid : Int32) #

[View source]
def upper_bounds : Array(SimpleSub::Typer::SimpleType) #

[View source]
def upper_bounds=(upper_bounds : Array(SimpleSub::Typer::SimpleType)) #

[View source]