HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulebyron-spec-ledger-1.1.0.1Haskell2010

Byron.Spec.Ledger.STS.UTXO

UTXO transition system

  • 4 types
  • 4 values
datadata UTXO
#
Instances9Data, STS, Embed, BaseM, Environment, Event, …
  • Data UTXODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • STS UTXODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • Embed UTXO UTXOWDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type BaseM UTXO = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • type Environment UTXO = UTxOEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • type Event UTXO = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • type PredicateFailure UTXO = UtxoPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • type Signal UTXO = TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
  • type State UTXO = UTxOStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXO
datadata UTxOEnv
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
datadata UTxOState
#

Constructors

Instances5Eq, Show, Generic, NoThunks, Rep
datadata UtxoPredicateFailure
#

These PredicateFailures are all "throwable". The disjunction of the rules' preconditions is not True - the PredicateFailures represent False cases.

EmptyTxInputsEmptyTxOutputsFeeTooLowIncreasedTotalBalanceInputsNotInUTxONonPositiveOutputs
Instances6Eq, Data, Show, Generic, NoThunks, Rep
familytype family PredicateFailure a
#
Instances25PredicateFailure, …