Safe Haskell	Safe-Inferred
Language	Haskell2010

Byron.Spec.Ledger.STS.UTXOWS

Description

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

Documentation

data UTXOWS Source #

Instances

Instances details

Data UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UTXOWS → c UTXOWS Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UTXOWS Source # toConstr ∷ UTXOWS → Constr Source # dataTypeOf ∷ UTXOWS → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UTXOWS) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UTXOWS) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → UTXOWS → UTXOWS Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UTXOWS → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UTXOWS → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UTXOWS → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UTXOWS → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UTXOWS → m UTXOWS Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTXOWS → m UTXOWS Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTXOWS → m UTXOWS Source #
STS UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Associated Types type State UTXOWS Source # type Signal UTXOWS Source # type Environment UTXOWS Source # type BaseM UTXOWS ∷ Type → Type Source # type Event UTXOWS Source # type PredicateFailure UTXOWS Source # Methods initialRules ∷ [InitialRule UTXOWS] Source # transitionRules ∷ [TransitionRule UTXOWS] Source # assertions ∷ [Assertion UTXOWS] Source # renderAssertionViolation ∷ AssertionViolation UTXOWS → String Source #
HasTrace UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Associated Types type BaseEnv UTXOWS Source # Methods interpretSTS ∷ BaseEnv UTXOWS → BaseM UTXOWS a → a Source # envGen ∷ Word64 → Gen (Environment UTXOWS) Source # sigGen ∷ SignalGenerator UTXOWS Source # trace ∷ BaseEnv UTXOWS → Word64 → Gen (Trace UTXOWS) Source # traceWithProfile ∷ BaseEnv UTXOWS → Word64 → TraceProfile UTXOWS → Gen (Trace UTXOWS) Source # traceOfLength ∷ BaseEnv UTXOWS → Word64 → Gen (Trace UTXOWS) Source # traceOfLengthWithInitState ∷ BaseEnv UTXOWS → Word64 → (Environment UTXOWS → Gen (State UTXOWS)) → Gen (Trace UTXOWS) Source #
Embed UTXOW UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Methods wrapFailed ∷ PredicateFailure UTXOW → PredicateFailure UTXOWS Source # wrapEvent ∷ Event UTXOW → Event UTXOWS Source #
type BaseM UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type BaseM UTXOWS = Identity
type Environment UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Environment UTXOWS = UTxOEnv
type Event UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Event UTXOWS = Void
type PredicateFailure UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type PredicateFailure UTXOWS = UtxowsPredicateFailure
type Signal UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Signal UTXOWS = [Tx]
type State UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type State UTXOWS = UTxOState
type BaseEnv UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type BaseEnv UTXOWS = ()

data UtxowsPredicateFailure Source #

Constructors

UtxowFailure (PredicateFailure UTXOW)

Instances

Instances details

Data UtxowsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UtxowsPredicateFailure → c UtxowsPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UtxowsPredicateFailure Source # toConstr ∷ UtxowsPredicateFailure → Constr Source # dataTypeOf ∷ UtxowsPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UtxowsPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UtxowsPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → UtxowsPredicateFailure → UtxowsPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UtxowsPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UtxowsPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UtxowsPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UtxowsPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UtxowsPredicateFailure → m UtxowsPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UtxowsPredicateFailure → m UtxowsPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UtxowsPredicateFailure → m UtxowsPredicateFailure Source #
Generic UtxowsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Associated Types type Rep UtxowsPredicateFailure ∷ Type → Type Source # Methods from ∷ UtxowsPredicateFailure → Rep UtxowsPredicateFailure x Source # to ∷ Rep UtxowsPredicateFailure x → UtxowsPredicateFailure Source #
Show UtxowsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Methods showsPrec ∷ Int → UtxowsPredicateFailure → ShowS Source # show ∷ UtxowsPredicateFailure → String Source # showList ∷ [UtxowsPredicateFailure] → ShowS Source #
Eq UtxowsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Methods (==) ∷ UtxowsPredicateFailure → UtxowsPredicateFailure → Bool Source # (/=) ∷ UtxowsPredicateFailure → UtxowsPredicateFailure → Bool Source #
NoThunks UtxowsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS Methods noThunks ∷ Context → UtxowsPredicateFailure → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UtxowsPredicateFailure → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UtxowsPredicateFailure → String Source #
type Rep UtxowsPredicateFailure Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Rep UtxowsPredicateFailure = D1 ('MetaData "UtxowsPredicateFailure" "Byron.Spec.Ledger.STS.UTXOWS" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UTXOW))))