SIRType

scalus.sir.SIRType
See theSIRType companion object
sealed trait SIRType

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CaseClass
class Fun
trait Primitive
object Boolean
object ByteString
object Data
object Integer
object String
object Unit
class SumCaseClass
class TypeLambda
object TypeNothing
class TypeProxy
class TypeVar
Show all

Members list

Value members

Abstract methods

def show: String

Concrete methods

def ->:(that: SIRType): Fun
inline def =>>:(that: SIRType): TypeLambda
def ~=~(that: SIRType): Boolean