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

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

toConstrPParamsConstr Source #

dataTypeOfPParamsDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PParams → m PParams Source #

Generic PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep PParamsTypeType Source #

Methods

fromPParamsRep PParams x Source #

toRep PParams x → PParams Source #

Show PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)PParamsPParamsBool Source #

(/=)PParamsPParamsBool Source #

Ord PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

type Rep PParams Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

toConstrBkSgnCntTConstr Source #

dataTypeOfBkSgnCntTDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BkSgnCntT → m BkSgnCntT Source #

Generic BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep BkSgnCntTTypeType Source #

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

HasTypeReps BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq BkSgnCntT Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

toConstrUpAdptThdConstr Source #

dataTypeOfUpAdptThdDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpAdptThd → m UpAdptThd Source #

Generic UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpAdptThdTypeType Source #

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

Show UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq UpAdptThd Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

toConstrFactorBConstr Source #

dataTypeOfFactorBDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorB → m FactorB Source #

Generic FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep FactorBTypeType Source #

Methods

fromFactorBRep FactorB x Source #

toRep FactorB x → FactorB Source #

Show FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)FactorBFactorBBool Source #

(/=)FactorBFactorBBool Source #

Ord FactorB Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

toConstrFactorAConstr Source #

dataTypeOfFactorADataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → FactorA → m FactorA Source #

Generic FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep FactorATypeType Source #

Methods

fromFactorARep FactorA x Source #

toRep FactorA x → FactorA Source #

Show FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)FactorAFactorABool Source #

(/=)FactorAFactorABool Source #

Ord FactorA Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

toConstrProtVerConstr Source #

dataTypeOfProtVerDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ProtVer → m ProtVer Source #

Generic ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep ProtVerTypeType Source #

Methods

fromProtVerRep ProtVer x Source #

toRep ProtVer x → ProtVer Source #

Show ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)ProtVerProtVerBool Source #

(/=)ProtVerProtVerBool Source #

Ord ProtVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

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

toConstrUpIdConstr Source #

dataTypeOfUpIdDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpId → m UpId Source #

Generic UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpIdTypeType Source #

Methods

fromUpIdRep UpId x Source #

toRep UpId x → UpId Source #

Show UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntUpIdShowS Source #

showUpIdString Source #

showList ∷ [UpId] → ShowS Source #

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

(/=)UpIdUpIdBool Source #

Ord UpId Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareUpIdUpIdOrdering Source #

(<)UpIdUpIdBool Source #

(<=)UpIdUpIdBool Source #

(>)UpIdUpIdBool Source #

(>=)UpIdUpIdBool Source #

maxUpIdUpIdUpId Source #

minUpIdUpIdUpId Source #

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

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

toConstrSwVerConstr Source #

dataTypeOfSwVerDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SwVer → m SwVer Source #

Generic SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep SwVerTypeType Source #

Methods

fromSwVerRep SwVer x Source #

toRep SwVer x → SwVer Source #

Show SwVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

(/=)SwVerSwVerBool Source #

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

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

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

toConstrApVerConstr Source #

dataTypeOfApVerDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApVer → m ApVer Source #

Generic ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep ApVerTypeType Source #

Methods

fromApVerRep ApVer x Source #

toRep ApVer x → ApVer Source #

Num ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Show ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

(/=)ApVerApVerBool Source #

Ord ApVer Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

compareApVerApVerOrdering Source #

(<)ApVerApVerBool Source #

(<=)ApVerApVerBool Source #

(>)ApVerApVerBool Source #

(>=)ApVerApVerBool Source #

maxApVerApVerApVer Source #

minApVerApVerApVer Source #

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

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

toConstrApNameConstr Source #

dataTypeOfApNameDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApName → m ApName Source #

Generic ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep ApNameTypeType Source #

Methods

fromApNameRep ApName x Source #

toRep ApName x → ApName Source #

Show ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

(==)ApNameApNameBool Source #

(/=)ApNameApNameBool Source #

Ord ApName Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

toConstrUPropConstr Source #

dataTypeOfUPropDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UProp → m UProp Source #

Generic UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPropTypeType Source #

Methods

fromUPropRep UProp x Source #

toRep UProp x → UProp Source #

Show UProp Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

(/=)UPropUPropBool Source #

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

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

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

toConstrMetadataConstr Source #

dataTypeOfMetadataDataType Source #

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

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

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

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

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

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

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

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

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

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

Generic Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep MetadataTypeType Source #

Show Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

HasTypeReps Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Eq Metadata Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

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

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

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

toConstrVoteConstr Source #

dataTypeOfVoteDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Vote → m Vote Source #

Generic Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep VoteTypeType Source #

Methods

fromVoteRep Vote x Source #

toRep Vote x → Vote Source #

Show Vote Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Methods

showsPrecIntVoteShowS Source #

showVoteString Source #

showList ∷ [Vote] → ShowS Source #

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

(/=)VoteVoteBool Source #

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

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

toConstrUpregPredicateFailureConstr Source #

dataTypeOfUpregPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpregPredicateFailure → m UpregPredicateFailure Source #

Generic UpregPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpregPredicateFailureTypeType Source #

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

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

toConstrUPREGConstr Source #

dataTypeOfUPREGDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPREG → m UPREG Source #

Generic UPREG Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPREGTypeType Source #

Methods

fromUPREGRep UPREG x Source #

toRep UPREG x → UPREG Source #

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

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

toConstrUpvPredicateFailureConstr Source #

dataTypeOfUpvPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpvPredicateFailure → m UpvPredicateFailure Source #

Generic UpvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpvPredicateFailureTypeType Source #

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

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

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

toConstrUPVConstr Source #

dataTypeOfUPVDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPV → m UPV Source #

Generic UPV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPVTypeType Source #

Methods

fromUPVRep UPV x Source #

toRep UPV x → UPV Source #

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

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

toConstrUppvvPredicateFailureConstr Source #

dataTypeOfUppvvPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UppvvPredicateFailure → m UppvvPredicateFailure Source #

Generic UppvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UppvvPredicateFailureTypeType Source #

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

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

toConstrUPPVVConstr Source #

dataTypeOfUPPVVDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPPVV → m UPPVV Source #

Generic UPPVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPPVVTypeType Source #

Methods

fromUPPVVRep UPPVV x Source #

toRep UPPVV x → UPPVV Source #

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

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

toConstrUpsvvPredicateFailureConstr Source #

dataTypeOfUpsvvPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpsvvPredicateFailure → m UpsvvPredicateFailure Source #

Generic UpsvvPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpsvvPredicateFailureTypeType Source #

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

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

toConstrUPSVVConstr Source #

dataTypeOfUPSVVDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPSVV → m UPSVV Source #

Generic UPSVV Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPSVVTypeType Source #

Methods

fromUPSVVRep UPSVV x Source #

toRep UPSVV x → UPSVV Source #

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

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

toConstrUpdateConstraintViolationConstr Source #

dataTypeOfUpdateConstraintViolationDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpdateConstraintViolation → m UpdateConstraintViolation Source #

Generic UpdateConstraintViolation Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpdateConstraintViolationTypeType Source #

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

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

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

toConstrUpiecPredicateFailureConstr Source #

dataTypeOfUpiecPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpiecPredicateFailure → m UpiecPredicateFailure Source #

Generic UpiecPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpiecPredicateFailureTypeType Source #

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

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

toConstrUPIECConstr Source #

dataTypeOfUPIECDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEC → m UPIEC Source #

Generic UPIEC Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPIECTypeType Source #

Methods

fromUPIECRep UPIEC x Source #

toRep UPIEC x → UPIEC Source #

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

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

toConstrPvbumpPredicateFailureConstr Source #

dataTypeOfPvbumpPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PvbumpPredicateFailure → m PvbumpPredicateFailure Source #

Generic PvbumpPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep PvbumpPredicateFailureTypeType Source #

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

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

toConstrPVBUMPConstr Source #

dataTypeOfPVBUMPDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PVBUMP → m PVBUMP Source #

Generic PVBUMP Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep PVBUMPTypeType Source #

Methods

fromPVBUMPRep PVBUMP x Source #

toRep PVBUMP x → PVBUMP Source #

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

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

toConstrUpiendPredicateFailureConstr Source #

dataTypeOfUpiendPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpiendPredicateFailure → m UpiendPredicateFailure Source #

Generic UpiendPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpiendPredicateFailureTypeType Source #

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

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

toConstrUPIENDConstr Source #

dataTypeOfUPIENDDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIEND → m UPIEND Source #

Generic UPIEND Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPIENDTypeType Source #

Methods

fromUPIENDRep UPIEND x Source #

toRep UPIEND x → UPIEND Source #

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

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

toConstrUpivotesPredicateFailureConstr Source #

dataTypeOfUpivotesPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpivotesPredicateFailure → m UpivotesPredicateFailure Source #

Generic UpivotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpivotesPredicateFailureTypeType Source #

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

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

toConstrUPIVOTESConstr Source #

dataTypeOfUPIVOTESDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTES → m UPIVOTES Source #

Generic UPIVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPIVOTESTypeType Source #

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

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

toConstrApplyVotesPredicateFailureConstr Source #

dataTypeOfApplyVotesPredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplyVotesPredicateFailure → m ApplyVotesPredicateFailure Source #

Generic ApplyVotesPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep ApplyVotesPredicateFailureTypeType Source #

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

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

toConstrAPPLYVOTESConstr Source #

dataTypeOfAPPLYVOTESDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → APPLYVOTES → m APPLYVOTES Source #

Generic APPLYVOTES Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep APPLYVOTESTypeType Source #

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

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

toConstrUpivotePredicateFailureConstr Source #

dataTypeOfUpivotePredicateFailureDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UpivotePredicateFailure → m UpivotePredicateFailure Source #

Generic UpivotePredicateFailure Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UpivotePredicateFailureTypeType Source #

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

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

toConstrUPIVOTEConstr Source #

dataTypeOfUPIVOTEDataType Source #

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

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

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

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

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

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

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

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

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

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UPIVOTE → m UPIVOTE Source #

Generic UPIVOTE Source # 
Instance details

Defined in Byron.Spec.Ledger.Update

Associated Types

type Rep UPIVOTETypeType Source #

Methods

fromUPIVOTERep UPIVOTE x Source #

toRep UPIVOTE x → UPIVOTE Source #

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