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

Transition system that models the application of multiple transactions to the UTxO part of the ledger state.

  • 2 types
datadata UTXOWS
#
Instances11Data, STS, HasTrace, Embed, BaseM, Environment, …
  • Data UTXOWSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • STS UTXOWSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • HasTrace UTXOWSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • Embed UTXOW UTXOWSDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type BaseM UTXOWS = IdentityDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type Environment UTXOWS = UTxOEnvDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type Event UTXOWS = VoidDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type PredicateFailure UTXOWS = UtxowsPredicateFailureDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type Signal UTXOWS = [Tx]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type State UTXOWS = UTxOStateDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
  • type BaseEnv UTXOWS = ()Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.STS.UTXOWS
datadata UtxowsPredicateFailure
#

Constructors

Instances6Eq, Data, Show, Generic, NoThunks, Rep