Safe Haskell	Safe-Inferred
Language	Haskell2010

Byron.Spec.Ledger.Update

Contents

Orphan instances

Synopsis

data PParams = PParams {
- _maxBkSz ∷ !Natural
- _maxHdrSz ∷ !Natural
- _maxTxSz ∷ !Natural
- _maxPropSz ∷ !Natural
- _bkSgnCntT ∷ !BkSgnCntT
- _bkSlotsPerEpoch ∷ !SlotCount
- _upTtl ∷ !SlotCount
- _scriptVersion ∷ !Natural
- _upAdptThd ∷ !UpAdptThd
- _factorA ∷ !FactorA
- _factorB ∷ !FactorB
}
newtype BkSgnCntT = BkSgnCntT Double
newtype UpAdptThd = UpAdptThd Double
newtype FactorB = FactorB Int
newtype FactorA = FactorA Int
data ProtVer = ProtVer {
- _pvMaj ∷ Natural
- _pvMin ∷ Natural
- _pvAlt ∷ Natural
}
newtype UpId = UpId Int
bkSgnCntT ∷ Lens' PParams BkSgnCntT
bkSlotsPerEpoch ∷ Lens' PParams SlotCount
factorA ∷ Lens' PParams FactorA
factorB ∷ Lens' PParams FactorB
maxBkSz ∷ Lens' PParams Natural
maxHdrSz ∷ Lens' PParams Natural
maxPropSz ∷ Lens' PParams Natural
maxTxSz ∷ Lens' PParams Natural
scriptVersion ∷ Lens' PParams Natural
upAdptThd ∷ Lens' PParams UpAdptThd
upTtl ∷ Lens' PParams SlotCount
data SwVer = SwVer {
- _svName ∷ ApName
- _svVer ∷ ApVer
}
newtype ApVer = ApVer Natural
newtype ApName = ApName String
pvAlt ∷ Lens' ProtVer Natural
pvMaj ∷ Lens' ProtVer Natural
pvMin ∷ Lens' ProtVer Natural
data UProp = UProp {
- _upId ∷ UpId
- _upIssuer ∷ VKey
- _upParams ∷ PParams
- _upPV ∷ ProtVer
- _upSwVer ∷ SwVer
- _upSig ∷ Sig UpSD
- _upSTags ∷ Set STag
- _upMdt ∷ Metadata
}
data Metadata = Metadata
type STag = String
type UpSD = (ProtVer, PParams, SwVer, Set STag, Metadata)
svName ∷ Lens' SwVer ApName
svVer ∷ Lens' SwVer ApVer
data Vote = Vote {
- _vCaster ∷ VKey
- _vPropId ∷ UpId
- _vSig ∷ Sig UpId
}
data UpregPredicateFailure
- = UPVFailure (PredicateFailure UPV)
- | NotGenesisDelegate
- | DoesNotVerify
data UPREG
data UpvPredicateFailure
- = UPPVVFailure (PredicateFailure UPPVV)
- | UPSVVFailure (PredicateFailure UPSVV)
- | AVChangedInPVUpdate ApName ApVer (Maybe (ApVer, Slot, Metadata))
- | ParamsChangedInSVUpdate
- | PVChangedInSVUpdate
data UPV
data UppvvPredicateFailure
- = CannotFollowPv
- | CannotUpdatePv [UpdateConstraintViolation]
- | AlreadyProposedPv
data UPPVV
data UpsvvPredicateFailure
- = AlreadyProposedSv
- | CannotFollowSv
- | InvalidApplicationName
- | InvalidSystemTags
data UPSVV
data UpdateConstraintViolation
- = BlockSizeTooLarge Natural (Threshold Natural)
- | TransactionSizeTooLarge Natural (Threshold Natural)
- | ScriptVersionTooLarge Natural (Threshold Natural)
- | ScriptVersionTooSmall Natural (Threshold Natural)
upId ∷ Lens' UProp UpId
upIssuer ∷ Lens' UProp VKey
upMdt ∷ Lens' UProp Metadata
upPV ∷ Lens' UProp ProtVer
upParams ∷ Lens' UProp PParams
upSTags ∷ Lens' UProp (Set STag)
upSig ∷ Lens' UProp (Sig UpSD)
upSwVer ∷ Lens' UProp SwVer
upSigData ∷ Lens' UProp UpSD
getUpSigData ∷ UProp → UpSD
mkUProp ∷ UpId → VKey → ProtVer → PParams → SwVer → Set STag → Metadata → UProp
inMap ∷ (Ord key, Eq v) ⇒ key → v → Map key v → Bool
invertMap ∷ (Ord k, Ord v) ⇒ Map k v → Map v (Set k)
invertBijection ∷ Ord v ⇒ Map k v → Map v k
(==>) ∷ Bool → Bool → Bool
pvCanFollow ∷ ProtVer → ProtVer → Bool
checkUpdateConstraints ∷ PParams → UProp → [UpdateConstraintViolation]
(<=?) ∷ Ord a ⇒ a → a → Maybe (a, Threshold a)
orError ∷ Maybe (a, b) → (a → b → e) → Maybe e
canUpdate ∷ PParams → UProp → Rule UPPVV ctx ()
svCanFollow ∷ Map ApName (ApVer, Slot, Metadata) → (ApName, ApVer) → Bool
data UpiecPredicateFailure = PVBUMPFailure (PredicateFailure PVBUMP)
data UPIEC
data PvbumpPredicateFailure = NoPVBUMPFailure
data PVBUMP
data UpiendPredicateFailure = UPENDFailure (PredicateFailure UPEND)
data UPIEND
data UpivotesPredicateFailure = ApplyVotesFailure (PredicateFailure APPLYVOTES)
data UPIVOTES
data ApplyVotesPredicateFailure = UpivoteFailure (PredicateFailure UPIVOTE)
data APPLYVOTES
data UpivotePredicateFailure = UPVOTEFailure (PredicateFailure UPVOTE)
data UPIVOTE
data UpiregPredicateFailure = UPREGFailure (PredicateFailure UPREG)
data UPIREG
type UPIState = ((ProtVer, PParams), [(Slot, (ProtVer, PParams))], Map ApName (ApVer, Slot, Metadata), Map UpId (ProtVer, PParams), Map UpId (ApName, ApVer, Metadata), Map UpId Slot, Set (UpId, VKeyGenesis), Set (ProtVer, VKeyGenesis), Map UpId Slot)
type UPIEnv = (Slot, Bimap VKeyGenesis VKey, BlockCount, Word8)
data UpendPredicateFailure
- = ProtVerUnknown ProtVer
- | S_TryNextRule
- | CanAdopt ProtVer
- | CannotAdopt ProtVer
- | NotADelegate VKey
- | UnconfirmedProposal UpId
data UPEND
data FadsPredicateFailure
data FADS
data UpvotePredicateFailure
- = ADDVOTEFailure (PredicateFailure ADDVOTE)
- | S_HigherThanThdAndNotAlreadyConfirmed
- | S_CfmThdNotReached
- | S_AlreadyConfirmed
data UPVOTE
data AddvotePredicateFailure
- = AVSigDoesNotVerify
- | NoUpdateProposal UpId
- | VoteByNonGenesisDelegate VKey
- | RepeatVoteByGenesisDelegate VKey
data ADDVOTE
vCaster ∷ Lens' Vote VKey
vPropId ∷ Lens' Vote UpId
vSig ∷ Lens' Vote (Sig UpId)
mkVote ∷ VKey → UpId → Vote
findKey ∷ (v → Bool) → Map k v → Maybe (k, v)
delegationMap ∷ UPIEnv → Bimap VKeyGenesis VKey
fstUPIState ∷ UPIState → (ProtVer, PParams)
sndUPIState ∷ UPIState → [(Slot, (ProtVer, PParams))]
trdUPIState ∷ UPIState → Map ApName (ApVer, Slot, Metadata)
emptyUPIState ∷ UPIState
initialPParams ∷ PParams
protocolVersion ∷ UPIState → ProtVer
protocolParameters ∷ UPIState → PParams
applicationVersions ∷ UPIState → Map ApName (ApVer, Slot, Metadata)
confirmedProposals ∷ UPIState → Map UpId Slot
futureAdoptions ∷ UPIState → [(Slot, (ProtVer, PParams))]
endorsements ∷ UPIState → Set (ProtVer, VKeyGenesis)
registeredProtocolUpdateProposals ∷ UPIState → Map UpId (ProtVer, PParams)
upiEnvGen ∷ Gen UPIEnv
dmapGen ∷ Word8 → Gen (Bimap VKeyGenesis VKey)
ppsUpdateFrom ∷ PParams → Gen PParams
increasingProbabilityAt ∷ Gen a → (a, a) → Gen a
randomUpId ∷ Gen UpId
reSign ∷ UProp → UProp
pickHighlyEndorsedProtocolVersion ∷ [(ProtVer, Set VKeyGenesis)] → Gen (Maybe ProtVer)
updateProposalAndVotesGen ∷ UPIEnv → UPIState → Gen (Maybe UProp, [Vote])
protocolVersionEndorsementGen ∷ UPIEnv → UPIState → Gen ProtVer
type family PredicateFailure a

Documentation

data PParams Source #

Protocol parameters.

Constructors

PParams

Fields

_maxBkSz ∷ !Natural
Maximum (abstract) block size in words
_maxHdrSz ∷ !Natural
Maximum (abstract) block header size in words
_maxTxSz ∷ !Natural
Maximum (abstract) transaction size in words
_maxPropSz ∷ !Natural
Maximum (abstract) update proposal size in words
_bkSgnCntT ∷ !BkSgnCntT
Fraction [0, 1] of the blocks that can be signed by any given key in a window of lenght _bkSgnCntW. This value will be typically between 1/5 and 1/4
_bkSlotsPerEpoch ∷ !SlotCount
Number of slots in an epoch. TODO: this should be removed since the number of slots per epoch should remain constant.
_upTtl ∷ !SlotCount
Update proposal TTL in slots
_scriptVersion ∷ !Natural
Script version
_upAdptThd ∷ !UpAdptThd
Update adoption threshold: a proportion of block issuers that have to endorse a given version to become candidate for adoption
_factorA ∷ !FactorA
Minimum fees per transaction
_factorB ∷ !FactorB
Additional fees per transaction size

Instances

Instances details

Data PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → PParams → c PParams # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c PParams # toConstr ∷ PParams → Constr # dataTypeOf ∷ PParams → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PParams) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PParams) # gmapT ∷ (∀ b. Data b ⇒ b → b) → PParams → PParams # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PParams → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PParams → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → PParams → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → PParams → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → PParams → m PParams # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PParams → m PParams # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PParams → m PParams #
Generic PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep PParams ∷ Type → Type # Methods from ∷ PParams → Rep PParams x # to ∷ Rep PParams x → PParams #
Show PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → PParams → ShowS # show ∷ PParams → String # showList ∷ [PParams] → ShowS #
HasTypeReps PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ PParams → Seq TypeRep Source #
Eq PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ PParams → PParams → Bool # (/=) ∷ PParams → PParams → Bool #
Ord PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ PParams → PParams → Ordering # (<) ∷ PParams → PParams → Bool # (<=) ∷ PParams → PParams → Bool # (>) ∷ PParams → PParams → Bool # (>=) ∷ PParams → PParams → Bool # max ∷ PParams → PParams → PParams # min ∷ PParams → PParams → PParams #
Hashable PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → PParams → Int Source # hash ∷ PParams → Int Source #
NoThunks PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → PParams → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PParams → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PParams → String Source #
HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #
type Rep PParams Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep PParams = D1 ('MetaData "PParams" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "PParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_maxBkSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "_maxHdrSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)) :: (S1 ('MetaSel ('Just "_maxTxSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: (S1 ('MetaSel ('Just "_maxPropSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "_bkSgnCntT") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BkSgnCntT)))) :: ((S1 ('MetaSel ('Just "_bkSlotsPerEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotCount) :: (S1 ('MetaSel ('Just "_upTtl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotCount) :: S1 ('MetaSel ('Just "_scriptVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) :: (S1 ('MetaSel ('Just "_upAdptThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpAdptThd) :: (S1 ('MetaSel ('Just "_factorA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FactorA) :: S1 ('MetaSel ('Just "_factorB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FactorB))))))

newtype BkSgnCntT Source #

Constructors

BkSgnCntT Double

Instances

Instances details

Data BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BkSgnCntT → c BkSgnCntT # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BkSgnCntT # toConstr ∷ BkSgnCntT → Constr # dataTypeOf ∷ BkSgnCntT → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BkSgnCntT) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BkSgnCntT) # gmapT ∷ (∀ b. Data b ⇒ b → b) → BkSgnCntT → BkSgnCntT # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BkSgnCntT → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BkSgnCntT → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → BkSgnCntT → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BkSgnCntT → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BkSgnCntT → m BkSgnCntT # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BkSgnCntT → m BkSgnCntT # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BkSgnCntT → m BkSgnCntT #
Generic BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep BkSgnCntT ∷ Type → Type # Methods from ∷ BkSgnCntT → Rep BkSgnCntT x # to ∷ Rep BkSgnCntT x → BkSgnCntT #
Num BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (+) ∷ BkSgnCntT → BkSgnCntT → BkSgnCntT # (-) ∷ BkSgnCntT → BkSgnCntT → BkSgnCntT # (*) ∷ BkSgnCntT → BkSgnCntT → BkSgnCntT # negate ∷ BkSgnCntT → BkSgnCntT # abs ∷ BkSgnCntT → BkSgnCntT # signum ∷ BkSgnCntT → BkSgnCntT # fromInteger ∷ Integer → BkSgnCntT #
Fractional BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (/) ∷ BkSgnCntT → BkSgnCntT → BkSgnCntT # recip ∷ BkSgnCntT → BkSgnCntT # fromRational ∷ Rational → BkSgnCntT #
Show BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → BkSgnCntT → ShowS # show ∷ BkSgnCntT → String # showList ∷ [BkSgnCntT] → ShowS #
HasTypeReps BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ BkSgnCntT → Seq TypeRep Source #
Eq BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ BkSgnCntT → BkSgnCntT → Bool # (/=) ∷ BkSgnCntT → BkSgnCntT → Bool #
Ord BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ BkSgnCntT → BkSgnCntT → Ordering # (<) ∷ BkSgnCntT → BkSgnCntT → Bool # (<=) ∷ BkSgnCntT → BkSgnCntT → Bool # (>) ∷ BkSgnCntT → BkSgnCntT → Bool # (>=) ∷ BkSgnCntT → BkSgnCntT → Bool # max ∷ BkSgnCntT → BkSgnCntT → BkSgnCntT # min ∷ BkSgnCntT → BkSgnCntT → BkSgnCntT #
Hashable BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → BkSgnCntT → Int Source # hash ∷ BkSgnCntT → Int Source #
NoThunks BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → BkSgnCntT → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BkSgnCntT → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BkSgnCntT → String Source #
type Rep BkSgnCntT Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep BkSgnCntT = D1 ('MetaData "BkSgnCntT" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "BkSgnCntT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype UpAdptThd Source #

Constructors

UpAdptThd Double

Instances

Instances details

Data UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UpAdptThd → c UpAdptThd # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UpAdptThd # toConstr ∷ UpAdptThd → Constr # dataTypeOf ∷ UpAdptThd → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpAdptThd) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpAdptThd) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UpAdptThd → UpAdptThd # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UpAdptThd → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UpAdptThd → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UpAdptThd → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UpAdptThd → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UpAdptThd → m UpAdptThd # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpAdptThd → m UpAdptThd # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpAdptThd → m UpAdptThd #
Generic UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UpAdptThd ∷ Type → Type # Methods from ∷ UpAdptThd → Rep UpAdptThd x # to ∷ Rep UpAdptThd x → UpAdptThd #
Num UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (+) ∷ UpAdptThd → UpAdptThd → UpAdptThd # (-) ∷ UpAdptThd → UpAdptThd → UpAdptThd # (*) ∷ UpAdptThd → UpAdptThd → UpAdptThd # negate ∷ UpAdptThd → UpAdptThd # abs ∷ UpAdptThd → UpAdptThd # signum ∷ UpAdptThd → UpAdptThd # fromInteger ∷ Integer → UpAdptThd #
Fractional UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (/) ∷ UpAdptThd → UpAdptThd → UpAdptThd # recip ∷ UpAdptThd → UpAdptThd # fromRational ∷ Rational → UpAdptThd #
Real UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods toRational ∷ UpAdptThd → Rational #
RealFrac UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods properFraction ∷ Integral b ⇒ UpAdptThd → (b, UpAdptThd) # truncate ∷ Integral b ⇒ UpAdptThd → b # round ∷ Integral b ⇒ UpAdptThd → b # ceiling ∷ Integral b ⇒ UpAdptThd → b # floor ∷ Integral b ⇒ UpAdptThd → b #
Show UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → UpAdptThd → ShowS # show ∷ UpAdptThd → String # showList ∷ [UpAdptThd] → ShowS #
HasTypeReps UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ UpAdptThd → Seq TypeRep Source #
Eq UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ UpAdptThd → UpAdptThd → Bool # (/=) ∷ UpAdptThd → UpAdptThd → Bool #
Ord UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ UpAdptThd → UpAdptThd → Ordering # (<) ∷ UpAdptThd → UpAdptThd → Bool # (<=) ∷ UpAdptThd → UpAdptThd → Bool # (>) ∷ UpAdptThd → UpAdptThd → Bool # (>=) ∷ UpAdptThd → UpAdptThd → Bool # max ∷ UpAdptThd → UpAdptThd → UpAdptThd # min ∷ UpAdptThd → UpAdptThd → UpAdptThd #
Hashable UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → UpAdptThd → Int Source # hash ∷ UpAdptThd → Int Source #
NoThunks UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → UpAdptThd → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UpAdptThd → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UpAdptThd → String Source #
type Rep UpAdptThd Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpAdptThd = D1 ('MetaData "UpAdptThd" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "UpAdptThd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype FactorB Source #

Constructors

FactorB Int

Instances

Instances details

Data FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → FactorB → c FactorB # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c FactorB # toConstr ∷ FactorB → Constr # dataTypeOf ∷ FactorB → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c FactorB) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c FactorB) # gmapT ∷ (∀ b. Data b ⇒ b → b) → FactorB → FactorB # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → FactorB → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → FactorB → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → FactorB → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → FactorB → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → FactorB → m FactorB # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorB → m FactorB # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorB → m FactorB #
Generic FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep FactorB ∷ Type → Type # Methods from ∷ FactorB → Rep FactorB x # to ∷ Rep FactorB x → FactorB #
Show FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → FactorB → ShowS # show ∷ FactorB → String # showList ∷ [FactorB] → ShowS #
HasTypeReps FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ FactorB → Seq TypeRep Source #
Eq FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ FactorB → FactorB → Bool # (/=) ∷ FactorB → FactorB → Bool #
Ord FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ FactorB → FactorB → Ordering # (<) ∷ FactorB → FactorB → Bool # (<=) ∷ FactorB → FactorB → Bool # (>) ∷ FactorB → FactorB → Bool # (>=) ∷ FactorB → FactorB → Bool # max ∷ FactorB → FactorB → FactorB # min ∷ FactorB → FactorB → FactorB #
Hashable FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → FactorB → Int Source # hash ∷ FactorB → Int Source #
NoThunks FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → FactorB → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FactorB → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy FactorB → String Source #
type Rep FactorB Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep FactorB = D1 ('MetaData "FactorB" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "FactorB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype FactorA Source #

Constructors

FactorA Int

Instances

Instances details

Data FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → FactorA → c FactorA # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c FactorA # toConstr ∷ FactorA → Constr # dataTypeOf ∷ FactorA → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c FactorA) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c FactorA) # gmapT ∷ (∀ b. Data b ⇒ b → b) → FactorA → FactorA # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → FactorA → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → FactorA → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → FactorA → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → FactorA → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → FactorA → m FactorA # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorA → m FactorA # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorA → m FactorA #
Generic FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep FactorA ∷ Type → Type # Methods from ∷ FactorA → Rep FactorA x # to ∷ Rep FactorA x → FactorA #
Show FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → FactorA → ShowS # show ∷ FactorA → String # showList ∷ [FactorA] → ShowS #
HasTypeReps FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ FactorA → Seq TypeRep Source #
Eq FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ FactorA → FactorA → Bool # (/=) ∷ FactorA → FactorA → Bool #
Ord FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ FactorA → FactorA → Ordering # (<) ∷ FactorA → FactorA → Bool # (<=) ∷ FactorA → FactorA → Bool # (>) ∷ FactorA → FactorA → Bool # (>=) ∷ FactorA → FactorA → Bool # max ∷ FactorA → FactorA → FactorA # min ∷ FactorA → FactorA → FactorA #
Hashable FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → FactorA → Int Source # hash ∷ FactorA → Int Source #
NoThunks FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → FactorA → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → FactorA → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy FactorA → String Source #
type Rep FactorA Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep FactorA = D1 ('MetaData "FactorA" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "FactorA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data ProtVer Source #

Protocol version

Constructors

ProtVer
Fields _pvMaj ∷ Natural _pvMin ∷ Natural _pvAlt ∷ Natural

Instances

Instances details

Data ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ProtVer → c ProtVer # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ProtVer # toConstr ∷ ProtVer → Constr # dataTypeOf ∷ ProtVer → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ProtVer) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ProtVer) # gmapT ∷ (∀ b. Data b ⇒ b → b) → ProtVer → ProtVer # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ProtVer → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ProtVer → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ProtVer → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ProtVer → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ProtVer → m ProtVer # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ProtVer → m ProtVer # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ProtVer → m ProtVer #
Generic ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep ProtVer ∷ Type → Type # Methods from ∷ ProtVer → Rep ProtVer x # to ∷ Rep ProtVer x → ProtVer #
Show ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → ProtVer → ShowS # show ∷ ProtVer → String # showList ∷ [ProtVer] → ShowS #
HasTypeReps ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ ProtVer → Seq TypeRep Source #
Eq ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ ProtVer → ProtVer → Bool # (/=) ∷ ProtVer → ProtVer → Bool #
Ord ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ ProtVer → ProtVer → Ordering # (<) ∷ ProtVer → ProtVer → Bool # (<=) ∷ ProtVer → ProtVer → Bool # (>) ∷ ProtVer → ProtVer → Bool # (>=) ∷ ProtVer → ProtVer → Bool # max ∷ ProtVer → ProtVer → ProtVer # min ∷ ProtVer → ProtVer → ProtVer #
Hashable ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → ProtVer → Int Source # hash ∷ ProtVer → Int Source #
NoThunks ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → ProtVer → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ProtVer → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ProtVer → String Source #
HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #
type Rep ProtVer Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep ProtVer = D1 ('MetaData "ProtVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pvMaj") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :: (S1 ('MetaSel ('Just "_pvMin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :: S1 ('MetaSel ('Just "_pvAlt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural))))

newtype UpId Source #

Constructors

UpId Int

Instances

Instances details

Data UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UpId → c UpId # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UpId # toConstr ∷ UpId → Constr # dataTypeOf ∷ UpId → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpId) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpId) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UpId → UpId # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UpId → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UpId → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UpId → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UpId → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UpId → m UpId # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpId → m UpId # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpId → m UpId #
Generic UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UpId ∷ Type → Type # Methods from ∷ UpId → Rep UpId x # to ∷ Rep UpId x → UpId #
Show UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → UpId → ShowS # show ∷ UpId → String # showList ∷ [UpId] → ShowS #
HasTypeReps UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ UpId → Seq TypeRep Source #
Eq UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ UpId → UpId → Bool # (/=) ∷ UpId → UpId → Bool #
Ord UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ UpId → UpId → Ordering # (<) ∷ UpId → UpId → Bool # (<=) ∷ UpId → UpId → Bool # (>) ∷ UpId → UpId → Bool # (>=) ∷ UpId → UpId → Bool # max ∷ UpId → UpId → UpId # min ∷ UpId → UpId → UpId #
Hashable UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → UpId → Int Source # hash ∷ UpId → Int Source #
NoThunks UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → UpId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UpId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UpId → String Source #
type Rep UpId Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpId = D1 ('MetaData "UpId" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "UpId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

bkSgnCntT ∷ Lens' PParams BkSgnCntT Source #

bkSlotsPerEpoch ∷ Lens' PParams SlotCount Source #

factorA ∷ Lens' PParams FactorA Source #

factorB ∷ Lens' PParams FactorB Source #

maxBkSz ∷ Lens' PParams Natural Source #

maxHdrSz ∷ Lens' PParams Natural Source #

maxPropSz ∷ Lens' PParams Natural Source #

maxTxSz ∷ Lens' PParams Natural Source #

scriptVersion ∷ Lens' PParams Natural Source #

upAdptThd ∷ Lens' PParams UpAdptThd Source #

upTtl ∷ Lens' PParams SlotCount Source #

data SwVer Source #

Constructors

SwVer
Fields _svName ∷ ApName _svVer ∷ ApVer

Instances

Instances details

Data SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SwVer → c SwVer # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SwVer # toConstr ∷ SwVer → Constr # dataTypeOf ∷ SwVer → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SwVer) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SwVer) # gmapT ∷ (∀ b. Data b ⇒ b → b) → SwVer → SwVer # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SwVer → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SwVer → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → SwVer → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SwVer → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SwVer → m SwVer # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SwVer → m SwVer # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SwVer → m SwVer #
Generic SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep SwVer ∷ Type → Type # Methods from ∷ SwVer → Rep SwVer x # to ∷ Rep SwVer x → SwVer #
Show SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → SwVer → ShowS # show ∷ SwVer → String # showList ∷ [SwVer] → ShowS #
HasTypeReps SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ SwVer → Seq TypeRep Source #
Eq SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ SwVer → SwVer → Bool # (/=) ∷ SwVer → SwVer → Bool #
Hashable SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → SwVer → Int Source # hash ∷ SwVer → Int Source #
NoThunks SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → SwVer → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SwVer → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SwVer → String Source #
HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #
type Rep SwVer Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep SwVer = D1 ('MetaData "SwVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SwVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "_svName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ApName) :*: S1 ('MetaSel ('Just "_svVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ApVer)))

newtype ApVer Source #

Application version

Constructors

ApVer Natural

Instances

Instances details

Data ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ApVer → c ApVer # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ApVer # toConstr ∷ ApVer → Constr # dataTypeOf ∷ ApVer → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApVer) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApVer) # gmapT ∷ (∀ b. Data b ⇒ b → b) → ApVer → ApVer # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ApVer → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ApVer → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ApVer → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ApVer → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ApVer → m ApVer # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApVer → m ApVer # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApVer → m ApVer #
Generic ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep ApVer ∷ Type → Type # Methods from ∷ ApVer → Rep ApVer x # to ∷ Rep ApVer x → ApVer #
Num ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (+) ∷ ApVer → ApVer → ApVer # (-) ∷ ApVer → ApVer → ApVer # (*) ∷ ApVer → ApVer → ApVer # negate ∷ ApVer → ApVer # abs ∷ ApVer → ApVer # signum ∷ ApVer → ApVer # fromInteger ∷ Integer → ApVer #
Show ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → ApVer → ShowS # show ∷ ApVer → String # showList ∷ [ApVer] → ShowS #
HasTypeReps ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ ApVer → Seq TypeRep Source #
Eq ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ ApVer → ApVer → Bool # (/=) ∷ ApVer → ApVer → Bool #
Ord ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ ApVer → ApVer → Ordering # (<) ∷ ApVer → ApVer → Bool # (<=) ∷ ApVer → ApVer → Bool # (>) ∷ ApVer → ApVer → Bool # (>=) ∷ ApVer → ApVer → Bool # max ∷ ApVer → ApVer → ApVer # min ∷ ApVer → ApVer → ApVer #
Hashable ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → ApVer → Int Source # hash ∷ ApVer → Int Source #
NoThunks ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → ApVer → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ApVer → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ApVer → String Source #
type Rep ApVer Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep ApVer = D1 ('MetaData "ApVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "ApVer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype ApName Source #

Constructors

ApName String

Instances

Instances details

Data ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ApName → c ApName # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ApName # toConstr ∷ ApName → Constr # dataTypeOf ∷ ApName → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApName) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApName) # gmapT ∷ (∀ b. Data b ⇒ b → b) → ApName → ApName # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ApName → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ApName → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → ApName → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ApName → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ApName → m ApName # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApName → m ApName # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApName → m ApName #
Generic ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep ApName ∷ Type → Type # Methods from ∷ ApName → Rep ApName x # to ∷ Rep ApName x → ApName #
Show ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → ApName → ShowS # show ∷ ApName → String # showList ∷ [ApName] → ShowS #
HasTypeReps ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ ApName → Seq TypeRep Source #
Eq ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ ApName → ApName → Bool # (/=) ∷ ApName → ApName → Bool #
Ord ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ ApName → ApName → Ordering # (<) ∷ ApName → ApName → Bool # (<=) ∷ ApName → ApName → Bool # (>) ∷ ApName → ApName → Bool # (>=) ∷ ApName → ApName → Bool # max ∷ ApName → ApName → ApName # min ∷ ApName → ApName → ApName #
Hashable ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → ApName → Int Source # hash ∷ ApName → Int Source #
NoThunks ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → ApName → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ApName → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ApName → String Source #
type Rep ApName Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep ApName = D1 ('MetaData "ApName" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "ApName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

pvAlt ∷ Lens' ProtVer Natural Source #

pvMaj ∷ Lens' ProtVer Natural Source #

pvMin ∷ Lens' ProtVer Natural Source #

data UProp Source #

Update proposal

Constructors

UProp
Fields _upId ∷ UpId _upIssuer ∷ VKey _upParams ∷ PParams _upPV ∷ ProtVer _upSwVer ∷ SwVer _upSig ∷ Sig UpSD _upSTags ∷ Set STag System tags involved in the update proposal. _upMdt ∷ Metadata Metadata required for performing software updates.

Instances

Instances details

Data UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UProp → c UProp # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UProp # toConstr ∷ UProp → Constr # dataTypeOf ∷ UProp → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UProp) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UProp) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UProp → UProp # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UProp → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UProp → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UProp → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UProp → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UProp → m UProp # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UProp → m UProp # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UProp → m UProp #
Generic UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UProp ∷ Type → Type # Methods from ∷ UProp → Rep UProp x # to ∷ Rep UProp x → UProp #
Show UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → UProp → ShowS # show ∷ UProp → String # showList ∷ [UProp] → ShowS #
HasTypeReps UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ UProp → Seq TypeRep Source #
Eq UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ UProp → UProp → Bool # (/=) ∷ UProp → UProp → Bool #
Hashable UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → UProp → Int Source # hash ∷ UProp → Int Source #
NoThunks UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → UProp → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UProp → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UProp → String Source #
HasHash (Maybe UProp, [Vote]) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hash ∷ (Maybe UProp, [Vote]) → Hash Source #
type Rep UProp Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UProp = D1 ('MetaData "UProp" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UProp" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_upId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId) :: S1 ('MetaSel ('Just "_upIssuer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :: (S1 ('MetaSel ('Just "_upParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PParams) :: S1 ('MetaSel ('Just "_upPV") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer))) :: ((S1 ('MetaSel ('Just "_upSwVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SwVer) :: S1 ('MetaSel ('Just "_upSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig UpSD))) :: (S1 ('MetaSel ('Just "_upSTags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set STag)) :*: S1 ('MetaSel ('Just "_upMdt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Metadata)))))

data Metadata Source #

For now we do not have any requirements on metadata.

Constructors

Metadata

Instances

Instances details

Data Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Metadata → c Metadata # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Metadata # toConstr ∷ Metadata → Constr # dataTypeOf ∷ Metadata → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Metadata) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Metadata) # gmapT ∷ (∀ b. Data b ⇒ b → b) → Metadata → Metadata # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Metadata → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Metadata → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Metadata → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Metadata → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Metadata → m Metadata # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Metadata → m Metadata # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Metadata → m Metadata #
Generic Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep Metadata ∷ Type → Type # Methods from ∷ Metadata → Rep Metadata x # to ∷ Rep Metadata x → Metadata #
Show Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → Metadata → ShowS # show ∷ Metadata → String # showList ∷ [Metadata] → ShowS #
HasTypeReps Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ Metadata → Seq TypeRep Source #
Eq Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ Metadata → Metadata → Bool # (/=) ∷ Metadata → Metadata → Bool #
Ord Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods compare ∷ Metadata → Metadata → Ordering # (<) ∷ Metadata → Metadata → Bool # (<=) ∷ Metadata → Metadata → Bool # (>) ∷ Metadata → Metadata → Bool # (>=) ∷ Metadata → Metadata → Bool # max ∷ Metadata → Metadata → Metadata # min ∷ Metadata → Metadata → Metadata #
Hashable Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → Metadata → Int Source # hash ∷ Metadata → Int Source #
NoThunks Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → Metadata → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Metadata → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Metadata → String Source #
HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #
type Rep Metadata Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep Metadata = D1 ('MetaData "Metadata" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'False) (U1 ∷ Type → Type))

type STag = String Source #

System tag, this represents a target operating system for the update (e.g. linux, win64, or mac32).

type UpSD = (ProtVer, PParams, SwVer, Set STag, Metadata) Source #

Part of the update proposal which must be signed

svName ∷ Lens' SwVer ApName Source #

svVer ∷ Lens' SwVer ApVer Source #

data Vote Source #

Constructors

Vote
Fields _vCaster ∷ VKey _vPropId ∷ UpId _vSig ∷ Sig UpId

Instances

Instances details

Data Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Vote → c Vote # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Vote # toConstr ∷ Vote → Constr # dataTypeOf ∷ Vote → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Vote) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Vote) # gmapT ∷ (∀ b. Data b ⇒ b → b) → Vote → Vote # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Vote → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Vote → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Vote → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Vote → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Vote → m Vote # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Vote → m Vote # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Vote → m Vote #
Generic Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep Vote ∷ Type → Type # Methods from ∷ Vote → Rep Vote x # to ∷ Rep Vote x → Vote #
Show Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods showsPrec ∷ Int → Vote → ShowS # show ∷ Vote → String # showList ∷ [Vote] → ShowS #
HasTypeReps Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods typeReps ∷ Vote → Seq TypeRep Source #
Eq Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods (==) ∷ Vote → Vote → Bool # (/=) ∷ Vote → Vote → Bool #
Hashable Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hashWithSalt ∷ Int → Vote → Int Source # hash ∷ Vote → Int Source #
NoThunks Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods noThunks ∷ Context → Vote → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Vote → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Vote → String Source #
HasHash (Maybe UProp, [Vote]) Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods hash ∷ (Maybe UProp, [Vote]) → Hash Source #
type Rep Vote Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep Vote = D1 ('MetaData "Vote" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Vote" 'PrefixI 'True) (S1 ('MetaSel ('Just "_vCaster") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :: (S1 ('MetaSel ('Just "_vPropId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId) :: S1 ('MetaSel ('Just "_vSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig UpId)))))

data UpregPredicateFailure Source #

These PredicateFailures are all throwable.

Constructors

UPVFailure (PredicateFailure UPV)
NotGenesisDelegate
DoesNotVerify

Instances

Instances details

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

data UPREG Source #

Instances

Instances details

Data UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPREG → c UPREG # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPREG # toConstr ∷ UPREG → Constr # dataTypeOf ∷ UPREG → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPREG) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPREG) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPREG → UPREG # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPREG → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPREG → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPREG → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPREG → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPREG → m UPREG # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPREG → m UPREG # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPREG → m UPREG #
Generic UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPREG ∷ Type → Type # Methods from ∷ UPREG → Rep UPREG x # to ∷ Rep UPREG x → UPREG #
STS UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPREG Source # type Signal UPREG Source # type Environment UPREG Source # type BaseM UPREG ∷ Type → Type Source # type Event UPREG Source # type PredicateFailure UPREG Source # Methods initialRules ∷ [InitialRule UPREG] Source # transitionRules ∷ [TransitionRule UPREG] Source # assertions ∷ [Assertion UPREG] Source # renderAssertionViolation ∷ AssertionViolation UPREG → String Source #
Embed UPREG UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPREG → PredicateFailure UPIREG Source # wrapEvent ∷ Event UPREG → Event UPIREG Source #
Embed UPV UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPV → PredicateFailure UPREG Source # wrapEvent ∷ Event UPV → Event UPREG Source #
type Rep UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPREG = D1 ('MetaData "UPREG" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPREG = Identity
type Environment UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPREG = (ProtVer, PParams, Map ApName (ApVer, Slot, Metadata), Bimap VKeyGenesis VKey)
type Event UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPREG = Void
type PredicateFailure UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPREG = UpregPredicateFailure
type Signal UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPREG = UProp
type State UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPREG = (Map UpId (ProtVer, PParams), Map UpId (ApName, ApVer, Metadata))

data UpvPredicateFailure Source #

These PredicateFailures are all throwable.

Constructors

UPPVVFailure (PredicateFailure UPPVV)
UPSVVFailure (PredicateFailure UPSVV)
AVChangedInPVUpdate ApName ApVer (Maybe (ApVer, Slot, Metadata))
ParamsChangedInSVUpdate
PVChangedInSVUpdate

Instances

Instances details

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

data UPV Source #

Update proposal validity

Instances

Instances details

Data UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPV → c UPV # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPV # toConstr ∷ UPV → Constr # dataTypeOf ∷ UPV → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPV) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPV) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPV → UPV # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPV → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPV → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPV → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPV → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPV → m UPV # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPV → m UPV # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPV → m UPV #
Generic UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPV ∷ Type → Type # Methods from ∷ UPV → Rep UPV x # to ∷ Rep UPV x → UPV #
STS UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPV Source # type Signal UPV Source # type Environment UPV Source # type BaseM UPV ∷ Type → Type Source # type Event UPV Source # type PredicateFailure UPV Source # Methods initialRules ∷ [InitialRule UPV] Source # transitionRules ∷ [TransitionRule UPV] Source # assertions ∷ [Assertion UPV] Source # renderAssertionViolation ∷ AssertionViolation UPV → String Source #
Embed UPPVV UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPPVV → PredicateFailure UPV Source # wrapEvent ∷ Event UPPVV → Event UPV Source #
Embed UPSVV UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPSVV → PredicateFailure UPV Source # wrapEvent ∷ Event UPSVV → Event UPV Source #
Embed UPV UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPV → PredicateFailure UPREG Source # wrapEvent ∷ Event UPV → Event UPREG Source #
type Rep UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPV = D1 ('MetaData "UPV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPV = Identity
type Environment UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPV = (ProtVer, PParams, Map ApName (ApVer, Slot, Metadata))
type Event UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPV = Void
type PredicateFailure UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPV = UpvPredicateFailure
type Signal UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPV = UProp
type State UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPV = (Map UpId (ProtVer, PParams), Map UpId (ApName, ApVer, Metadata))

data UppvvPredicateFailure Source #

These PredicateFailures are all "throwable". The disjunction of the rules' preconditions is not True - the PredicateFailures represent False cases.

Constructors

CannotFollowPv
CannotUpdatePv [UpdateConstraintViolation]
AlreadyProposedPv

Instances

Instances details

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

data UPPVV Source #

Instances

Instances details

Data UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPPVV → c UPPVV # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPPVV # toConstr ∷ UPPVV → Constr # dataTypeOf ∷ UPPVV → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPPVV) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPPVV) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPPVV → UPPVV # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPPVV → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPPVV → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPPVV → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPPVV → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPPVV → m UPPVV # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPPVV → m UPPVV # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPPVV → m UPPVV #
Generic UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPPVV ∷ Type → Type # Methods from ∷ UPPVV → Rep UPPVV x # to ∷ Rep UPPVV x → UPPVV #
STS UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPPVV Source # type Signal UPPVV Source # type Environment UPPVV Source # type BaseM UPPVV ∷ Type → Type Source # type Event UPPVV Source # type PredicateFailure UPPVV Source # Methods initialRules ∷ [InitialRule UPPVV] Source # transitionRules ∷ [TransitionRule UPPVV] Source # assertions ∷ [Assertion UPPVV] Source # renderAssertionViolation ∷ AssertionViolation UPPVV → String Source #
Embed UPPVV UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPPVV → PredicateFailure UPV Source # wrapEvent ∷ Event UPPVV → Event UPV Source #
type Rep UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPPVV = D1 ('MetaData "UPPVV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPPVV = Identity
type Environment UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPPVV = (ProtVer, PParams)
type Event UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPPVV = Void
type PredicateFailure UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPPVV = UppvvPredicateFailure
type Signal UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPPVV = UProp
type State UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPPVV = Map UpId (ProtVer, PParams)

data UpsvvPredicateFailure Source #

These PredicateFailures are all "throwable". The disjunction of the rules' preconditions is not True - the PredicateFailures represent False cases.

Constructors

AlreadyProposedSv
CannotFollowSv
InvalidApplicationName
InvalidSystemTags

Instances

Instances details

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

data UPSVV Source #

Update Proposal Software Version Validation

Instances

Instances details

Data UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPSVV → c UPSVV # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPSVV # toConstr ∷ UPSVV → Constr # dataTypeOf ∷ UPSVV → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPSVV) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPSVV) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPSVV → UPSVV # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPSVV → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPSVV → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPSVV → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPSVV → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPSVV → m UPSVV # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPSVV → m UPSVV # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPSVV → m UPSVV #
Generic UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPSVV ∷ Type → Type # Methods from ∷ UPSVV → Rep UPSVV x # to ∷ Rep UPSVV x → UPSVV #
STS UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPSVV Source # type Signal UPSVV Source # type Environment UPSVV Source # type BaseM UPSVV ∷ Type → Type Source # type Event UPSVV Source # type PredicateFailure UPSVV Source # Methods initialRules ∷ [InitialRule UPSVV] Source # transitionRules ∷ [TransitionRule UPSVV] Source # assertions ∷ [Assertion UPSVV] Source # renderAssertionViolation ∷ AssertionViolation UPSVV → String Source #
Embed UPSVV UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPSVV → PredicateFailure UPV Source # wrapEvent ∷ Event UPSVV → Event UPV Source #
type Rep UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPSVV = D1 ('MetaData "UPSVV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPSVV = Identity
type Environment UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPSVV = Map ApName (ApVer, Slot, Metadata)
type Event UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPSVV = Void
type PredicateFailure UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPSVV = UpsvvPredicateFailure
type Signal UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPSVV = UProp
type State UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPSVV = Map UpId (ApName, ApVer, Metadata)

data UpdateConstraintViolation Source #

Violations on the constraints of the allowed values for new protocol parameters.

Constructors

BlockSizeTooLarge Natural (Threshold Natural)
TransactionSizeTooLarge Natural (Threshold Natural)
ScriptVersionTooLarge Natural (Threshold Natural)
ScriptVersionTooSmall Natural (Threshold Natural)

Instances

Instances details

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

upId ∷ Lens' UProp UpId Source #

upIssuer ∷ Lens' UProp VKey Source #

upMdt ∷ Lens' UProp Metadata Source #

upPV ∷ Lens' UProp ProtVer Source #

upParams ∷ Lens' UProp PParams Source #

upSTags ∷ Lens' UProp (Set STag) Source #

upSig ∷ Lens' UProp (Sig UpSD) Source #

upSwVer ∷ Lens' UProp SwVer Source #

upSigData ∷ Lens' UProp UpSD Source #

getUpSigData ∷ UProp → UpSD Source #

mkUProp ∷ UpId → VKey → ProtVer → PParams → SwVer → Set STag → Metadata → UProp Source #

inMap ∷ (Ord key, Eq v) ⇒ key → v → Map key v → Bool Source #

Test if a pair is present in a map.

invertMap ∷ (Ord k, Ord v) ⇒ Map k v → Map v (Set k) Source #

Invert a map

Examples:

>>> import qualified Data.Map.Strict as Map
>>> import Byron.Spec.Ledger.Update (invertMap)
>>> invertMap (Map.fromList [('a', 1 :: Int), ('b', 2), ('c', 3), ('d', 1)])
fromList [(1,fromList "ad"),(2,fromList "b"),(3,fromList "c")]

invertBijection ∷ Ord v ⇒ Map k v → Map v k Source #

Invert a map which we assert to be a bijection. If this map is not a bijection, the behaviour is not guaranteed.

Examples:

>>> import qualified Data.Map.Strict as Map
>>> invertBijection (Map.fromList [('a', 1 :: Int), ('b', 2), ('c', 3)])
fromList [(1,'a'),(2,'b'),(3,'c')]

(==>) ∷ Bool → Bool → Bool infix 1 Source #

pvCanFollow Source #

Arguments

∷ ProtVer	Next protocol version
→ ProtVer	Previous protocol version
→ Bool

Check whether a protocol version can follow the current protocol version.

checkUpdateConstraints ∷ PParams → UProp → [UpdateConstraintViolation] Source #

Check whether an update proposal marks a valid update

(<=?) ∷ Ord a ⇒ a → a → Maybe (a, Threshold a) infix 4 Source #

orError ∷ Maybe (a, b) → (a → b → e) → Maybe e Source #

canUpdate ∷ PParams → UProp → Rule UPPVV ctx () Source #

svCanFollow ∷ Map ApName (ApVer, Slot, Metadata) → (ApName, ApVer) → Bool Source #

data UpiecPredicateFailure Source #

Constructors

PVBUMPFailure (PredicateFailure PVBUMP)

Instances

Instances details

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

data UPIEC Source #

Instances

Instances details

Data UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIEC → c UPIEC # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPIEC # toConstr ∷ UPIEC → Constr # dataTypeOf ∷ UPIEC → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIEC) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIEC) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPIEC → UPIEC # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPIEC → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPIEC → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPIEC → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPIEC → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEC → m UPIEC # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEC → m UPIEC # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEC → m UPIEC #
Generic UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPIEC ∷ Type → Type # Methods from ∷ UPIEC → Rep UPIEC x # to ∷ Rep UPIEC x → UPIEC #
STS UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPIEC Source # type Signal UPIEC Source # type Environment UPIEC Source # type BaseM UPIEC ∷ Type → Type Source # type Event UPIEC Source # type PredicateFailure UPIEC Source # Methods initialRules ∷ [InitialRule UPIEC] Source # transitionRules ∷ [TransitionRule UPIEC] Source # assertions ∷ [Assertion UPIEC] Source # renderAssertionViolation ∷ AssertionViolation UPIEC → String Source #
Embed PVBUMP UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure PVBUMP → PredicateFailure UPIEC Source # wrapEvent ∷ Event PVBUMP → Event UPIEC Source #
type Rep UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIEC = D1 ('MetaData "UPIEC" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIEC = Identity
type Environment UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIEC = (Epoch, BlockCount)
type Event UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIEC = Void
type PredicateFailure UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIEC = UpiecPredicateFailure
type Signal UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIEC = ()
type State UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPIEC = UPIState

data PvbumpPredicateFailure Source #

Constructors

NoPVBUMPFailure

Instances

Instances details

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

data PVBUMP Source #

Instances

Instances details

Data PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → PVBUMP → c PVBUMP # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c PVBUMP # toConstr ∷ PVBUMP → Constr # dataTypeOf ∷ PVBUMP → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PVBUMP) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PVBUMP) # gmapT ∷ (∀ b. Data b ⇒ b → b) → PVBUMP → PVBUMP # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PVBUMP → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PVBUMP → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → PVBUMP → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → PVBUMP → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → PVBUMP → m PVBUMP # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PVBUMP → m PVBUMP # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PVBUMP → m PVBUMP #
Generic PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep PVBUMP ∷ Type → Type # Methods from ∷ PVBUMP → Rep PVBUMP x # to ∷ Rep PVBUMP x → PVBUMP #
STS PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State PVBUMP Source # type Signal PVBUMP Source # type Environment PVBUMP Source # type BaseM PVBUMP ∷ Type → Type Source # type Event PVBUMP Source # type PredicateFailure PVBUMP Source # Methods initialRules ∷ [InitialRule PVBUMP] Source # transitionRules ∷ [TransitionRule PVBUMP] Source # assertions ∷ [Assertion PVBUMP] Source # renderAssertionViolation ∷ AssertionViolation PVBUMP → String Source #
Embed PVBUMP UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure PVBUMP → PredicateFailure UPIEC Source # wrapEvent ∷ Event PVBUMP → Event UPIEC Source #
type Rep PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep PVBUMP = D1 ('MetaData "PVBUMP" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM PVBUMP = Identity
type Environment PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment PVBUMP = (Slot, [(Slot, (ProtVer, PParams))], BlockCount)
type Event PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event PVBUMP = Void
type PredicateFailure PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure PVBUMP = PvbumpPredicateFailure
type Signal PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal PVBUMP = ()
type State PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type State PVBUMP = (ProtVer, PParams)

data UpiendPredicateFailure Source #

Constructors

UPENDFailure (PredicateFailure UPEND)

Instances

Instances details

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

data UPIEND Source #

Instances

Instances details

Data UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIEND → c UPIEND # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPIEND # toConstr ∷ UPIEND → Constr # dataTypeOf ∷ UPIEND → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIEND) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIEND) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPIEND → UPIEND # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPIEND → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPIEND → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPIEND → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPIEND → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEND → m UPIEND # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEND → m UPIEND # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEND → m UPIEND #
Generic UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPIEND ∷ Type → Type # Methods from ∷ UPIEND → Rep UPIEND x # to ∷ Rep UPIEND x → UPIEND #
STS UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPIEND Source # type Signal UPIEND Source # type Environment UPIEND Source # type BaseM UPIEND ∷ Type → Type Source # type Event UPIEND Source # type PredicateFailure UPIEND Source # Methods initialRules ∷ [InitialRule UPIEND] Source # transitionRules ∷ [TransitionRule UPIEND] Source # assertions ∷ [Assertion UPIEND] Source # renderAssertionViolation ∷ AssertionViolation UPIEND → String Source #
Embed UPEND UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPEND → PredicateFailure UPIEND Source # wrapEvent ∷ Event UPEND → Event UPIEND Source #
type Rep UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIEND = D1 ('MetaData "UPIEND" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIEND = Identity
type Environment UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIEND = UPIEnv
type Event UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIEND = Void
type PredicateFailure UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIEND = UpiendPredicateFailure
type Signal UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIEND = (ProtVer, VKey)
type State UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPIEND = UPIState

data UpivotesPredicateFailure Source #

Constructors

ApplyVotesFailure (PredicateFailure APPLYVOTES)

Instances

Instances details

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

data UPIVOTES Source #

Instances

Instances details

Data UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIVOTES → c UPIVOTES # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPIVOTES # toConstr ∷ UPIVOTES → Constr # dataTypeOf ∷ UPIVOTES → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIVOTES) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIVOTES) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPIVOTES → UPIVOTES # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPIVOTES → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPIVOTES → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPIVOTES → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPIVOTES → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTES → m UPIVOTES # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTES → m UPIVOTES # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTES → m UPIVOTES #
Generic UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPIVOTES ∷ Type → Type # Methods from ∷ UPIVOTES → Rep UPIVOTES x # to ∷ Rep UPIVOTES x → UPIVOTES #
STS UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPIVOTES Source # type Signal UPIVOTES Source # type Environment UPIVOTES Source # type BaseM UPIVOTES ∷ Type → Type Source # type Event UPIVOTES Source # type PredicateFailure UPIVOTES Source # Methods initialRules ∷ [InitialRule UPIVOTES] Source # transitionRules ∷ [TransitionRule UPIVOTES] Source # assertions ∷ [Assertion UPIVOTES] Source # renderAssertionViolation ∷ AssertionViolation UPIVOTES → String Source #
HasTrace UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type BaseEnv UPIVOTES Source # Methods interpretSTS ∷ BaseEnv UPIVOTES → BaseM UPIVOTES a → a Source # envGen ∷ Word64 → Gen (Environment UPIVOTES) Source # sigGen ∷ SignalGenerator UPIVOTES Source # trace ∷ BaseEnv UPIVOTES → Word64 → Gen (Trace UPIVOTES) Source # traceWithProfile ∷ BaseEnv UPIVOTES → Word64 → TraceProfile UPIVOTES → Gen (Trace UPIVOTES) Source # traceOfLength ∷ BaseEnv UPIVOTES → Word64 → Gen (Trace UPIVOTES) Source # traceOfLengthWithInitState ∷ BaseEnv UPIVOTES → Word64 → (Environment UPIVOTES → Gen (State UPIVOTES)) → Gen (Trace UPIVOTES) Source #
Embed APPLYVOTES UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure APPLYVOTES → PredicateFailure UPIVOTES Source # wrapEvent ∷ Event APPLYVOTES → Event UPIVOTES Source #
type Rep UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIVOTES = D1 ('MetaData "UPIVOTES" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIVOTES = Identity
type Environment UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIVOTES = UPIEnv
type Event UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIVOTES = Void
type PredicateFailure UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIVOTES = UpivotesPredicateFailure
type Signal UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIVOTES = [Vote]
type State UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPIVOTES = UPIState
type BaseEnv UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseEnv UPIVOTES = ()

data ApplyVotesPredicateFailure Source #

Constructors

UpivoteFailure (PredicateFailure UPIVOTE)

Instances

Instances details

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

data APPLYVOTES Source #

Instances

Instances details

Data APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → APPLYVOTES → c APPLYVOTES # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c APPLYVOTES # toConstr ∷ APPLYVOTES → Constr # dataTypeOf ∷ APPLYVOTES → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c APPLYVOTES) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c APPLYVOTES) # gmapT ∷ (∀ b. Data b ⇒ b → b) → APPLYVOTES → APPLYVOTES # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → APPLYVOTES → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → APPLYVOTES → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → APPLYVOTES → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → APPLYVOTES → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → APPLYVOTES → m APPLYVOTES # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → APPLYVOTES → m APPLYVOTES # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → APPLYVOTES → m APPLYVOTES #
Generic APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep APPLYVOTES ∷ Type → Type # Methods from ∷ APPLYVOTES → Rep APPLYVOTES x # to ∷ Rep APPLYVOTES x → APPLYVOTES #
STS APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State APPLYVOTES Source # type Signal APPLYVOTES Source # type Environment APPLYVOTES Source # type BaseM APPLYVOTES ∷ Type → Type Source # type Event APPLYVOTES Source # type PredicateFailure APPLYVOTES Source # Methods initialRules ∷ [InitialRule APPLYVOTES] Source # transitionRules ∷ [TransitionRule APPLYVOTES] Source # assertions ∷ [Assertion APPLYVOTES] Source # renderAssertionViolation ∷ AssertionViolation APPLYVOTES → String Source #
Embed APPLYVOTES UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure APPLYVOTES → PredicateFailure UPIVOTES Source # wrapEvent ∷ Event APPLYVOTES → Event UPIVOTES Source #
Embed UPIVOTE APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPIVOTE → PredicateFailure APPLYVOTES Source # wrapEvent ∷ Event UPIVOTE → Event APPLYVOTES Source #
type Rep APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep APPLYVOTES = D1 ('MetaData "APPLYVOTES" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM APPLYVOTES = Identity
type Environment APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment APPLYVOTES = UPIEnv
type Event APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event APPLYVOTES = Void
type PredicateFailure APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure APPLYVOTES = ApplyVotesPredicateFailure
type Signal APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal APPLYVOTES = [Vote]
type State APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type State APPLYVOTES = UPIState

data UpivotePredicateFailure Source #

Constructors

UPVOTEFailure (PredicateFailure UPVOTE)

Instances

Instances details

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

data UPIVOTE Source #

Instances

Instances details

Data UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIVOTE → c UPIVOTE # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPIVOTE # toConstr ∷ UPIVOTE → Constr # dataTypeOf ∷ UPIVOTE → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIVOTE) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIVOTE) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPIVOTE → UPIVOTE # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPIVOTE → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPIVOTE → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPIVOTE → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPIVOTE → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTE → m UPIVOTE # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTE → m UPIVOTE # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTE → m UPIVOTE #
Generic UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPIVOTE ∷ Type → Type # Methods from ∷ UPIVOTE → Rep UPIVOTE x # to ∷ Rep UPIVOTE x → UPIVOTE #
STS UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPIVOTE Source # type Signal UPIVOTE Source # type Environment UPIVOTE Source # type BaseM UPIVOTE ∷ Type → Type Source # type Event UPIVOTE Source # type PredicateFailure UPIVOTE Source # Methods initialRules ∷ [InitialRule UPIVOTE] Source # transitionRules ∷ [TransitionRule UPIVOTE] Source # assertions ∷ [Assertion UPIVOTE] Source # renderAssertionViolation ∷ AssertionViolation UPIVOTE → String Source #
Embed UPIVOTE APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPIVOTE → PredicateFailure APPLYVOTES Source # wrapEvent ∷ Event UPIVOTE → Event APPLYVOTES Source #
Embed UPVOTE UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPVOTE → PredicateFailure UPIVOTE Source # wrapEvent ∷ Event UPVOTE → Event UPIVOTE Source #
type Rep UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIVOTE = D1 ('MetaData "UPIVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIVOTE = Identity
type Environment UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIVOTE = UPIEnv
type Event UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIVOTE = Void
type PredicateFailure UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIVOTE = UpivotePredicateFailure
type Signal UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIVOTE = Vote
type State UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPIVOTE = UPIState

data UpiregPredicateFailure Source #

Constructors

UPREGFailure (PredicateFailure UPREG)

Instances

Instances details

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

data UPIREG Source #

Instances

Instances details

Data UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIREG → c UPIREG # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UPIREG # toConstr ∷ UPIREG → Constr # dataTypeOf ∷ UPIREG → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIREG) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIREG) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UPIREG → UPIREG # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UPIREG → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UPIREG → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UPIREG → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UPIREG → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIREG → m UPIREG # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIREG → m UPIREG # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIREG → m UPIREG #
Generic UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type Rep UPIREG ∷ Type → Type # Methods from ∷ UPIREG → Rep UPIREG x # to ∷ Rep UPIREG x → UPIREG #
STS UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type State UPIREG Source # type Signal UPIREG Source # type Environment UPIREG Source # type BaseM UPIREG ∷ Type → Type Source # type Event UPIREG Source # type PredicateFailure UPIREG Source # Methods initialRules ∷ [InitialRule UPIREG] Source # transitionRules ∷ [TransitionRule UPIREG] Source # assertions ∷ [Assertion UPIREG] Source # renderAssertionViolation ∷ AssertionViolation UPIREG → String Source #
HasTrace UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Associated Types type BaseEnv UPIREG Source # Methods interpretSTS ∷ BaseEnv UPIREG → BaseM UPIREG a → a Source # envGen ∷ Word64 → Gen (Environment UPIREG) Source # sigGen ∷ SignalGenerator UPIREG Source # trace ∷ BaseEnv UPIREG → Word64 → Gen (Trace UPIREG) Source # traceWithProfile ∷ BaseEnv UPIREG → Word64 → TraceProfile UPIREG → Gen (Trace UPIREG) Source # traceOfLength ∷ BaseEnv UPIREG → Word64 → Gen (Trace UPIREG) Source # traceOfLengthWithInitState ∷ BaseEnv UPIREG → Word64 → (Environment UPIREG → Gen (State UPIREG)) → Gen (Trace UPIREG) Source #
Embed UPREG UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update Methods wrapFailed ∷ PredicateFailure UPREG → PredicateFailure UPIREG Source # wrapEvent ∷ Event UPREG → Event UPIREG Source #
type Rep UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIREG = D1 ('MetaData "UPIREG" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1 ∷ Type → Type)
type BaseM UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIREG = Identity
type Environment UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIREG = UPIEnv
type Event UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIREG = Void
type PredicateFailure UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIREG = UpiregPredicateFailure
type Signal UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIREG = UProp
type State UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type State UPIREG = UPIState
type BaseEnv UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type BaseEnv UPIREG = ()

type UPIState = ((ProtVer, PParams), [(Slot, (ProtVer, PParams))], Map ApName (ApVer, Slot, Metadata), Map UpId (ProtVer, PParams), Map UpId (ApName, ApVer, Metadata), Map UpId Slot, Set (UpId, VKeyGenesis), Set (ProtVer, VKeyGenesis), Map UpId Slot) Source #

The update interface state is shared amongst various rules, so we define it as an alias here.

type UPIEnv = (Slot, Bimap VKeyGenesis VKey, BlockCount, Word8) Source #

The update interface environment is shared amongst various rules, so we define it as an alias here.

data UpendPredicateFailure