Safe Haskell	None
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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UTXOWS #

toConstr ∷ UTXOWS → Constr #

dataTypeOf ∷ UTXOWS → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UTXOWS) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UTXOWS) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → UTXOWS → UTXOWS #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UTXOWS → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UTXOWS → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → UTXOWS → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UTXOWS → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UTXOWS → m UTXOWS #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTXOWS → m UTXOWS #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTXOWS → m UTXOWS #

STS UTXOWS Source #

Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Associated Types

type State UTXOWS
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type State UTXOWS = UTxOState
type Signal UTXOWS
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Signal UTXOWS = [Tx]
type Environment UTXOWS
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Environment UTXOWS = UTxOEnv
type BaseM UTXOWS
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type BaseM UTXOWS = Identity
type Event UTXOWS
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Event UTXOWS = Void
type PredicateFailure UTXOWS
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type PredicateFailure UTXOWS = UtxowsPredicateFailure

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
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type BaseEnv UTXOWS = ()

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 #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UtxowsPredicateFailure #

toConstr ∷ UtxowsPredicateFailure → Constr #

dataTypeOf ∷ UtxowsPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UtxowsPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UtxowsPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → UtxowsPredicateFailure → UtxowsPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UtxowsPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UtxowsPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → UtxowsPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UtxowsPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UtxowsPredicateFailure → m UtxowsPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UtxowsPredicateFailure → m UtxowsPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UtxowsPredicateFailure → m UtxowsPredicateFailure #

Generic UtxowsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.STS.UTXOWS

Associated Types

type Rep UtxowsPredicateFailure
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type Rep UtxowsPredicateFailure = D1 ('MetaData "UtxowsPredicateFailure" "Byron.Spec.Ledger.STS.UTXOWS" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "UtxowFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UTXOW))))