byron-spec-ledger-1.0.1.0: Executable specification of Cardano ledger
Safe HaskellSafe-Inferred
LanguageHaskell2010

Byron.Spec.Ledger.Update

Synopsis

Documentation

data PParams Source #

Protocol parameters.

Constructors

PParams 

Fields

Instances

Instances details
Data PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → PParams → c PParams #

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

toConstrPParams → Constr #

dataTypeOfPParamsDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PParams) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PParams) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → PParams → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → PParams → m PParams #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PParams → m PParams #

gmapMoMonadPlus 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 PParamsTypeType #

Methods

fromPParamsRep PParams x #

toRep PParams x → PParams #

Show PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntPParamsShowS #

showPParamsString #

showList ∷ [PParams] → ShowS #

HasTypeReps PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsPParamsSeq TypeRep Source #

Eq PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)PParamsPParamsBool #

(/=)PParamsPParamsBool #

Ord PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

comparePParamsPParamsOrdering #

(<)PParamsPParamsBool #

(<=)PParamsPParamsBool #

(>)PParamsPParamsBool #

(>=)PParamsPParamsBool #

maxPParamsPParamsPParams #

minPParamsPParamsPParams #

Hashable PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntPParamsInt Source #

hashPParamsInt Source #

NoThunks PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #

type Rep PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep PParams = D1 ('MetaData "PParams" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "PParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_maxBkSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_maxHdrSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)) :*: (S1 ('MetaSel ('Just "_maxTxSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_maxPropSz") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_bkSgnCntT") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BkSgnCntT)))) :*: ((S1 ('MetaSel ('Just "_bkSlotsPerEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotCount) :*: (S1 ('MetaSel ('Just "_upTtl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotCount) :*: S1 ('MetaSel ('Just "_scriptVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) :*: (S1 ('MetaSel ('Just "_upAdptThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpAdptThd) :*: (S1 ('MetaSel ('Just "_factorA") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FactorA) :*: S1 ('MetaSel ('Just "_factorB") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FactorB))))))

newtype BkSgnCntT Source #

Constructors

BkSgnCntT Double 

Instances

Instances details
Data BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BkSgnCntT → c BkSgnCntT #

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

toConstrBkSgnCntT → Constr #

dataTypeOfBkSgnCntTDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BkSgnCntT) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BkSgnCntT) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → BkSgnCntT → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → BkSgnCntT → m BkSgnCntT #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BkSgnCntT → m BkSgnCntT #

gmapMoMonadPlus 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 BkSgnCntTTypeType #

Methods

fromBkSgnCntTRep BkSgnCntT x #

toRep BkSgnCntT x → BkSgnCntT #

Num BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Fractional BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Show BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntBkSgnCntTShowS #

showBkSgnCntTString #

showList ∷ [BkSgnCntT] → ShowS #

HasTypeReps BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsBkSgnCntTSeq TypeRep Source #

Eq BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)BkSgnCntTBkSgnCntTBool #

(/=)BkSgnCntTBkSgnCntTBool #

Ord BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Hashable BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep BkSgnCntT = D1 ('MetaData "BkSgnCntT" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "BkSgnCntT" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype UpAdptThd Source #

Constructors

UpAdptThd Double 

Instances

Instances details
Data UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UpAdptThd → c UpAdptThd #

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

toConstrUpAdptThd → Constr #

dataTypeOfUpAdptThdDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpAdptThd) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpAdptThd) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpAdptThd → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpAdptThd → m UpAdptThd #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpAdptThd → m UpAdptThd #

gmapMoMonadPlus 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 UpAdptThdTypeType #

Methods

fromUpAdptThdRep UpAdptThd x #

toRep UpAdptThd x → UpAdptThd #

Num UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Fractional UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Real UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

RealFrac UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

properFractionIntegral b ⇒ UpAdptThd → (b, UpAdptThd) #

truncateIntegral b ⇒ UpAdptThd → b #

roundIntegral b ⇒ UpAdptThd → b #

ceilingIntegral b ⇒ UpAdptThd → b #

floorIntegral b ⇒ UpAdptThd → b #

Show UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntUpAdptThdShowS #

showUpAdptThdString #

showList ∷ [UpAdptThd] → ShowS #

HasTypeReps UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsUpAdptThdSeq TypeRep Source #

Eq UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)UpAdptThdUpAdptThdBool #

(/=)UpAdptThdUpAdptThdBool #

Ord UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Hashable UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpAdptThd = D1 ('MetaData "UpAdptThd" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "UpAdptThd" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype FactorB Source #

Constructors

FactorB Int 

Instances

Instances details
Data FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → FactorB → c FactorB #

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

toConstrFactorB → Constr #

dataTypeOfFactorBDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c FactorB) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c FactorB) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → FactorB → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → FactorB → m FactorB #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorB → m FactorB #

gmapMoMonadPlus 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 FactorBTypeType #

Methods

fromFactorBRep FactorB x #

toRep FactorB x → FactorB #

Show FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntFactorBShowS #

showFactorBString #

showList ∷ [FactorB] → ShowS #

HasTypeReps FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsFactorBSeq TypeRep Source #

Eq FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)FactorBFactorBBool #

(/=)FactorBFactorBBool #

Ord FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareFactorBFactorBOrdering #

(<)FactorBFactorBBool #

(<=)FactorBFactorBBool #

(>)FactorBFactorBBool #

(>=)FactorBFactorBBool #

maxFactorBFactorBFactorB #

minFactorBFactorBFactorB #

Hashable FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntFactorBInt Source #

hashFactorBInt Source #

NoThunks FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep FactorB = D1 ('MetaData "FactorB" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "FactorB" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype FactorA Source #

Constructors

FactorA Int 

Instances

Instances details
Data FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → FactorA → c FactorA #

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

toConstrFactorA → Constr #

dataTypeOfFactorADataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c FactorA) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c FactorA) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → FactorA → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → FactorA → m FactorA #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorA → m FactorA #

gmapMoMonadPlus 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 FactorATypeType #

Methods

fromFactorARep FactorA x #

toRep FactorA x → FactorA #

Show FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntFactorAShowS #

showFactorAString #

showList ∷ [FactorA] → ShowS #

HasTypeReps FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsFactorASeq TypeRep Source #

Eq FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)FactorAFactorABool #

(/=)FactorAFactorABool #

Ord FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareFactorAFactorAOrdering #

(<)FactorAFactorABool #

(<=)FactorAFactorABool #

(>)FactorAFactorABool #

(>=)FactorAFactorABool #

maxFactorAFactorAFactorA #

minFactorAFactorAFactorA #

Hashable FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntFactorAInt Source #

hashFactorAInt Source #

NoThunks FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep FactorA = D1 ('MetaData "FactorA" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "FactorA" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data ProtVer Source #

Protocol version

Constructors

ProtVer 

Fields

Instances

Instances details
Data ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ProtVer → c ProtVer #

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

toConstrProtVer → Constr #

dataTypeOfProtVerDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ProtVer) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ProtVer) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ProtVer → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ProtVer → m ProtVer #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ProtVer → m ProtVer #

gmapMoMonadPlus 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 ProtVerTypeType #

Methods

fromProtVerRep ProtVer x #

toRep ProtVer x → ProtVer #

Show ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntProtVerShowS #

showProtVerString #

showList ∷ [ProtVer] → ShowS #

HasTypeReps ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsProtVerSeq TypeRep Source #

Eq ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)ProtVerProtVerBool #

(/=)ProtVerProtVerBool #

Ord ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareProtVerProtVerOrdering #

(<)ProtVerProtVerBool #

(<=)ProtVerProtVerBool #

(>)ProtVerProtVerBool #

(>=)ProtVerProtVerBool #

maxProtVerProtVerProtVer #

minProtVerProtVerProtVer #

Hashable ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntProtVerInt Source #

hashProtVerInt Source #

NoThunks ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #

type Rep ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ProtVer = D1 ('MetaData "ProtVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pvMaj") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_pvMin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_pvAlt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural))))

newtype UpId Source #

Constructors

UpId Int 

Instances

Instances details
Data UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UpId → c UpId #

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

toConstrUpId → Constr #

dataTypeOfUpIdDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpId) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpId) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpId → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpId → m UpId #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpId → m UpId #

gmapMoMonadPlus 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 UpIdTypeType #

Methods

fromUpIdRep UpId x #

toRep UpId x → UpId #

Show UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntUpIdShowS #

showUpIdString #

showList ∷ [UpId] → ShowS #

HasTypeReps UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsUpIdSeq TypeRep Source #

Eq UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)UpIdUpIdBool #

(/=)UpIdUpIdBool #

Ord UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareUpIdUpIdOrdering #

(<)UpIdUpIdBool #

(<=)UpIdUpIdBool #

(>)UpIdUpIdBool #

(>=)UpIdUpIdBool #

maxUpIdUpIdUpId #

minUpIdUpIdUpId #

Hashable UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntUpIdInt Source #

hashUpIdInt Source #

NoThunks UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpId = D1 ('MetaData "UpId" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "UpId" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data SwVer Source #

Constructors

SwVer 

Fields

Instances

Instances details
Data SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SwVer → c SwVer #

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

toConstrSwVer → Constr #

dataTypeOfSwVerDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SwVer) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SwVer) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → SwVer → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → SwVer → m SwVer #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SwVer → m SwVer #

gmapMoMonadPlus 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 SwVerTypeType #

Methods

fromSwVerRep SwVer x #

toRep SwVer x → SwVer #

Show SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntSwVerShowS #

showSwVerString #

showList ∷ [SwVer] → ShowS #

HasTypeReps SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsSwVerSeq TypeRep Source #

Eq SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)SwVerSwVerBool #

(/=)SwVerSwVerBool #

Hashable SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntSwVerInt Source #

hashSwVerInt Source #

NoThunks SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #

type Rep SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep SwVer = D1 ('MetaData "SwVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "SwVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "_svName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ApName) :*: S1 ('MetaSel ('Just "_svVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ApVer)))

newtype ApVer Source #

Application version

Constructors

ApVer Natural 

Instances

Instances details
Data ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ApVer → c ApVer #

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

toConstrApVer → Constr #

dataTypeOfApVerDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApVer) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApVer) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ApVer → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ApVer → m ApVer #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApVer → m ApVer #

gmapMoMonadPlus 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 ApVerTypeType #

Methods

fromApVerRep ApVer x #

toRep ApVer x → ApVer #

Num ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(+)ApVerApVerApVer #

(-)ApVerApVerApVer #

(*)ApVerApVerApVer #

negateApVerApVer #

absApVerApVer #

signumApVerApVer #

fromIntegerIntegerApVer #

Show ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntApVerShowS #

showApVerString #

showList ∷ [ApVer] → ShowS #

HasTypeReps ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsApVerSeq TypeRep Source #

Eq ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)ApVerApVerBool #

(/=)ApVerApVerBool #

Ord ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareApVerApVerOrdering #

(<)ApVerApVerBool #

(<=)ApVerApVerBool #

(>)ApVerApVerBool #

(>=)ApVerApVerBool #

maxApVerApVerApVer #

minApVerApVerApVer #

Hashable ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntApVerInt Source #

hashApVerInt Source #

NoThunks ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ApVer = D1 ('MetaData "ApVer" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "ApVer" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural)))

newtype ApName Source #

Constructors

ApName String 

Instances

Instances details
Data ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ApName → c ApName #

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

toConstrApName → Constr #

dataTypeOfApNameDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApName) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApName) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ApName → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ApName → m ApName #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApName → m ApName #

gmapMoMonadPlus 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 ApNameTypeType #

Methods

fromApNameRep ApName x #

toRep ApName x → ApName #

Show ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntApNameShowS #

showApNameString #

showList ∷ [ApName] → ShowS #

HasTypeReps ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsApNameSeq TypeRep Source #

Eq ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)ApNameApNameBool #

(/=)ApNameApNameBool #

Ord ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareApNameApNameOrdering #

(<)ApNameApNameBool #

(<=)ApNameApNameBool #

(>)ApNameApNameBool #

(>=)ApNameApNameBool #

maxApNameApNameApName #

minApNameApNameApName #

Hashable ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntApNameInt Source #

hashApNameInt Source #

NoThunks ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ApName = D1 ('MetaData "ApName" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "ApName" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data UProp Source #

Update proposal

Constructors

UProp 

Fields

Instances

Instances details
Data UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UProp → c UProp #

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

toConstrUProp → Constr #

dataTypeOfUPropDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UProp) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UProp) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UProp → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UProp → m UProp #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UProp → m UProp #

gmapMoMonadPlus 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 UPropTypeType #

Methods

fromUPropRep UProp x #

toRep UProp x → UProp #

Show UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntUPropShowS #

showUPropString #

showList ∷ [UProp] → ShowS #

HasTypeReps UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsUPropSeq TypeRep Source #

Eq UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)UPropUPropBool #

(/=)UPropUPropBool #

Hashable UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntUPropInt Source #

hashUPropInt Source #

NoThunks UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasHash (Maybe UProp, [Vote]) Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hash ∷ (Maybe UProp, [Vote]) → Hash Source #

type Rep UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UProp = D1 ('MetaData "UProp" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UProp" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_upId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId) :*: S1 ('MetaSel ('Just "_upIssuer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey)) :*: (S1 ('MetaSel ('Just "_upParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PParams) :*: S1 ('MetaSel ('Just "_upPV") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtVer))) :*: ((S1 ('MetaSel ('Just "_upSwVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 SwVer) :*: S1 ('MetaSel ('Just "_upSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig UpSD))) :*: (S1 ('MetaSel ('Just "_upSTags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set STag)) :*: S1 ('MetaSel ('Just "_upMdt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Metadata)))))

data Metadata Source #

For now we do not have any requirements on metadata.

Constructors

Metadata 

Instances

Instances details
Data Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Metadata → c Metadata #

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

toConstrMetadata → Constr #

dataTypeOfMetadataDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Metadata) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Metadata) #

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

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

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

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

gmapQiInt → (∀ d. Data d ⇒ d → u) → Metadata → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Metadata → m Metadata #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Metadata → m Metadata #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Metadata → m Metadata #

Generic Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep MetadataTypeType #

Methods

fromMetadataRep Metadata x #

toRep Metadata x → Metadata #

Show Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntMetadataShowS #

showMetadataString #

showList ∷ [Metadata] → ShowS #

HasTypeReps Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsMetadataSeq TypeRep Source #

Eq Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)MetadataMetadataBool #

(/=)MetadataMetadataBool #

Ord Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Hashable Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps (ProtVer, PParams, SwVer, Set STag, Metadata) Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeReps ∷ (ProtVer, PParams, SwVer, Set STag, Metadata) → Seq TypeRep Source #

type Rep Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep Metadata = D1 ('MetaData "Metadata" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Metadata" 'PrefixI 'False) (U1TypeType))

type STag = String Source #

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

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

Part of the update proposal which must be signed

data Vote Source #

Constructors

Vote 

Fields

Instances

Instances details
Data Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Vote → c Vote #

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

toConstrVote → Constr #

dataTypeOfVoteDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Vote) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Vote) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Vote → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Vote → m Vote #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Vote → m Vote #

gmapMoMonadPlus 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 VoteTypeType #

Methods

fromVoteRep Vote x #

toRep Vote x → Vote #

Show Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntVoteShowS #

showVoteString #

showList ∷ [Vote] → ShowS #

HasTypeReps Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

typeRepsVoteSeq TypeRep Source #

Eq Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)VoteVoteBool #

(/=)VoteVoteBool #

Hashable Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hashWithSaltIntVoteInt Source #

hashVoteInt Source #

NoThunks Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasHash (Maybe UProp, [Vote]) Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

hash ∷ (Maybe UProp, [Vote]) → Hash Source #

type Rep Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep Vote = D1 ('MetaData "Vote" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Vote" 'PrefixI 'True) (S1 ('MetaSel ('Just "_vCaster") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: (S1 ('MetaSel ('Just "_vPropId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UpId) :*: S1 ('MetaSel ('Just "_vSig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig UpId)))))

data UpregPredicateFailure Source #

These PredicateFailures are all throwable.

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 #

toConstrUpregPredicateFailure → Constr #

dataTypeOfUpregPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpregPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpregPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpregPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpregPredicateFailure → m UpregPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpregPredicateFailure → m UpregPredicateFailure #

gmapMoMonadPlus 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 UpregPredicateFailureTypeType #

Show UpregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpregPredicateFailure = D1 ('MetaData "UpregPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UPVFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPV))) :+: (C1 ('MetaCons "NotGenesisDelegate" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DoesNotVerify" 'PrefixI 'False) (U1TypeType)))

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 #

toConstrUPREG → Constr #

dataTypeOfUPREGDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPREG) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPREG) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPREG → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPREG → m UPREG #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPREG → m UPREG #

gmapMoMonadPlus 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 UPREGTypeType #

Methods

fromUPREGRep UPREG x #

toRep UPREG x → UPREG #

STS UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPREG UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPV UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPREG = D1 ('MetaData "UPREG" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UpvPredicateFailure Source #

These PredicateFailures are all throwable.

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 #

toConstrUpvPredicateFailure → Constr #

dataTypeOfUpvPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpvPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpvPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpvPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpvPredicateFailure → m UpvPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpvPredicateFailure → m UpvPredicateFailure #

gmapMoMonadPlus 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 UpvPredicateFailureTypeType #

Show UpvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpvPredicateFailure = D1 ('MetaData "UpvPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) ((C1 ('MetaCons "UPPVVFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPPVV))) :+: C1 ('MetaCons "UPSVVFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPSVV)))) :+: (C1 ('MetaCons "AVChangedInPVUpdate" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ApName) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ApVer) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (ApVer, Slot, Metadata))))) :+: (C1 ('MetaCons "ParamsChangedInSVUpdate" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "PVChangedInSVUpdate" 'PrefixI 'False) (U1TypeType))))

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 #

toConstrUPV → Constr #

dataTypeOfUPVDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPV) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPV) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPV → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPV → m UPV #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPV → m UPV #

gmapMoMonadPlus 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 UPVTypeType #

Methods

fromUPVRep UPV x #

toRep UPV x → UPV #

STS UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPPVV UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPSVV UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPV UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPV = D1 ('MetaData "UPV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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 Signal UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UppvvPredicateFailure Source #

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

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 #

toConstrUppvvPredicateFailure → Constr #

dataTypeOfUppvvPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UppvvPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UppvvPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UppvvPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UppvvPredicateFailure → m UppvvPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UppvvPredicateFailure → m UppvvPredicateFailure #

gmapMoMonadPlus 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 UppvvPredicateFailureTypeType #

Show UppvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UppvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UppvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UppvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UppvvPredicateFailure = D1 ('MetaData "UppvvPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "CannotFollowPv" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "CannotUpdatePv" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [UpdateConstraintViolation])) :+: C1 ('MetaCons "AlreadyProposedPv" 'PrefixI 'False) (U1TypeType)))

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 #

toConstrUPPVV → Constr #

dataTypeOfUPPVVDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPPVV) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPPVV) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPPVV → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPPVV → m UPPVV #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPPVV → m UPPVV #

gmapMoMonadPlus 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 UPPVVTypeType #

Methods

fromUPPVVRep UPPVV x #

toRep UPPVV x → UPPVV #

STS UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPPVV UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPPVV = D1 ('MetaData "UPPVV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UpsvvPredicateFailure Source #

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

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 #

toConstrUpsvvPredicateFailure → Constr #

dataTypeOfUpsvvPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpsvvPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpsvvPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpsvvPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpsvvPredicateFailure → m UpsvvPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpsvvPredicateFailure → m UpsvvPredicateFailure #

gmapMoMonadPlus 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 UpsvvPredicateFailureTypeType #

Show UpsvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpsvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpsvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpsvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpsvvPredicateFailure = D1 ('MetaData "UpsvvPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) ((C1 ('MetaCons "AlreadyProposedSv" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CannotFollowSv" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "InvalidApplicationName" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "InvalidSystemTags" 'PrefixI 'False) (U1TypeType)))

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 #

toConstrUPSVV → Constr #

dataTypeOfUPSVVDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPSVV) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPSVV) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPSVV → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPSVV → m UPSVV #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPSVV → m UPSVV #

gmapMoMonadPlus 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 UPSVVTypeType #

Methods

fromUPSVVRep UPSVV x #

toRep UPSVV x → UPSVV #

STS UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPSVV UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPSVV = D1 ('MetaData "UPSVV" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UpdateConstraintViolation Source #

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

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 #

toConstrUpdateConstraintViolation → Constr #

dataTypeOfUpdateConstraintViolationDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpdateConstraintViolation) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpdateConstraintViolation) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpdateConstraintViolation → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpdateConstraintViolation → m UpdateConstraintViolation #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpdateConstraintViolation → m UpdateConstraintViolation #

gmapMoMonadPlus 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 UpdateConstraintViolationTypeType #

Show UpdateConstraintViolation Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpdateConstraintViolation Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Ord UpdateConstraintViolation Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpdateConstraintViolation Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpdateConstraintViolation Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpdateConstraintViolation = D1 ('MetaData "UpdateConstraintViolation" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) ((C1 ('MetaCons "BlockSizeTooLarge" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Threshold Natural))) :+: C1 ('MetaCons "TransactionSizeTooLarge" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Threshold Natural)))) :+: (C1 ('MetaCons "ScriptVersionTooLarge" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Threshold Natural))) :+: C1 ('MetaCons "ScriptVersionTooSmall" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Threshold Natural)))))

mkUPropUpIdVKeyProtVerPParamsSwVerSet STagMetadataUProp 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")]

invertBijectionOrd 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')]

(==>)BoolBoolBool infix 1 Source #

pvCanFollow Source #

Arguments

ProtVer

Next protocol version

ProtVer

Previous protocol version

Bool 

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

checkUpdateConstraintsPParamsUProp → [UpdateConstraintViolation] Source #

Check whether an update proposal marks a valid update

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

orErrorMaybe (a, b) → (a → b → e) → Maybe e Source #

canUpdatePParamsUPropRule UPPVV ctx () Source #

data UpiecPredicateFailure Source #

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 #

toConstrUpiecPredicateFailure → Constr #

dataTypeOfUpiecPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpiecPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpiecPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpiecPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpiecPredicateFailure → m UpiecPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpiecPredicateFailure → m UpiecPredicateFailure #

gmapMoMonadPlus 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 UpiecPredicateFailureTypeType #

Show UpiecPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpiecPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpiecPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpiecPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpiecPredicateFailure = D1 ('MetaData "UpiecPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "PVBUMPFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure PVBUMP))))

data UPIEC Source #

Instances

Instances details
Data UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIEC → c UPIEC #

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

toConstrUPIEC → Constr #

dataTypeOfUPIECDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIEC) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIEC) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPIEC → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEC → m UPIEC #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEC → m UPIEC #

gmapMoMonadPlus 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 UPIECTypeType #

Methods

fromUPIECRep UPIEC x #

toRep UPIEC x → UPIEC #

STS UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed PVBUMP UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIEC = D1 ('MetaData "UPIEC" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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 #

toConstrPvbumpPredicateFailure → Constr #

dataTypeOfPvbumpPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PvbumpPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PvbumpPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → PvbumpPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → PvbumpPredicateFailure → m PvbumpPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PvbumpPredicateFailure → m PvbumpPredicateFailure #

gmapMoMonadPlus 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 PvbumpPredicateFailureTypeType #

Show PvbumpPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq PvbumpPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks PvbumpPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep PvbumpPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep PvbumpPredicateFailure = D1 ('MetaData "PvbumpPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "NoPVBUMPFailure" 'PrefixI 'False) (U1TypeType))

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 #

toConstrPVBUMP → Constr #

dataTypeOfPVBUMPDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PVBUMP) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PVBUMP) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → PVBUMP → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → PVBUMP → m PVBUMP #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PVBUMP → m PVBUMP #

gmapMoMonadPlus 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 PVBUMPTypeType #

Methods

fromPVBUMPRep PVBUMP x #

toRep PVBUMP x → PVBUMP #

STS PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed PVBUMP UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep PVBUMP = D1 ('MetaData "PVBUMP" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

data UpiendPredicateFailure Source #

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 #

toConstrUpiendPredicateFailure → Constr #

dataTypeOfUpiendPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpiendPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpiendPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpiendPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpiendPredicateFailure → m UpiendPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpiendPredicateFailure → m UpiendPredicateFailure #

gmapMoMonadPlus 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 UpiendPredicateFailureTypeType #

Show UpiendPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpiendPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpiendPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpiendPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpiendPredicateFailure = D1 ('MetaData "UpiendPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UPENDFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPEND))))

data UPIEND Source #

Instances

Instances details
Data UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIEND → c UPIEND #

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

toConstrUPIEND → Constr #

dataTypeOfUPIENDDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIEND) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIEND) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPIEND → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEND → m UPIEND #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEND → m UPIEND #

gmapMoMonadPlus 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 UPIENDTypeType #

Methods

fromUPIENDRep UPIEND x #

toRep UPIEND x → UPIEND #

STS UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPEND UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIEND = D1 ('MetaData "UPIEND" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UpivotesPredicateFailure Source #

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 #

toConstrUpivotesPredicateFailure → Constr #

dataTypeOfUpivotesPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpivotesPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpivotesPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpivotesPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpivotesPredicateFailure → m UpivotesPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpivotesPredicateFailure → m UpivotesPredicateFailure #

gmapMoMonadPlus 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 UpivotesPredicateFailureTypeType #

Show UpivotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpivotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpivotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpivotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpivotesPredicateFailure = D1 ('MetaData "UpivotesPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "ApplyVotesFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure APPLYVOTES))))

data UPIVOTES Source #

Instances

Instances details
Data UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIVOTES → c UPIVOTES #

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

toConstrUPIVOTES → Constr #

dataTypeOfUPIVOTESDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIVOTES) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIVOTES) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPIVOTES → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTES → m UPIVOTES #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTES → m UPIVOTES #

gmapMoMonadPlus 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 UPIVOTESTypeType #

Methods

fromUPIVOTESRep UPIVOTES x #

toRep UPIVOTES x → UPIVOTES #

STS UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTrace UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type BaseEnv UPIVOTES Source #

Embed APPLYVOTES UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIVOTES = D1 ('MetaData "UPIVOTES" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type BaseEnv UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type BaseEnv UPIVOTES = ()

data ApplyVotesPredicateFailure Source #

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 #

toConstrApplyVotesPredicateFailure → Constr #

dataTypeOfApplyVotesPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApplyVotesPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApplyVotesPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ApplyVotesPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ApplyVotesPredicateFailure → m ApplyVotesPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplyVotesPredicateFailure → m ApplyVotesPredicateFailure #

gmapMoMonadPlus 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 ApplyVotesPredicateFailureTypeType #

Show ApplyVotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq ApplyVotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks ApplyVotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ApplyVotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep ApplyVotesPredicateFailure = D1 ('MetaData "ApplyVotesPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UpivoteFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPIVOTE))))

data APPLYVOTES Source #

Instances

Instances details
Data APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → APPLYVOTES → c APPLYVOTES #

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

toConstrAPPLYVOTES → Constr #

dataTypeOfAPPLYVOTESDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c APPLYVOTES) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c APPLYVOTES) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → APPLYVOTES → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → APPLYVOTES → m APPLYVOTES #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → APPLYVOTES → m APPLYVOTES #

gmapMoMonadPlus 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 APPLYVOTESTypeType #

STS APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed APPLYVOTES UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPIVOTE APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep APPLYVOTES = D1 ('MetaData "APPLYVOTES" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UpivotePredicateFailure Source #

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 #

toConstrUpivotePredicateFailure → Constr #

dataTypeOfUpivotePredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpivotePredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpivotePredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpivotePredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpivotePredicateFailure → m UpivotePredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpivotePredicateFailure → m UpivotePredicateFailure #

gmapMoMonadPlus 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 UpivotePredicateFailureTypeType #

Show UpivotePredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpivotePredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpivotePredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpivotePredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpivotePredicateFailure = D1 ('MetaData "UpivotePredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UPVOTEFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPVOTE))))

data UPIVOTE Source #

Instances

Instances details
Data UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIVOTE → c UPIVOTE #

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

toConstrUPIVOTE → Constr #

dataTypeOfUPIVOTEDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIVOTE) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIVOTE) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPIVOTE → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTE → m UPIVOTE #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTE → m UPIVOTE #

gmapMoMonadPlus 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 UPIVOTETypeType #

Methods

fromUPIVOTERep UPIVOTE x #

toRep UPIVOTE x → UPIVOTE #

STS UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPIVOTE APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Embed UPVOTE UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIVOTE = D1 ('MetaData "UPIVOTE" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

data UpiregPredicateFailure Source #

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 #

toConstrUpiregPredicateFailure → Constr #

dataTypeOfUpiregPredicateFailureDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UpiregPredicateFailure) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UpiregPredicateFailure) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UpiregPredicateFailure → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UpiregPredicateFailure → m UpiregPredicateFailure #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpiregPredicateFailure → m UpiregPredicateFailure #

gmapMoMonadPlus 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 UpiregPredicateFailureTypeType #

Show UpiregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpiregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

NoThunks UpiregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpiregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UpiregPredicateFailure = D1 ('MetaData "UpiregPredicateFailure" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UPREGFailure" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (PredicateFailure UPREG))))

data UPIREG Source #

Instances

Instances details
Data UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UPIREG → c UPIREG #

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

toConstrUPIREG → Constr #

dataTypeOfUPIREGDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UPIREG) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UPIREG) #

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

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] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → UPIREG → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → UPIREG → m UPIREG #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIREG → m UPIREG #

gmapMoMonadPlus 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 UPIREGTypeType #

Methods

fromUPIREGRep UPIREG x #

toRep UPIREG x → UPIREG #

STS UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTrace UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type BaseEnv UPIREG Source #

Embed UPREG UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Rep UPIREG = D1 ('MetaData "UPIREG" "Byron.Spec.Ledger.Update" "byron-spec-ledger-1.0.1.0-inplace" 'False) (V1TypeType)
type BaseM UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Environment UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Event UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type PredicateFailure UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type Signal UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type State UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type BaseEnv UPIREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

type BaseEnv UPIREG = ()

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

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

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

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