scalus.sir.SIR
See theSIR companion trait
object SIR
Attributes
Members list
Type members
Classlikes
case class And(a: AnnotatedSIR, b: AnnotatedSIR, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Apply(f: AnnotatedSIR, arg: AnnotatedSIR, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Builtin(bn: DefaultFun, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
case class Cast(term: AnnotatedSIR, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Const(uplcConst: Constant, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
object Const
case class Constr(name: String, data: DataDecl, args: List[SIR], tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait 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 AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class ExternalVar(moduleName: String, name: String, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class IfThenElse(cond: AnnotatedSIR, t: AnnotatedSIR, f: AnnotatedSIR, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class LamAbs(param: Var, term: SIR, typeParams: List[TypeVar], anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Let(recursivity: Recursivity, bindings: List[Binding], body: SIR, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Match(scrutinee: AnnotatedSIR, cases: List[Case], tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
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 AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Not(a: AnnotatedSIR, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Or(a: AnnotatedSIR, b: AnnotatedSIR, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
object Pattern
case class Select(scrutinee: SIR, field: String, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait SIRclass Objecttrait Matchableclass AnyShow all
case class Var(name: String, tp: SIRType, anns: AnnotationsDecl) extends AnnotatedSIR
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait AnnotatedSIRtrait 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