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.UTXOW

UTXO transition system with witnessing

  • 2 types
  • 4 values
datadata UTXOW
#
Instances12Data, STS, HasTrace, Embed, BaseM, Environment, …
  • Data UTXOWDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • STS UTXOWDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • HasTrace UTXOWDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • Embed UTXO UTXOWDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • Embed UTXOW UTXOWSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type BaseM UTXOW = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type Environment UTXOW = UTxOEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type Event UTXOW = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type PredicateFailure UTXOW = UtxowPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type Signal UTXOW = TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type State UTXOW = UTxOStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
  • type BaseEnv UTXOW = ()Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOW
datadata UtxowPredicateFailure
#

These PredicateFailures are all throwable.

Constructors

Instances6Eq, Data, Show, Generic, NoThunks, Rep
valuewitnessed :: Tx -> UTxO -> Bool
#

Given a ledger state, determine if the UTxO witnesses in a given transaction are sufficient. TODO - should we only check for one witness for each unique input address?

valuetraceAddrs :: [Addr]
#

Constant list of addresses intended to be used in the generators.