Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data ShelleySNAP era
- type family PredicateFailure a
- data ShelleySnapPredFailure era
- newtype SnapEvent era = StakeDistEvent (Map (Credential 'Staking (EraCrypto era)) (Coin, KeyHash 'StakePool (EraCrypto era)))
- data SnapEnv era = SnapEnv !(LedgerState era) !(PParams era)
Documentation
data ShelleySNAP era Source #
Instances
type family PredicateFailure a Source #
Descriptive type for the possible failures which might cause a transition to fail.
As a convention, PredicateFailure
s which are "structural" (meaning that
they are not "throwable" in practice, and are used to pass control from
one transition rule to another) are prefixed with S_
.
Structural PredicateFailure
s represent conditions between rules where
the disjunction of all rules' preconditions is equal to True
. That is,
either one rule will throw a structural PredicateFailure
and the other
will succeed, or vice-versa.
Instances
data ShelleySnapPredFailure era Source #
Instances
Generic (ShelleySnapPredFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap from ∷ ShelleySnapPredFailure era → Rep (ShelleySnapPredFailure era) x Source # to ∷ Rep (ShelleySnapPredFailure era) x → ShelleySnapPredFailure era Source # | |
Show (ShelleySnapPredFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
NFData (ShelleySnapPredFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap rnf ∷ ShelleySnapPredFailure era → () Source # | |
Eq (ShelleySnapPredFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap (==) ∷ ShelleySnapPredFailure era → ShelleySnapPredFailure era → Bool Source # (/=) ∷ ShelleySnapPredFailure era → ShelleySnapPredFailure era → Bool Source # | |
NoThunks (ShelleySnapPredFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
type Rep (ShelleySnapPredFailure era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap |
newtype SnapEvent era Source #
StakeDistEvent (Map (Credential 'Staking (EraCrypto era)) (Coin, KeyHash 'StakePool (EraCrypto era))) |
Instances
Generic (SnapEvent era) Source # | |
NFData (SnapEvent era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap | |
Eq (SnapEvent era) Source # | |
type Rep (SnapEvent era) Source # | |
Defined in Cardano.Ledger.Shelley.Rules.Snap type Rep (SnapEvent era) = D1 ('MetaData "SnapEvent" "Cardano.Ledger.Shelley.Rules.Snap" "cardano-ledger-shelley-1.11.0.0-inplace" 'True) (C1 ('MetaCons "StakeDistEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking (EraCrypto era)) (Coin, KeyHash 'StakePool (EraCrypto era)))))) |
Orphan instances
EraTxOut era ⇒ STS (ShelleySNAP era) Source # | |
type State (ShelleySNAP era) Source # type Signal (ShelleySNAP era) Source # type Environment (ShelleySNAP era) Source # type BaseM (ShelleySNAP era) ∷ Type → Type Source # type Event (ShelleySNAP era) Source # type PredicateFailure (ShelleySNAP era) Source # initialRules ∷ [InitialRule (ShelleySNAP era)] Source # transitionRules ∷ [TransitionRule (ShelleySNAP era)] Source # assertions ∷ [Assertion (ShelleySNAP era)] Source # renderAssertionViolation ∷ AssertionViolation (ShelleySNAP era) → String Source # |