struct SimpleSub::CompactType
- SimpleSub::CompactType
- Struct
- Value
- Object
Defined in:
simple_sub/compact_type.crConstructors
- .from(input : Typer::Type, polarity : Bool, analysis : Analysis, parents = Set(TypeVariable).new) : CompactType
- .new(vars : Set(SimpleSub::Typer::TypeVariable) | Nil = nil, prims : Set(SimpleSub::Typer::TypePrimitive) | Nil = nil, rec : Nil | Hash(String, SimpleSub::CompactType) = nil, fn : Nil | Array(SimpleSub::CompactType) = nil)
Class Method Summary
Instance Method Summary
- #fn : Array(CompactType) | Nil
- #fn=(fn : Array(CompactType) | Nil)
- #prims : Set(TypePrimitive) | Nil
- #prims=(prims : Set(TypePrimitive) | Nil)
- #rec : Hash(String, CompactType) | Nil
- #rec=(rec : Hash(String, CompactType) | Nil)
- #show(io : IO, polarity = true)
- #show(polarity = true)
- #vars : Set(TypeVariable) | Nil
- #vars=(vars : Set(TypeVariable) | Nil)
Constructor Detail
def self.from(input : Typer::Type, polarity : Bool, analysis : Analysis, parents = Set(TypeVariable).new) : CompactType
#
def self.new(vars : Set(SimpleSub::Typer::TypeVariable) | Nil = nil, prims : Set(SimpleSub::Typer::TypePrimitive) | Nil = nil, rec : Nil | Hash(String, SimpleSub::CompactType) = nil, fn : Nil | Array(SimpleSub::CompactType) = nil)
#