docs
API
Generated with
docs/scalus/scalus.uplc/scalus.uplc.eval/CaseDataNonConstrError

CaseDataNonConstrError

scalus.uplc.eval.CaseDataNonConstrError
class CaseDataNonConstrError(val data: Data, env: CekValEnv, sourcePos: ScalusSourcePos = ...) extends CaseOnBuiltinError

Case on a Data value that is not a Data.Constr. Only Data.Constr can be scrutinized: the branch is selected by the constructor tag and receives the list of fields.

Attributes

Graph
Supertypes
class MachineError
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

final def addSuppressed(x$0: Throwable): Unit

Attributes

Inherited from:
Throwable
def fillInStackTrace(): Throwable

Attributes

Inherited from:
Throwable
def getCause(): Throwable

Attributes

Inherited from:
Throwable
def getCekStack: Array[String]

Attributes

Inherited from:
StackTraceMachineError
def getLocalizedMessage(): String

Attributes

Inherited from:
Throwable
def getMessage(): String

Attributes

Inherited from:
Throwable
def getStackTrace(): Array[StackTraceElement]

Attributes

Inherited from:
Throwable
final def getSuppressed(): Array[Throwable]

Attributes

Inherited from:
Throwable
def initCause(x$0: Throwable): Throwable

Attributes

Inherited from:
Throwable
def printStackTrace(x$0: PrintWriter): Unit

Attributes

Inherited from:
Throwable
def printStackTrace(x$0: PrintStream): Unit

Attributes

Inherited from:
Throwable
def printStackTrace(): Unit

Attributes

Inherited from:
Throwable
def setStackTrace(x$0: Array[StackTraceElement]): Unit

Attributes

Inherited from:
Throwable
def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Inherited from:
Throwable

Concrete fields

val data: Data

Inherited fields

val sourceTrace: Seq[ScalusSourcePos]

Attributes

Inherited from:
StackTraceMachineError
Generated with