SIRChecker

scalus.sir.SIRChecker
object SIRChecker

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
SIRChecker.type

Members list

Type members

Classlikes

case class CheckException(msg: String, cause: Throwable | Null) extends RuntimeException

Attributes

Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def checkAndThrow(SIR: SIR, throwOnFirst: Boolean): Unit
def checkAnnotations(decl: AnnotationsDecl, throwOnFirst: Boolean): Seq[String]
def checkCase(c: Case, throwOnFirst: Boolean): Seq[String]
def checkConstr(constr: ConstrDecl, throwOnFirst: Boolean): Seq[String]
def checkData(data: DataDecl, throwOnFirst: Boolean): Seq[String]
def checkExpr(expr: SIR, throwOnFirst: Boolean): Seq[String]
def checkSIR(sir: SIR, throwOnFirst: Boolean): Seq[String]
def checkType(tp: SIRType, throwOnFirst: Boolean): Seq[String]
def checkTypeBinding(tpb: TypeBinding, throwOnFirst: Boolean): Seq[String]