type Rep Metadata
Instance details Defined in Byron.Spec.Ledger.Update type Rep Metadata = D1 ('MetaData "Metadata" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'False) (U1 ∷ 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 #

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.1.0.1-inplace" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'False) (U1 ∷ Type → Type))

data Vote Source #

Constructors

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

Instances

Instances details

HasTypeReps Vote Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ Vote → Seq TypeRep Source #

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep Vote = D1 ('MetaData "Vote" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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)))))

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 #

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.1.0.1-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)))))

delegationMap ∷ UPIEnv → Bimap VKeyGenesis VKey Source #

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

HasTypeReps PParams Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ PParams → Seq TypeRep Source #

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

Instance details

Defined in Byron.Spec.Ledger.Update

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 #

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

newtype FactorA Source #

Constructors

FactorA Int

Instances

Instances details

HasTypeReps FactorA Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ FactorA → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep FactorA = D1 ('MetaData "FactorA" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "FactorA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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 #

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.1.0.1-inplace" 'True) (C1 ('MetaCons "FactorA" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype FactorB Source #

Constructors

FactorB Int

Instances

Instances details

HasTypeReps FactorB Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ FactorB → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep FactorB = D1 ('MetaData "FactorB" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "FactorB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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 #

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.1.0.1-inplace" 'True) (C1 ('MetaCons "FactorB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype BkSgnCntT Source #

Constructors

BkSgnCntT Double

Instances

Instances details

HasTypeReps BkSgnCntT Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ BkSgnCntT → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep BkSgnCntT = D1 ('MetaData "BkSgnCntT" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "BkSgnCntT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

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 #

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

HasTypeReps UpAdptThd Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ UpAdptThd → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpAdptThd = D1 ('MetaData "UpAdptThd" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "UpAdptThd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

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 #

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.1.0.1-inplace" 'True) (C1 ('MetaCons "UpAdptThd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype UpId Source #

Constructors

UpId Int

Instances

Instances details

HasTypeReps UpId Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ UpId → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpId = D1 ('MetaData "UpId" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "UpId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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 #

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.1.0.1-inplace" 'True) (C1 ('MetaCons "UpId" '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

HasTypeReps ProtVer Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ ProtVer → Seq TypeRep Source #

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ProtVer = D1 ('MetaData "ProtVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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))))

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 #

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.1.0.1-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 ApName Source #

Constructors

ApName String

Instances

Instances details

HasTypeReps ApName Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ ApName → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep ApName = D1 ('MetaData "ApName" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "ApName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

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 #

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.1.0.1-inplace" 'True) (C1 ('MetaCons "ApName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype ApVer Source #

Application version

Constructors

ApVer Natural

Instances

Instances details

HasTypeReps ApVer Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ ApVer → Seq TypeRep Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep ApVer = D1 ('MetaData "ApVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'True) (C1 ('MetaCons "ApVer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

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 #

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.1.0.1-inplace" 'True) (C1 ('MetaCons "ApVer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

data SwVer Source #

Constructors

SwVer
Fields _svName ∷ ApName _svVer ∷ ApVer

Instances

Instances details

HasTypeReps SwVer Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ SwVer → Seq TypeRep Source #

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep SwVer = D1 ('MetaData "SwVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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)))

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 #

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.1.0.1-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)))

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

Part of the update proposal which must be signed

type STag = String Source #

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

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

HasTypeReps UProp Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ UProp → Seq TypeRep Source #

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

Instance details

Defined in Byron.Spec.Ledger.Update

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 #

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

upSigData ∷ Lens' UProp UpSD Source #

upPV ∷ Lens' UProp ProtVer Source #

upParams ∷ Lens' UProp PParams Source #

upSwVer ∷ Lens' UProp SwVer Source #

upSTags ∷ Lens' UProp (Set STag) Source #

upMdt ∷ Lens' UProp Metadata 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')]

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

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

Instance details

Defined in Byron.Spec.Ledger.Update

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

maxBkSz ∷ Lens' PParams Natural Source #

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

maxTxSz ∷ Lens' PParams Natural Source #

scriptVersion ∷ Lens' PParams Natural Source #

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

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPPVV = D1 ('MetaData "UPPVV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPPVV = Map UpId (ProtVer, PParams)
type Signal UPPVV
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPPVV = UProp
type Environment UPPVV
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPPVV = (ProtVer, PParams)
type BaseM UPPVV
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPPVV = Identity
type Event UPPVV
Instance details Defined in Byron.Spec.Ledger.Update type Event UPPVV = Void
type PredicateFailure UPPVV
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPPVV = UppvvPredicateFailure

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UppvvPredicateFailure = D1 ('MetaData "UppvvPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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)))

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.1.0.1-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)))

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

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPSVV = D1 ('MetaData "UPSVV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPSVV = Map UpId (ApName, ApVer, Metadata)
type Signal UPSVV
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPSVV = UProp
type Environment UPSVV
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPSVV = Map ApName (ApVer, Slot, Metadata)
type BaseM UPSVV
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPSVV = Identity
type Event UPSVV
Instance details Defined in Byron.Spec.Ledger.Update type Event UPSVV = Void
type PredicateFailure UPSVV
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPSVV = UpsvvPredicateFailure

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpsvvPredicateFailure = D1 ('MetaData "UpsvvPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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)))

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.1.0.1-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)))

upId ∷ Lens' UProp UpId Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPV = D1 ('MetaData "UPV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPV = (Map UpId (ProtVer, PParams), Map UpId (ApName, ApVer, Metadata))
type Signal UPV
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPV = UProp
type Environment UPV
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPV = (ProtVer, PParams, Map ApName (ApVer, Slot, Metadata))
type BaseM UPV
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPV = Identity
type Event UPV
Instance details Defined in Byron.Spec.Ledger.Update type Event UPV = Void
type PredicateFailure UPV
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPV = UpvPredicateFailure

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpvPredicateFailure = D1 ('MetaData "UpvPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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))))

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPREG = D1 ('MetaData "UPREG" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPREG = (Map UpId (ProtVer, PParams), Map UpId (ApName, ApVer, Metadata))
type Signal UPREG
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPREG = UProp
type Environment UPREG
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPREG = (ProtVer, PParams, Map ApName (ApVer, Slot, Metadata), Bimap VKeyGenesis VKey)
type BaseM UPREG
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPREG = Identity
type Event UPREG
Instance details Defined in Byron.Spec.Ledger.Update type Event UPREG = Void
type PredicateFailure UPREG
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPREG = UpregPredicateFailure

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

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpregPredicateFailure = D1 ('MetaData "UpregPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-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)))

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.1.0.1-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)))

upIssuer ∷ Lens' UProp VKey Source #

upSig ∷ Lens' UProp (Sig UpSD) Source #

mkVote ∷ VKey → UpId → Vote Source #

data ADDVOTE Source #

Instances

Instances details

Data ADDVOTE 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) → ADDVOTE → c ADDVOTE #

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

toConstr ∷ ADDVOTE → Constr #

dataTypeOf ∷ ADDVOTE → DataType #

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

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

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

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

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

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

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

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

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

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

Generic ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Rep ADDVOTE = D1 ('MetaData "ADDVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ ADDVOTE → Rep ADDVOTE x #

to ∷ Rep ADDVOTE x → ADDVOTE #

STS ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type State ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type State ADDVOTE = Set (UpId, VKeyGenesis)
type Signal ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Signal ADDVOTE = Vote
type Environment ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Environment ADDVOTE = (Set UpId, Bimap VKeyGenesis VKey)
type BaseM ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type BaseM ADDVOTE = Identity
type Event ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Event ADDVOTE = Void
type PredicateFailure ADDVOTE
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure ADDVOTE = AddvotePredicateFailure

Methods

initialRules ∷ [InitialRule ADDVOTE] Source #

transitionRules ∷ [TransitionRule ADDVOTE] Source #

assertions ∷ [Assertion ADDVOTE] Source #

renderAssertionViolation ∷ AssertionViolation ADDVOTE → String Source #

Embed ADDVOTE UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

wrapFailed ∷ PredicateFailure ADDVOTE → PredicateFailure UPVOTE Source #

wrapEvent ∷ Event ADDVOTE → Event UPVOTE Source #

type Rep ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ADDVOTE = D1 ('MetaData "ADDVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

type BaseM ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type BaseM ADDVOTE = Identity

type Environment ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Environment ADDVOTE = (Set UpId, Bimap VKeyGenesis VKey)

type Event ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Event ADDVOTE = Void

type PredicateFailure ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure ADDVOTE = AddvotePredicateFailure

type Signal ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Signal ADDVOTE = Vote

type State ADDVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type State ADDVOTE = Set (UpId, VKeyGenesis)

data AddvotePredicateFailure Source #

These PredicateFailures are all throwable.

Constructors

AVSigDoesNotVerify
NoUpdateProposal UpId
VoteByNonGenesisDelegate VKey
RepeatVoteByGenesisDelegate VKey

Instances

Instances details

Data AddvotePredicateFailure 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) → AddvotePredicateFailure → c AddvotePredicateFailure #

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

toConstr ∷ AddvotePredicateFailure → Constr #

dataTypeOf ∷ AddvotePredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Generic AddvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep AddvotePredicateFailure

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep AddvotePredicateFailure = D1 ('MetaData "AddvotePredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) ((C1 ('MetaCons "AVSigDoesNotVerify" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NoUpdateProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId))) :+: (C1 ('MetaCons "VoteByNonGenesisDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :+: C1 ('MetaCons "RepeatVoteByGenesisDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey))))

Methods

from ∷ AddvotePredicateFailure → Rep AddvotePredicateFailure x #

to ∷ Rep AddvotePredicateFailure x → AddvotePredicateFailure #

Show AddvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrec ∷ Int → AddvotePredicateFailure → ShowS #

show ∷ AddvotePredicateFailure → String #

showList ∷ [AddvotePredicateFailure] → ShowS #

Eq AddvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==) ∷ AddvotePredicateFailure → AddvotePredicateFailure → Bool #

(/=) ∷ AddvotePredicateFailure → AddvotePredicateFailure → Bool #

NoThunks AddvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

noThunks ∷ Context → AddvotePredicateFailure → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AddvotePredicateFailure → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy AddvotePredicateFailure → String Source #

type Rep AddvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep AddvotePredicateFailure = D1 ('MetaData "AddvotePredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) ((C1 ('MetaCons "AVSigDoesNotVerify" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NoUpdateProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId))) :+: (C1 ('MetaCons "VoteByNonGenesisDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :+: C1 ('MetaCons "RepeatVoteByGenesisDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey))))

vPropId ∷ Lens' Vote UpId Source #

vCaster ∷ Lens' Vote VKey Source #

vSig ∷ Lens' Vote (Sig UpId) Source #

data UPVOTE Source #

Instances

Instances details

Data UPVOTE 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) → UPVOTE → c UPVOTE #

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

toConstr ∷ UPVOTE → Constr #

dataTypeOf ∷ UPVOTE → DataType #

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

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

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

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

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

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

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

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

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

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

Generic UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPVOTE = D1 ('MetaData "UPVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ UPVOTE → Rep UPVOTE x #

to ∷ Rep UPVOTE x → UPVOTE #

STS UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type State UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type State UPVOTE = (Map UpId Slot, Set (UpId, VKeyGenesis))
type Signal UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPVOTE = Vote
type Environment UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPVOTE = (Slot, Word8, Set UpId, Bimap VKeyGenesis VKey)
type BaseM UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPVOTE = Identity
type Event UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Event UPVOTE = Void
type PredicateFailure UPVOTE
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPVOTE = UpvotePredicateFailure

Methods

initialRules ∷ [InitialRule UPVOTE] Source #

transitionRules ∷ [TransitionRule UPVOTE] Source #

assertions ∷ [Assertion UPVOTE] Source #

renderAssertionViolation ∷ AssertionViolation UPVOTE → String Source #

Embed ADDVOTE UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

wrapFailed ∷ PredicateFailure ADDVOTE → PredicateFailure UPVOTE Source #

wrapEvent ∷ Event ADDVOTE → Event UPVOTE 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 UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPVOTE = D1 ('MetaData "UPVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

type BaseM UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type BaseM UPVOTE = Identity

type Environment UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPVOTE = (Slot, Word8, Set UpId, Bimap VKeyGenesis VKey)

type Event UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPVOTE = Void

type PredicateFailure UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPVOTE = UpvotePredicateFailure

type Signal UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPVOTE = Vote

type State UPVOTE Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type State UPVOTE = (Map UpId Slot, Set (UpId, VKeyGenesis))

data UpvotePredicateFailure Source #

The 3 non-embedded PredicateFailures here are all structural. The disjuntion of the preconditions is True - one rule either fires or the other does.

Constructors

ADDVOTEFailure (PredicateFailure ADDVOTE)
S_HigherThanThdAndNotAlreadyConfirmed
S_CfmThdNotReached
S_AlreadyConfirmed

Instances

Instances details

Data UpvotePredicateFailure 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) → UpvotePredicateFailure → c UpvotePredicateFailure #

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

toConstr ∷ UpvotePredicateFailure → Constr #

dataTypeOf ∷ UpvotePredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Generic UpvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpvotePredicateFailure

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpvotePredicateFailure = D1 ('MetaData "UpvotePredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) ((C1 ('MetaCons "ADDVOTEFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADDVOTE))) :+: C1 ('MetaCons "S_HigherThanThdAndNotAlreadyConfirmed" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "S_CfmThdNotReached" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "S_AlreadyConfirmed" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

from ∷ UpvotePredicateFailure → Rep UpvotePredicateFailure x #

to ∷ Rep UpvotePredicateFailure x → UpvotePredicateFailure #

Show UpvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrec ∷ Int → UpvotePredicateFailure → ShowS #

show ∷ UpvotePredicateFailure → String #

showList ∷ [UpvotePredicateFailure] → ShowS #

Eq UpvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==) ∷ UpvotePredicateFailure → UpvotePredicateFailure → Bool #

(/=) ∷ UpvotePredicateFailure → UpvotePredicateFailure → Bool #

NoThunks UpvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

noThunks ∷ Context → UpvotePredicateFailure → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UpvotePredicateFailure → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy UpvotePredicateFailure → String Source #

type Rep UpvotePredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpvotePredicateFailure = D1 ('MetaData "UpvotePredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) ((C1 ('MetaCons "ADDVOTEFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure ADDVOTE))) :+: C1 ('MetaCons "S_HigherThanThdAndNotAlreadyConfirmed" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "S_CfmThdNotReached" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "S_AlreadyConfirmed" 'PrefixI 'False) (U1 ∷ Type → Type)))

data FADS Source #

Instances

Instances details

Data FADS 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) → FADS → c FADS #

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

toConstr ∷ FADS → Constr #

dataTypeOf ∷ FADS → DataType #

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

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

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

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

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

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

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

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

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

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

Generic FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep FADS
Instance details Defined in Byron.Spec.Ledger.Update type Rep FADS = D1 ('MetaData "FADS" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ FADS → Rep FADS x #

to ∷ Rep FADS x → FADS #

STS FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type State FADS
Instance details Defined in Byron.Spec.Ledger.Update type State FADS = [(Slot, (ProtVer, PParams))]
type Signal FADS
Instance details Defined in Byron.Spec.Ledger.Update type Signal FADS = (Slot, (ProtVer, PParams))
type Environment FADS
Instance details Defined in Byron.Spec.Ledger.Update type Environment FADS = ()
type BaseM FADS
Instance details Defined in Byron.Spec.Ledger.Update type BaseM FADS = Identity
type Event FADS
Instance details Defined in Byron.Spec.Ledger.Update type Event FADS = Void
type PredicateFailure FADS
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure FADS = FadsPredicateFailure

Methods

initialRules ∷ [InitialRule FADS] Source #

transitionRules ∷ [TransitionRule FADS] Source #

assertions ∷ [Assertion FADS] Source #

renderAssertionViolation ∷ AssertionViolation FADS → String Source #

Embed FADS UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

wrapFailed ∷ PredicateFailure FADS → PredicateFailure UPEND Source #

wrapEvent ∷ Event FADS → Event UPEND Source #

type Rep FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep FADS = D1 ('MetaData "FADS" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

type BaseM FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type BaseM FADS = Identity

type Environment FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Environment FADS = ()

type Event FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Event FADS = Void

type PredicateFailure FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure FADS = FadsPredicateFailure

type Signal FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Signal FADS = (Slot, (ProtVer, PParams))

type State FADS Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type State FADS = [(Slot, (ProtVer, PParams))]

data FadsPredicateFailure Source #

Instances

Instances details

Data FadsPredicateFailure 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) → FadsPredicateFailure → c FadsPredicateFailure #

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

toConstr ∷ FadsPredicateFailure → Constr #

dataTypeOf ∷ FadsPredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Generic FadsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep FadsPredicateFailure
Instance details Defined in Byron.Spec.Ledger.Update type Rep FadsPredicateFailure = D1 ('MetaData "FadsPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ FadsPredicateFailure → Rep FadsPredicateFailure x #

to ∷ Rep FadsPredicateFailure x → FadsPredicateFailure #

Show FadsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrec ∷ Int → FadsPredicateFailure → ShowS #

show ∷ FadsPredicateFailure → String #

showList ∷ [FadsPredicateFailure] → ShowS #

Eq FadsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==) ∷ FadsPredicateFailure → FadsPredicateFailure → Bool #

(/=) ∷ FadsPredicateFailure → FadsPredicateFailure → Bool #

type Rep FadsPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep FadsPredicateFailure = D1 ('MetaData "FadsPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

data UPEND Source #

Instances

Instances details

Data UPEND 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) → UPEND → c UPEND #

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

toConstr ∷ UPEND → Constr #

dataTypeOf ∷ UPEND → DataType #

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

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

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

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

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

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

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

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

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

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

Generic UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPEND
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPEND = D1 ('MetaData "UPEND" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

Methods

from ∷ UPEND → Rep UPEND x #

to ∷ Rep UPEND x → UPEND #

STS UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type State UPEND
Instance details Defined in Byron.Spec.Ledger.Update type State UPEND = ([(Slot, (ProtVer, PParams))], Set (ProtVer, VKeyGenesis))
type Signal UPEND
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPEND = (ProtVer, VKey)
type Environment UPEND
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPEND = (Slot, Natural, Bimap VKeyGenesis VKey, Map UpId Slot, Map UpId (ProtVer, PParams), BlockCount)
type BaseM UPEND
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPEND = Identity
type Event UPEND
Instance details Defined in Byron.Spec.Ledger.Update type Event UPEND = Void
type PredicateFailure UPEND
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPEND = UpendPredicateFailure

Methods

initialRules ∷ [InitialRule UPEND] Source #

transitionRules ∷ [TransitionRule UPEND] Source #

assertions ∷ [Assertion UPEND] Source #

renderAssertionViolation ∷ AssertionViolation UPEND → String Source #

Embed FADS UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

wrapFailed ∷ PredicateFailure FADS → PredicateFailure UPEND Source #

wrapEvent ∷ Event FADS → Event UPEND 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 UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPEND = D1 ('MetaData "UPEND" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ Type → Type)

type BaseM UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type BaseM UPEND = Identity

type Environment UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPEND = (Slot, Natural, Bimap VKeyGenesis VKey, Map UpId Slot, Map UpId (ProtVer, PParams), BlockCount)

type Event UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPEND = Void

type PredicateFailure UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPEND = UpendPredicateFailure

type Signal UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPEND = (ProtVer, VKey)

type State UPEND Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type State UPEND = ([(Slot, (ProtVer, PParams))], Set (ProtVer, VKeyGenesis))

findKey ∷ (v → Bool) → Map k v → Maybe (k, v) Source #

Find the key that corresponds to the value satisfying the given predicate. In case zero or more than one key is found this function returns Nothing.

data UpendPredicateFailure Source #

S_TryNextRule is a structural PredicateFailure, used to fail from one transition rule to the other. The other PredicateFailures are all throwable.

Constructors

ProtVerUnknown ProtVer
S_TryNextRule
CanAdopt ProtVer
CannotAdopt ProtVer
NotADelegate VKey
UnconfirmedProposal UpId

Instances

Instances details

Data UpendPredicateFailure 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) → UpendPredicateFailure → c UpendPredicateFailure #

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

toConstr ∷ UpendPredicateFailure → Constr #

dataTypeOf ∷ UpendPredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Generic UpendPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpendPredicateFailure

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpendPredicateFailure = D1 ('MetaData "UpendPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) ((C1 ('MetaCons "ProtVerUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer)) :+: (C1 ('MetaCons "S_TryNextRule" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CanAdopt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer)))) :+: (C1 ('MetaCons "CannotAdopt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer)) :+: (C1 ('MetaCons "NotADelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :+: C1 ('MetaCons "UnconfirmedProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId)))))

Methods

from ∷ UpendPredicateFailure → Rep UpendPredicateFailure x #

to ∷ Rep UpendPredicateFailure x → UpendPredicateFailure #

Show UpendPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrec ∷ Int → UpendPredicateFailure → ShowS #

show ∷ UpendPredicateFailure → String #

showList ∷ [UpendPredicateFailure] → ShowS #

Eq UpendPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==) ∷ UpendPredicateFailure → UpendPredicateFailure → Bool #

(/=) ∷ UpendPredicateFailure → UpendPredicateFailure → Bool #

NoThunks UpendPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

Methods

noThunks ∷ Context → UpendPredicateFailure → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → UpendPredicateFailure → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy UpendPredicateFailure → String Source #

type Rep UpendPredicateFailure Source #

Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpendPredicateFailure = D1 ('MetaData "UpendPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) ((C1 ('MetaCons "ProtVerUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer)) :+: (C1 ('MetaCons "S_TryNextRule" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CanAdopt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer)))) :+: (C1 ('MetaCons "CannotAdopt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer)) :+: (C1 ('MetaCons "NotADelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :+: C1 ('MetaCons "UnconfirmedProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId)))))

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.

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.

fstUPIState ∷ UPIState → (ProtVer, PParams) Source #

sndUPIState ∷ UPIState → [(Slot, (ProtVer, PParams))] Source #

trdUPIState ∷ UPIState → Map ApName (ApVer, Slot, Metadata) Source #

emptyUPIState ∷ UPIState Source #

initialPParams ∷ PParams Source #

protocolVersion ∷ UPIState → ProtVer Source #

protocolParameters ∷ UPIState → PParams Source #

applicationVersions ∷ UPIState → Map ApName (ApVer, Slot, Metadata) Source #

confirmedProposals ∷ UPIState → Map UpId Slot Source #

futureAdoptions ∷ UPIState → [(Slot, (ProtVer, PParams))] Source #

endorsements ∷ UPIState → Set (ProtVer, VKeyGenesis) Source #

registeredProtocolUpdateProposals ∷ UPIState → Map UpId (ProtVer, PParams) Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIREG = D1 ('MetaData "UPIREG" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPIREG = UPIState
type Signal UPIREG
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIREG = UProp
type Environment UPIREG
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIREG = UPIEnv
type BaseM UPIREG
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIREG = Identity
type Event UPIREG
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIREG = Void
type PredicateFailure UPIREG
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIREG = UpiregPredicateFailure

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

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.1.0.1-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 = ()

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpiregPredicateFailure = D1 ('MetaData "UpiregPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "UPREGFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPREG))))

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.1.0.1-inplace" 'False) (C1 ('MetaCons "UPREGFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPREG))))

upiEnvGen ∷ Gen UPIEnv Source #

ppsUpdateFrom ∷ PParams → Gen PParams Source #

Generate a protocol parameter update from a given set of current protocol-parameters, ensuring the consistency of the new protocol parameters w.r.t. the current ones, according to the canUpdate predicate in the formal specification.

TODO: we can move this into a Generator's module, but first we need to disentangle the dependencies. Moving this to Byron.Spec.Ledger.Update.Generators will cause a circular dependency. I think the rules need to be moved into their own modules.

dmapGen ∷ Word8 → Gen (Bimap VKeyGenesis VKey) Source #

increasingProbabilityAt ∷ Gen a → (a, a) → Gen a Source #

Generate values the given distribution in 90% of the cases, and values at the bounds of the range in 10% of the cases.

This can be used to generate enough extreme values. The exponential and linear distributions provided by hedgehog will generate a small percentage of these (0-1%).

randomUpId ∷ Gen UpId Source #

Generate a random update proposal id, by picking a large number so that the probability of having an update proposal with that id is nearly zero.

reSign ∷ UProp → UProp Source #

Update the signature of the update proposal.

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIVOTE = D1 ('MetaData "UPIVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPIVOTE = UPIState
type Signal UPIVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIVOTE = Vote
type Environment UPIVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIVOTE = UPIEnv
type BaseM UPIVOTE
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIVOTE = Identity
type Event UPIVOTE
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIVOTE = Void
type PredicateFailure UPIVOTE
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIVOTE = UpivotePredicateFailure

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpivotePredicateFailure = D1 ('MetaData "UpivotePredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "UPVOTEFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPVOTE))))

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.1.0.1-inplace" 'False) (C1 ('MetaCons "UPVOTEFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPVOTE))))

upAdptThd ∷ Lens' PParams UpAdptThd Source #

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep APPLYVOTES = D1 ('MetaData "APPLYVOTES" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State APPLYVOTES = UPIState
type Signal APPLYVOTES
Instance details Defined in Byron.Spec.Ledger.Update type Signal APPLYVOTES = [Vote]
type Environment APPLYVOTES
Instance details Defined in Byron.Spec.Ledger.Update type Environment APPLYVOTES = UPIEnv
type BaseM APPLYVOTES
Instance details Defined in Byron.Spec.Ledger.Update type BaseM APPLYVOTES = Identity
type Event APPLYVOTES
Instance details Defined in Byron.Spec.Ledger.Update type Event APPLYVOTES = Void
type PredicateFailure APPLYVOTES
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure APPLYVOTES = ApplyVotesPredicateFailure

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep ApplyVotesPredicateFailure = D1 ('MetaData "ApplyVotesPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "UpivoteFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPIVOTE))))

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.1.0.1-inplace" 'False) (C1 ('MetaCons "UpivoteFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPIVOTE))))

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIVOTES = D1 ('MetaData "UPIVOTES" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPIVOTES = UPIState
type Signal UPIVOTES
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIVOTES = [Vote]
type Environment UPIVOTES
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIVOTES = UPIEnv
type BaseM UPIVOTES
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIVOTES = Identity
type Event UPIVOTES
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIVOTES = Void
type PredicateFailure UPIVOTES
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIVOTES = UpivotesPredicateFailure

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

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpivotesPredicateFailure = D1 ('MetaData "UpivotesPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "ApplyVotesFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure APPLYVOTES))))

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.1.0.1-inplace" 'False) (C1 ('MetaCons "ApplyVotesFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure APPLYVOTES))))

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIEND = D1 ('MetaData "UPIEND" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPIEND = UPIState
type Signal UPIEND
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIEND = (ProtVer, VKey)
type Environment UPIEND
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIEND = UPIEnv
type BaseM UPIEND
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIEND = Identity
type Event UPIEND
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIEND = Void
type PredicateFailure UPIEND
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIEND = UpiendPredicateFailure

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpiendPredicateFailure = D1 ('MetaData "UpiendPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "UPENDFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPEND))))

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.1.0.1-inplace" 'False) (C1 ('MetaCons "UPENDFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPEND))))

upTtl ∷ Lens' PParams SlotCount Source #

pickHighlyEndorsedProtocolVersion Source #

Arguments

∷ [(ProtVer, Set VKeyGenesis)]	Current set of endorsements
→ Gen (Maybe ProtVer)

Given a list of protocol versions and keys endorsing those versions, generate a protocol-version endorsement, or Nothing if the list of endorsements is empty. The version to be endorsed will be selected from those versions that have the most endorsements.

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep PVBUMP = D1 ('MetaData "PVBUMP" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State PVBUMP = (ProtVer, PParams)
type Signal PVBUMP
Instance details Defined in Byron.Spec.Ledger.Update type Signal PVBUMP = ()
type Environment PVBUMP
Instance details Defined in Byron.Spec.Ledger.Update type Environment PVBUMP = (Slot, [(Slot, (ProtVer, PParams))], BlockCount)
type BaseM PVBUMP
Instance details Defined in Byron.Spec.Ledger.Update type BaseM PVBUMP = Identity
type Event PVBUMP
Instance details Defined in Byron.Spec.Ledger.Update type Event PVBUMP = Void
type PredicateFailure PVBUMP
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure PVBUMP = PvbumpPredicateFailure

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep PvbumpPredicateFailure = D1 ('MetaData "PvbumpPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "NoPVBUMPFailure" 'PrefixI 'False) (U1 ∷ 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.1.0.1-inplace" 'False) (C1 ('MetaCons "NoPVBUMPFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UPIEC = D1 ('MetaData "UPIEC" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (V1 ∷ 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
Instance details Defined in Byron.Spec.Ledger.Update type State UPIEC = UPIState
type Signal UPIEC
Instance details Defined in Byron.Spec.Ledger.Update type Signal UPIEC = ()
type Environment UPIEC
Instance details Defined in Byron.Spec.Ledger.Update type Environment UPIEC = (Epoch, BlockCount)
type BaseM UPIEC
Instance details Defined in Byron.Spec.Ledger.Update type BaseM UPIEC = Identity
type Event UPIEC
Instance details Defined in Byron.Spec.Ledger.Update type Event UPIEC = Void
type PredicateFailure UPIEC
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIEC = UpiecPredicateFailure

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.1.0.1-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 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
Instance details Defined in Byron.Spec.Ledger.Update type Rep UpiecPredicateFailure = D1 ('MetaData "UpiecPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.1.0.1-inplace" 'False) (C1 ('MetaCons "PVBUMPFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure PVBUMP))))

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.1.0.1-inplace" 'False) (C1 ('MetaCons "PVBUMPFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure PVBUMP))))

updateProposalAndVotesGen ∷ UPIEnv → UPIState → Gen (Maybe UProp, [Vote]) Source #

Generate an optional update-proposal and a list of votes, given an update environment and state.

The update proposal and votes need to be generated at the same time, since this allow us to generate update votes for update proposals issued in the same block as the votes.

protocolVersionEndorsementGen ∷ UPIEnv → UPIState → Gen ProtVer Source #

Generate an endorsement given an update environment and state.

bkSgnCntT ∷ Lens' PParams BkSgnCntT Source #

bkSlotsPerEpoch ∷ Lens' PParams SlotCount Source #

factorA ∷ Lens' PParams FactorA Source #

factorB ∷ Lens' PParams FactorB Source #

maxHdrSz ∷ Lens' PParams Natural Source #

maxPropSz ∷ Lens' PParams Natural Source #

pvAlt ∷ Lens' ProtVer Natural Source #

pvMaj ∷ Lens' ProtVer Natural Source #

pvMin ∷ Lens' ProtVer Natural Source #

svName ∷ Lens' SwVer ApName Source #

svVer ∷ Lens' SwVer ApVer Source #

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_.

Structural PredicateFailures represent conditions between rules where the disjunction of all rules' preconditions is equal to True. That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details

type PredicateFailure ADELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEG = AdelegPredicateFailure
type PredicateFailure ADELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure ADELEGS = AdelegsPredicateFailure
type PredicateFailure DELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure DELEG = DelegPredicateFailure
type PredicateFailure SDELEG Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEG = SdelegPredicateFailure
type PredicateFailure SDELEGS Source #
Instance details Defined in Byron.Spec.Ledger.Delegation type PredicateFailure SDELEGS = SdelegsPredicateFailure
type PredicateFailure UTXO Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXO type PredicateFailure UTXO = UtxoPredicateFailure
type PredicateFailure UTXOW Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOW type PredicateFailure UTXOW = UtxowPredicateFailure
type PredicateFailure UTXOWS Source #
Instance details Defined in Byron.Spec.Ledger.STS.UTXOWS type PredicateFailure UTXOWS = UtxowsPredicateFailure
type PredicateFailure ADDVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure ADDVOTE = AddvotePredicateFailure
type PredicateFailure APPLYVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure APPLYVOTES = ApplyVotesPredicateFailure
type PredicateFailure FADS Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure FADS = FadsPredicateFailure
type PredicateFailure PVBUMP Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure PVBUMP = PvbumpPredicateFailure
type PredicateFailure UPEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPEND = UpendPredicateFailure
type PredicateFailure UPIEC Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIEC = UpiecPredicateFailure
type PredicateFailure UPIEND Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIEND = UpiendPredicateFailure
type PredicateFailure UPIREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIREG = UpiregPredicateFailure
type PredicateFailure UPIVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIVOTE = UpivotePredicateFailure
type PredicateFailure UPIVOTES Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPIVOTES = UpivotesPredicateFailure
type PredicateFailure UPPVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPPVV = UppvvPredicateFailure
type PredicateFailure UPREG Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPREG = UpregPredicateFailure
type PredicateFailure UPSVV Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPSVV = UpsvvPredicateFailure
type PredicateFailure UPV Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPV = UpvPredicateFailure
type PredicateFailure UPVOTE Source #
Instance details Defined in Byron.Spec.Ledger.Update type PredicateFailure UPVOTE = UpvotePredicateFailure
type PredicateFailure (STUB e st si f m)
Instance details Defined in Control.State.Transition.Extended type PredicateFailure (STUB e st si f m) = f

Orphan instances

Field1 (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a' Source #
Instance details Methods _1 ∷ Lens (a, b, c, d, e, f, g, h, i) (a', b, c, d, e, f, g, h, i) a a' Source #
Field2 (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b' Source #
Instance details Methods _2 ∷ Lens (a, b, c, d, e, f, g, h, i) (a, b', c, d, e, f, g, h, i) b b' Source #
Field3 (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c' Source #
Instance details Methods _3 ∷ Lens (a, b, c, d, e, f, g, h, i) (a, b, c', d, e, f, g, h, i) c c' Source #