scalus.sir.SIR
See theSIR companion trait
object SIR
Attributes
Members list
Type members
Classlikes
case class And(a: SIR, b: SIR, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class Builtin(bn: DefaultFun, tp: SIRType, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
case class Const(uplcConst: Constant, tp: SIRType, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class Error(msg: String, anns: AnnotationsDecl, cause: Throwable | Null) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class ExternalVar(moduleName: String, name: String, tp: SIRType, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class IfThenElse(cond: SIR, t: SIR, f: SIR, tp: SIRType, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class LamAbs(param: Var, term: SIR, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class Let(recursivity: Recursivity, bindings: List[Binding], body: SIR, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
Match expression.
Match expression.
Value parameters
- tp
-
- resulting type of Match expression, can be calculated as max(tp of all cases)
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class Not(a: SIR, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class Or(a: SIR, b: SIR, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
enum Pattern
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
case class Select(scrutinee: SIR, field: String, tp: SIRType, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
case class Var(name: String, tp: SIRType, anns: AnnotationsDecl) extends SIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait SIRclass Objecttrait Matchableclass AnyShow all
Inherited and Abstract types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
In this article