Scalus
1.4.0
Generated with
Scalus/scalus/scalus.cardano/scalus.cardano.onchain

scalus.cardano.onchain

package scalus.cardano.onchain

Members list

Packages

package scalus.cardano.onchain.plutus

Type members

Classlikes

class ImpossibleLedgerStateError(msg: String) extends OnchainError

Attributes

Supertypes
class OnchainError
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
class OnchainError(msg: String) extends RuntimeException

Attributes

Supertypes
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
class RequirementError(msg: String) extends OnchainError

Attributes

Supertypes
class OnchainError
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
class SpecificationError(msg: String) extends AssertionError

A specification written with scalus.cardano.onchain.plutus.prelude.Spec does not hold. It is thrown off-chain only: a compiled script carries no specification.

A specification written with scalus.cardano.onchain.plutus.prelude.Spec does not hold. It is thrown off-chain only: a compiled script carries no specification.

So it is no OnchainError, which stands off-chain for a script that fails. A test that expects the script to reject a transaction does not pass because a specification was violated: the script, without the specification, may accept it. It is an AssertionError, as the one Predef.ensuring throws: what is wrong is the code or its caller, not the transaction.

Attributes

Supertypes
class AssertionError
class Error
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Generated with