class SimpleSub::Typer::TypePolymorphic

Overview

A type with universally quantified type variables (by convention, those variables of level greater than #level are considered quantified). */

This is the only Type we define which does not a SimpleType.

Defined in:

simple_sub/type.cr

Constructors

Instance Method Summary

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

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

Constructor Detail

def self.new(level : Int32, body : SimpleSub::Typer::SimpleType) #

[View source]

Instance Method Detail

def body : SimpleType #

[View source]
def body=(body : SimpleType) #

[View source]
def instantiated : SimpleType #

[View source]
def level : Int32 #

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

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

[View source]