cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.Instances

Description

This module provides the necessary instances of HasSpec and HasSimpleRep to write specs for the environments, states, and signals in the conway STS rules.

Documentation

type ConwayFn = Fix (OneofL ConwayUnivFns) Source #

data StringFn (fn ∷ [Type] → TypeType) as b Source #

Instances

Instances details
FunctionLike (StringFn fn) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

Methods

sem ∷ ∀ (as ∷ [Type]) b. StringFn fn as b → FunTy as b Source #

IsConwayUniv fn ⇒ Functions (StringFn fn) fn Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

Methods

propagateSpecFun ∷ ∀ (as ∷ [Type]) a b. (TypeList as, Typeable as, HasSpec fn a, HasSpec fn b, All (HasSpec fn) as) ⇒ StringFn fn as b → ListCtx Value as (HOLE a) → Specification fn b → Specification fn a Source #

rewriteRules ∷ ∀ (as ∷ [Type]) b. (TypeList as, Typeable as, HasSpec fn b, All (HasSpec fn) as) ⇒ StringFn fn as b → List (Term fn) as → Maybe (Term fn b) Source #

mapTypeSpec ∷ (HasSpec fn a, HasSpec fn b) ⇒ StringFn fn '[a] b → TypeSpec fn a → Specification fn b Source #

IsConwayUniv fn ⇒ Show (StringFn fn as b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

Methods

showsPrecIntStringFn fn as b → ShowS Source #

showStringFn fn as b → String Source #

showList ∷ [StringFn fn as b] → ShowS Source #

IsConwayUniv fn ⇒ Eq (StringFn fn as b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

Methods

(==)StringFn fn as b → StringFn fn as b → Bool Source #

(/=)StringFn fn as b → StringFn fn as b → Bool Source #

onJust' ∷ (HasSpec fn a, IsNormalType a, IsPred p fn) ⇒ Term fn (StrictMaybe a) → (Term fn a → p) → Pred fn Source #

onSized ∷ (IsConwayUniv fn, HasSpec fn a, IsPred p fn) ⇒ Term fn (Sized a) → (Term fn a → p) → Pred fn Source #

cKeyHashObj ∷ (IsConwayUniv fn, Typeable r, Crypto c) ⇒ Term fn (KeyHash r c) → Term fn (Credential r c) Source #

cSJust_ ∷ (HasSpec fn a, IsNormalType a) ⇒ Term fn a → Term fn (StrictMaybe a) Source #

strLen_ ∷ ∀ fn s. (Member (StringFn fn) fn, StringLike s, HasSpec fn s) ⇒ Term fn s → Term fn Int Source #

sizedValue_ ∷ (HasSpec fn (Sized a), HasSpec fn a) ⇒ Term fn (Sized a) → Term fn a Source #

sizedSize_ ∷ (HasSpec fn (Sized a), HasSpec fn a) ⇒ Term fn (Sized a) → Term fn Int64 Source #

txOutVal_ ∷ (HasSpec fn (Value era), Era era, HasSpec fn (Data era), Val (Value era), HasSpec fn (Script era), IsConwayUniv fn, HasSpec fn (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term fn (BabbageTxOut era) → Term fn (Value era) Source #

type IsConwayUniv fn = (BaseUniverse fn, Member (StringFn fn) fn, Member (MapFn fn) fn, Member (FunFn fn) fn, Member (TreeFn fn) fn) Source #

data ProposalsSplit Source #

Instances

Instances details
Generic ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

Associated Types

type Rep ProposalsSplitTypeType Source #

Show ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

Eq ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

ToExpr ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

type Rep ProposalsSplit Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Conway.Instances

type Rep ProposalsSplit = D1 ('MetaData "ProposalsSplit" "Test.Cardano.Ledger.Constrained.Conway.Instances" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ProposalsSplit" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psPPChange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "psHFInitiation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :*: (S1 ('MetaSel ('Just "psUpdateCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: (S1 ('MetaSel ('Just "psNewConstitution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "psOthers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))))

Orphan instances

Num Coin Source # 
Instance details

Methods

(+)CoinCoinCoin Source #

(-)CoinCoinCoin Source #

(*)CoinCoinCoin Source #

negateCoinCoin Source #

absCoinCoin Source #

signumCoinCoin Source #

fromIntegerIntegerCoin Source #

HasSimpleRep ValidityInterval Source # 
Instance details

HasSimpleRep OrdExUnits Source # 
Instance details

Associated Types

type SimpleRep OrdExUnits Source #

type TheSop OrdExUnits ∷ [Type] Source #

HasSimpleRep IsValid Source # 
Instance details

Associated Types

type SimpleRep IsValid Source #

type TheSop IsValid ∷ [Type] Source #

HasSimpleRep Addr28Extra Source # 
Instance details

Associated Types

type SimpleRep Addr28Extra Source #

type TheSop Addr28Extra ∷ [Type] Source #

HasSimpleRep DataHash32 Source # 
Instance details

Associated Types

type SimpleRep DataHash32 Source #

type TheSop DataHash32 ∷ [Type] Source #

HasSimpleRep CoinPerByte Source # 
Instance details

Associated Types

type SimpleRep CoinPerByte Source #

type TheSop CoinPerByte ∷ [Type] Source #

HasSimpleRep Version Source # 
Instance details

Associated Types

type SimpleRep Version Source #

type TheSop Version ∷ [Type] Source #

HasSimpleRep AddrType Source # 
Instance details

Associated Types

type SimpleRep AddrType Source #

type TheSop AddrType ∷ [Type] Source #

HasSimpleRep NetworkMagic Source # 
Instance details

Associated Types

type SimpleRep NetworkMagic Source #

type TheSop NetworkMagic ∷ [Type] Source #

HasSimpleRep GovActionIx Source # 
Instance details

Associated Types

type SimpleRep GovActionIx Source #

type TheSop GovActionIx ∷ [Type] Source #

HasSimpleRep GovActionPurpose Source # 
Instance details

HasSimpleRep Vote Source # 
Instance details

Associated Types

type SimpleRep Vote Source #

type TheSop Vote ∷ [Type] Source #

HasSimpleRep DRepVotingThresholds Source # 
Instance details

HasSimpleRep PoolVotingThresholds Source # 
Instance details

HasSimpleRep CertIx Source # 
Instance details

Associated Types

type SimpleRep CertIx Source #

type TheSop CertIx ∷ [Type] Source #

HasSimpleRep Network Source # 
Instance details

Associated Types

type SimpleRep Network Source #

type TheSop Network ∷ [Type] Source #

HasSimpleRep Port Source # 
Instance details

Associated Types

type SimpleRep Port Source #

type TheSop Port ∷ [Type] Source #

HasSimpleRep ProtVer Source # 
Instance details

Associated Types

type SimpleRep ProtVer Source #

type TheSop ProtVer ∷ [Type] Source #

HasSimpleRep TxIx Source # 
Instance details

Associated Types

type SimpleRep TxIx Source #

type TheSop TxIx ∷ [Type] Source #

HasSimpleRep Url Source # 
Instance details

Associated Types

type SimpleRep Url Source #

type TheSop Url ∷ [Type] Source #

HasSimpleRep Coin Source # 
Instance details

Associated Types

type SimpleRep Coin Source #

type TheSop Coin ∷ [Type] Source #

HasSimpleRep DeltaCoin Source # 
Instance details

Associated Types

type SimpleRep DeltaCoin Source #

type TheSop DeltaCoin ∷ [Type] Source #

HasSimpleRep Ptr Source # 
Instance details

Associated Types

type SimpleRep Ptr Source #

type TheSop Ptr ∷ [Type] Source #

HasSimpleRep Metadatum Source # 
Instance details

Associated Types

type SimpleRep Metadatum Source #

type TheSop Metadatum ∷ [Type] Source #

HasSimpleRep CostModels Source # 
Instance details

Associated Types

type SimpleRep CostModels Source #

type TheSop CostModels ∷ [Type] Source #

HasSimpleRep ExUnits Source # 
Instance details

Associated Types

type SimpleRep ExUnits Source #

type TheSop ExUnits ∷ [Type] Source #

HasSimpleRep Prices Source # 
Instance details

Associated Types

type SimpleRep Prices Source #

type TheSop Prices ∷ [Type] Source #

HasSimpleRep Language Source # 
Instance details

Associated Types

type SimpleRep Language Source #

type TheSop Language ∷ [Type] Source #

HasSimpleRep PoolMetadata Source # 
Instance details

Associated Types

type SimpleRep PoolMetadata Source #

type TheSop PoolMetadata ∷ [Type] Source #

HasSimpleRep RewardType Source # 
Instance details

Associated Types

type SimpleRep RewardType Source #

type TheSop RewardType ∷ [Type] Source #

HasSimpleRep RDPair Source # 
Instance details

Associated Types

type SimpleRep RDPair Source #

type TheSop RDPair ∷ [Type] Source #

HasSimpleRep AssetName Source # 
Instance details

Associated Types

type SimpleRep AssetName Source #

type TheSop AssetName ∷ [Type] Source #

HasSimpleRep AccountState Source # 
Instance details

Associated Types

type SimpleRep AccountState Source #

type TheSop AccountState ∷ [Type] Source #

HasSimpleRep Likelihood Source # 
Instance details

Associated Types

type SimpleRep Likelihood Source #

type TheSop Likelihood ∷ [Type] Source #

HasSimpleRep LogWeight Source # 
Instance details

Associated Types

type SimpleRep LogWeight Source #

type TheSop LogWeight ∷ [Type] Source #

HasSimpleRep StakeShare Source # 
Instance details

Associated Types

type SimpleRep StakeShare Source #

type TheSop StakeShare ∷ [Type] Source #

HasSimpleRep EpochInterval Source # 
Instance details

HasSimpleRep EpochNo Source # 
Instance details

Associated Types

type SimpleRep EpochNo Source #

type TheSop EpochNo ∷ [Type] Source #

HasSimpleRep SlotNo Source # 
Instance details

Associated Types

type SimpleRep SlotNo Source #

type TheSop SlotNo ∷ [Type] Source #

HasSimpleRep Data Source # 
Instance details

Associated Types

type SimpleRep Data Source #

type TheSop Data ∷ [Type] Source #

IsConwayUniv fn ⇒ Foldy fn Coin Source # 
Instance details

Methods

genList ∷ ∀ (m ∷ TypeType). (BaseUniverse fn, MonadGenError m) ⇒ Specification fn CoinSpecification fn CoinGenT m [Coin] Source #

theAddFn ∷ fn '[Coin, Coin] Coin Source #

theZeroCoin Source #

IsConwayUniv fn ⇒ HasSpec fn ByteString Source # 
Instance details

Associated Types

type TypeSpec fn ByteString Source #

type Prerequisites fn ByteString Source #

IsConwayUniv fn ⇒ HasSpec fn ShortByteString Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn ValidityInterval Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn OrdExUnits Source # 
Instance details

Associated Types

type TypeSpec fn OrdExUnits Source #

type Prerequisites fn OrdExUnits Source #

IsConwayUniv fn ⇒ HasSpec fn IsValid Source # 
Instance details

Associated Types

type TypeSpec fn IsValid Source #

type Prerequisites fn IsValid Source #

IsConwayUniv fn ⇒ HasSpec fn Addr28Extra Source # 
Instance details

Associated Types

type TypeSpec fn Addr28Extra Source #

type Prerequisites fn Addr28Extra Source #

IsConwayUniv fn ⇒ HasSpec fn DataHash32 Source # 
Instance details

Associated Types

type TypeSpec fn DataHash32 Source #

type Prerequisites fn DataHash32 Source #

IsConwayUniv fn ⇒ HasSpec fn CoinPerByte Source # 
Instance details

Associated Types

type TypeSpec fn CoinPerByte Source #

type Prerequisites fn CoinPerByte Source #

BaseUniverse fn ⇒ HasSpec fn Version Source # 
Instance details

Associated Types

type TypeSpec fn Version Source #

type Prerequisites fn Version Source #

IsConwayUniv fn ⇒ HasSpec fn AddrType Source # 
Instance details

Associated Types

type TypeSpec fn AddrType Source #

type Prerequisites fn AddrType Source #

IsConwayUniv fn ⇒ HasSpec fn NetworkMagic Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn GovActionIx Source # 
Instance details

Associated Types

type TypeSpec fn GovActionIx Source #

type Prerequisites fn GovActionIx Source #

IsConwayUniv fn ⇒ HasSpec fn GovActionPurpose Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Vote Source # 
Instance details

Associated Types

type TypeSpec fn Vote Source #

type Prerequisites fn Vote Source #

IsConwayUniv fn ⇒ HasSpec fn DRepVotingThresholds Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn PoolVotingThresholds Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn CertIx Source # 
Instance details

Associated Types

type TypeSpec fn CertIx Source #

type Prerequisites fn CertIx Source #

IsConwayUniv fn ⇒ HasSpec fn Network Source # 
Instance details

Associated Types

type TypeSpec fn Network Source #

type Prerequisites fn Network Source #

IsConwayUniv fn ⇒ HasSpec fn NonNegativeInterval Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Port Source # 
Instance details

Associated Types

type TypeSpec fn Port Source #

type Prerequisites fn Port Source #

IsConwayUniv fn ⇒ HasSpec fn ProtVer Source # 
Instance details

Associated Types

type TypeSpec fn ProtVer Source #

type Prerequisites fn ProtVer Source #

IsConwayUniv fn ⇒ HasSpec fn TxIx Source # 
Instance details

Associated Types

type TypeSpec fn TxIx Source #

type Prerequisites fn TxIx Source #

IsConwayUniv fn ⇒ HasSpec fn UnitInterval Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Url Source # 
Instance details

Associated Types

type TypeSpec fn Url Source #

type Prerequisites fn Url Source #

IsConwayUniv fn ⇒ HasSpec fn Coin Source # 
Instance details

Associated Types

type TypeSpec fn Coin Source #

type Prerequisites fn Coin Source #

IsConwayUniv fn ⇒ HasSpec fn DeltaCoin Source # 
Instance details

Associated Types

type TypeSpec fn DeltaCoin Source #

type Prerequisites fn DeltaCoin Source #

IsConwayUniv fn ⇒ HasSpec fn Ptr Source # 
Instance details

Associated Types

type TypeSpec fn Ptr Source #

type Prerequisites fn Ptr Source #

IsConwayUniv fn ⇒ HasSpec fn Metadatum Source # 
Instance details

Associated Types

type TypeSpec fn Metadatum Source #

type Prerequisites fn Metadatum Source #

IsConwayUniv fn ⇒ HasSpec fn CostModel Source # 
Instance details

Associated Types

type TypeSpec fn CostModel Source #

type Prerequisites fn CostModel Source #

IsConwayUniv fn ⇒ HasSpec fn CostModels Source # 
Instance details

Associated Types

type TypeSpec fn CostModels Source #

type Prerequisites fn CostModels Source #

IsConwayUniv fn ⇒ HasSpec fn ExUnits Source # 
Instance details

Associated Types

type TypeSpec fn ExUnits Source #

type Prerequisites fn ExUnits Source #

IsConwayUniv fn ⇒ HasSpec fn Prices Source # 
Instance details

Associated Types

type TypeSpec fn Prices Source #

type Prerequisites fn Prices Source #

IsConwayUniv fn ⇒ HasSpec fn Language Source # 
Instance details

Associated Types

type TypeSpec fn Language Source #

type Prerequisites fn Language Source #

IsConwayUniv fn ⇒ HasSpec fn PoolMetadata Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn StakePoolRelay Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn RewardType Source # 
Instance details

Associated Types

type TypeSpec fn RewardType Source #

type Prerequisites fn RewardType Source #

IsConwayUniv fn ⇒ HasSpec fn RDPair Source # 
Instance details

Associated Types

type TypeSpec fn RDPair Source #

type Prerequisites fn RDPair Source #

IsConwayUniv fn ⇒ HasSpec fn AssetName Source # 
Instance details

Associated Types

type TypeSpec fn AssetName Source #

type Prerequisites fn AssetName Source #

IsConwayUniv fn ⇒ HasSpec fn AccountState Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Likelihood Source # 
Instance details

Associated Types

type TypeSpec fn Likelihood Source #

type Prerequisites fn Likelihood Source #

IsConwayUniv fn ⇒ HasSpec fn LogWeight Source # 
Instance details

Associated Types

type TypeSpec fn LogWeight Source #

type Prerequisites fn LogWeight Source #

IsConwayUniv fn ⇒ HasSpec fn StakeShare Source # 
Instance details

Associated Types

type TypeSpec fn StakeShare Source #

type Prerequisites fn StakeShare Source #

IsConwayUniv fn ⇒ HasSpec fn EpochInterval Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn EpochNo Source # 
Instance details

Associated Types

type TypeSpec fn EpochNo Source #

type Prerequisites fn EpochNo Source #

IsConwayUniv fn ⇒ HasSpec fn SlotNo Source # 
Instance details

Associated Types

type TypeSpec fn SlotNo Source #

type Prerequisites fn SlotNo Source #

IsConwayUniv fn ⇒ HasSpec fn Data Source # 
Instance details

Associated Types

type TypeSpec fn Data Source #

type Prerequisites fn Data Source #

IsConwayUniv fn ⇒ HasSpec fn Text Source # 
Instance details

Associated Types

type TypeSpec fn Text Source #

type Prerequisites fn Text Source #

IsConwayUniv fn ⇒ HasSpec fn Char Source # 
Instance details

Associated Types

type TypeSpec fn Char Source #

type Prerequisites fn Char Source #

IsConwayUniv fn ⇒ NumLike fn Coin Source # 
Instance details

BaseUniverse fn ⇒ OrdLike fn Version Source # 
Instance details

IsConwayUniv fn ⇒ OrdLike fn Coin Source # 
Instance details

IsConwayUniv fn ⇒ OrdLike fn EpochInterval Source # 
Instance details

IsConwayUniv fn ⇒ OrdLike fn EpochNo Source # 
Instance details

IsConwayUniv fn ⇒ OrdLike fn SlotNo Source # 
Instance details

(HasSpec fn (SimpleRep (Proposals era)), HasSpec fn (Proposals era), HasSimpleRep (Proposals era), IsConwayUniv fn, era ~ ConwayEra StandardCrypto) ⇒ HasGenHint fn (Proposals era) Source # 
Instance details

Associated Types

type Hint (Proposals era) Source #

Methods

giveHintHint (Proposals era) → Specification fn (Proposals era) Source #

(IsConwayUniv fn, Ord a, HasSpec fn a) ⇒ HasSpec fn (OSet a) Source # 
Instance details

Associated Types

type TypeSpec fn (OSet a) Source #

type Prerequisites fn (OSet a) Source #

(IsConwayUniv fn, Crypto (EraCrypto era), AlonzoEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (Timelock era) Source # 
Instance details

Associated Types

type TypeSpec fn (Timelock era) Source #

type Prerequisites fn (Timelock era) Source #

(IsConwayUniv fn, AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (AlonzoScript era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoScript era) Source #

type Prerequisites fn (AlonzoScript era) Source #

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTx (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source # 
Instance details

(IsConwayUniv fn, HasSpec fn (Value era), Era era, HasSpec fn (Data era), Val (Value era), Crypto (EraCrypto era), HasSpec fn (Script era), IsNormalType (Script era)) ⇒ HasSpec fn (BabbageTxOut era) Source # 
Instance details

Associated Types

type TypeSpec fn (BabbageTxOut era) Source #

type Prerequisites fn (BabbageTxOut era) Source #

(IsConwayUniv fn, HasSpec fn a) ⇒ HasSpec fn (Sized a) Source # 
Instance details

Associated Types

type TypeSpec fn (Sized a) Source #

type Prerequisites fn (Sized a) Source #

IsConwayUniv fn ⇒ HasSpec fn (ConwayGovState (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (EnactState (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (RatifyEnv (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (RatifySignal (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (RatifyState (ConwayEra StandardCrypto)) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (Committee (ConwayEra StandardCrypto)) Source # 
Instance details

(IsConwayUniv fn, EraPParams era) ⇒ HasSpec fn (Constitution era) Source # 
Instance details

Associated Types

type TypeSpec fn (Constitution era) Source #

type Prerequisites fn (Constitution era) Source #

(IsConwayUniv fn, EraPParams era, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (GovAction era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovAction era) Source #

type Prerequisites fn (GovAction era) Source #

(IsConwayUniv fn, Crypto c) ⇒ HasSpec fn (GovActionId c) Source # 
Instance details

Associated Types

type TypeSpec fn (GovActionId c) Source #

type Prerequisites fn (GovActionId c) Source #

IsConwayUniv fn ⇒ HasSpec fn (GovActionState (ConwayEra StandardCrypto)) Source # 
Instance details

(IsConwayUniv fn, EraPParams era, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (ProposalProcedure era) Source # 
Instance details

Associated Types

type TypeSpec fn (ProposalProcedure era) Source #

type Prerequisites fn (ProposalProcedure era) Source #

(IsConwayUniv fn, Crypto c) ⇒ HasSpec fn (Voter c) Source # 
Instance details

Associated Types

type TypeSpec fn (Voter c) Source #

type Prerequisites fn (Voter c) Source #

(IsConwayUniv fn, Typeable era, Crypto (EraCrypto era)) ⇒ HasSpec fn (VotingProcedure era) Source # 
Instance details

Associated Types

type TypeSpec fn (VotingProcedure era) Source #

type Prerequisites fn (VotingProcedure era) Source #