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

Description

This module provides the necessary instances of HasSpec and HasSimpleRep to write specs for the environments, states, and signals in the STS rules of the Ledger. Note some simple types used in the PParams (Coin, EpochInterval, etc.) have their instances defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic and they are reexported here.

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

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

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

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

Methods

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

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

type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) 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) ⇒ Term fn (KeyHash r) → Term fn (Credential r) 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 (CoinFn fn) fn, Member (CoerceFn fn) 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.Ledger

Associated Types

type Rep ProposalsSplitTypeType Source #

Show ProposalsSplit Source # 
Instance details

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

DecCBOR ProposalsSplit Source # 
Instance details

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

EncCBOR ProposalsSplit Source # 
Instance details

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

NFData ProposalsSplit Source # 
Instance details

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

Methods

rnfProposalsSplit → () Source #

Eq ProposalsSplit Source # 
Instance details

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

ToExpr ProposalsSplit Source # 
Instance details

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

type Rep ProposalsSplit Source # 
Instance details

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

type Rep ProposalsSplit = D1 ('MetaData "ProposalsSplit" "Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger" "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)))))

coerce_ ∷ ∀ a b fn. (Member (CoerceFn fn) fn, HasSpec fn a, HasSpec fn b, CoercibleLike a b) ⇒ Term fn a → Term fn b Source #

toDelta_ ∷ (HasSpec fn Coin, HasSpec fn DeltaCoin, Member (CoinFn fn) fn) ⇒ Term fn CoinTerm fn DeltaCoin Source #

Orphan instances

Num DeltaCoin Source # 
Instance details

HasSimpleRep ValidityInterval Source # 
Instance details

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

Associated Types

type SimpleRep GovActionId Source #

type TheSop GovActionId ∷ [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 Voter Source # 
Instance details

Associated Types

type SimpleRep Voter Source #

type TheSop Voter ∷ [Type] Source #

HasSimpleRep ConwayDelegCert Source # 
Instance details

HasSimpleRep ConwayGovCert Source # 
Instance details

HasSimpleRep Delegatee Source # 
Instance details

Associated Types

type SimpleRep Delegatee Source #

type TheSop Delegatee ∷ [Type] Source #

HasSimpleRep Addr Source # 
Instance details

Associated Types

type SimpleRep Addr Source #

type TheSop Addr ∷ [Type] Source #

HasSimpleRep BootstrapAddress Source # 
Instance details

HasSimpleRep CompactAddr Source # 
Instance details

Associated Types

type SimpleRep CompactAddr Source #

type TheSop CompactAddr ∷ [Type] Source #

HasSimpleRep RewardAccount Source # 
Instance details

HasSimpleRep Withdrawals Source # 
Instance details

Associated Types

type SimpleRep Withdrawals Source #

type TheSop Withdrawals ∷ [Type] Source #

HasSimpleRep Anchor Source # 
Instance details

Associated Types

type SimpleRep Anchor Source #

type TheSop Anchor ∷ [Type] Source #

HasSimpleRep BlocksMade Source # 
Instance details

Associated Types

type SimpleRep BlocksMade Source #

type TheSop BlocksMade ∷ [Type] Source #

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

HasSimpleRep FutureGenDeleg Source # 
Instance details

HasSimpleRep InstantaneousRewards Source # 
Instance details

HasSimpleRep DeltaCoin Source # 
Instance details

Associated Types

type SimpleRep DeltaCoin Source #

type TheSop DeltaCoin ∷ [Type] Source #

HasSimpleRep PoolCert Source # 
Instance details

Associated Types

type SimpleRep PoolCert Source #

type TheSop PoolCert ∷ [Type] Source #

HasSimpleRep Ptr Source # 
Instance details

Associated Types

type SimpleRep Ptr Source #

type TheSop Ptr ∷ [Type] Source #

HasSimpleRep StakeReference Source # 
Instance details

HasSimpleRep DRep Source # 
Instance details

Associated Types

type SimpleRep DRep Source #

type TheSop DRep ∷ [Type] Source #

HasSimpleRep DRepState Source # 
Instance details

Associated Types

type SimpleRep DRepState Source #

type TheSop DRepState ∷ [Type] Source #

HasSimpleRep SnapShot Source # 
Instance details

Associated Types

type SimpleRep SnapShot Source #

type TheSop SnapShot ∷ [Type] Source #

HasSimpleRep SnapShots Source # 
Instance details

Associated Types

type SimpleRep SnapShots Source #

type TheSop SnapShots ∷ [Type] Source #

HasSimpleRep Stake Source # 
Instance details

Associated Types

type SimpleRep Stake Source #

type TheSop Stake ∷ [Type] Source #

HasSimpleRep GenDelegPair Source # 
Instance details

Associated Types

type SimpleRep GenDelegPair Source #

type TheSop GenDelegPair ∷ [Type] Source #

HasSimpleRep GenDelegs Source # 
Instance details

Associated Types

type SimpleRep GenDelegs Source #

type TheSop GenDelegs ∷ [Type] Source #

HasSimpleRep ScriptHash Source # 
Instance details

Associated Types

type SimpleRep ScriptHash Source #

type TheSop ScriptHash ∷ [Type] Source #

HasSimpleRep TxAuxDataHash Source # 
Instance details

HasSimpleRep Metadatum Source # 
Instance details

Associated Types

type SimpleRep Metadatum Source #

type TheSop Metadatum ∷ [Type] Source #

HasSimpleRep Language Source # 
Instance details

Associated Types

type SimpleRep Language Source #

type TheSop Language ∷ [Type] Source #

HasSimpleRep IndividualPoolStake Source # 
Instance details

HasSimpleRep PoolDistr Source # 
Instance details

Associated Types

type SimpleRep PoolDistr Source #

type TheSop PoolDistr ∷ [Type] Source #

HasSimpleRep PoolMetadata Source # 
Instance details

Associated Types

type SimpleRep PoolMetadata Source #

type TheSop PoolMetadata ∷ [Type] Source #

HasSimpleRep PoolParams Source # 
Instance details

Associated Types

type SimpleRep PoolParams Source #

type TheSop PoolParams ∷ [Type] Source #

HasSimpleRep Reward Source # 
Instance details

Associated Types

type SimpleRep Reward Source #

type TheSop Reward ∷ [Type] Source #

HasSimpleRep RewardType Source # 
Instance details

Associated Types

type SimpleRep RewardType Source #

type TheSop RewardType ∷ [Type] Source #

HasSimpleRep TxId Source # 
Instance details

Associated Types

type SimpleRep TxId Source #

type TheSop TxId ∷ [Type] Source #

HasSimpleRep TxIn Source # 
Instance details

Associated Types

type SimpleRep TxIn Source #

type TheSop TxIn ∷ [Type] Source #

HasSimpleRep RDPair Source # 
Instance details

Associated Types

type SimpleRep RDPair Source #

type TheSop RDPair ∷ [Type] Source #

HasSimpleRep UMap Source # 
Instance details

Associated Types

type SimpleRep UMap Source #

type TheSop UMap ∷ [Type] Source #

HasSimpleRep AssetName Source # 
Instance details

Associated Types

type SimpleRep AssetName Source #

type TheSop AssetName ∷ [Type] Source #

HasSimpleRep MaryValue Source # 
Instance details

Associated Types

type SimpleRep MaryValue Source #

type TheSop MaryValue ∷ [Type] Source #

HasSimpleRep MultiAsset Source # 
Instance details

Associated Types

type SimpleRep MultiAsset Source #

type TheSop MultiAsset ∷ [Type] Source #

HasSimpleRep PolicyID Source # 
Instance details

Associated Types

type SimpleRep PolicyID Source #

type TheSop PolicyID ∷ [Type] Source #

HasSimpleRep AccountState Source # 
Instance details

Associated Types

type SimpleRep AccountState Source #

type TheSop AccountState ∷ [Type] Source #

HasSimpleRep IncrementalStake Source # 
Instance details

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

Associated Types

type SimpleRep NonMyopic Source #

type TheSop NonMyopic ∷ [Type] Source #

HasSimpleRep FreeVars Source # 
Instance details

Associated Types

type SimpleRep FreeVars Source #

type TheSop FreeVars ∷ [Type] Source #

HasSimpleRep Pulser Source # 
Instance details

Associated Types

type SimpleRep Pulser Source #

type TheSop Pulser ∷ [Type] Source #

HasSimpleRep PulsingRewUpdate Source # 
Instance details

HasSimpleRep RewardAns Source # 
Instance details

Associated Types

type SimpleRep RewardAns Source #

type TheSop RewardAns ∷ [Type] Source #

HasSimpleRep RewardSnapShot Source # 
Instance details

HasSimpleRep RewardUpdate Source # 
Instance details

Associated Types

type SimpleRep RewardUpdate Source #

type TheSop RewardUpdate ∷ [Type] Source #

HasSimpleRep LeaderOnlyReward Source # 
Instance details

HasSimpleRep PoolRewardInfo Source # 
Instance details

HasSimpleRep StakeShare Source # 
Instance details

Associated Types

type SimpleRep StakeShare Source #

type TheSop StakeShare ∷ [Type] Source #

HasSimpleRep GenesisDelegCert Source # 
Instance details

HasSimpleRep MIRCert Source # 
Instance details

Associated Types

type SimpleRep MIRCert Source #

type TheSop MIRCert ∷ [Type] Source #

HasSimpleRep MIRPot Source # 
Instance details

Associated Types

type SimpleRep MIRPot Source #

type TheSop MIRPot ∷ [Type] Source #

HasSimpleRep MIRTarget Source # 
Instance details

Associated Types

type SimpleRep MIRTarget Source #

type TheSop MIRTarget ∷ [Type] Source #

HasSimpleRep ShelleyDelegCert 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 DeltaCoin Source # 
Instance details

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

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

Associated Types

type TypeSpec fn GovActionId Source #

type Prerequisites fn GovActionId Source #

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

Associated Types

type TypeSpec fn Voter Source #

type Prerequisites fn Voter Source #

IsConwayUniv fn ⇒ HasSpec fn ConwayDelegCert Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn ConwayGovCert Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Delegatee Source # 
Instance details

Associated Types

type TypeSpec fn Delegatee Source #

type Prerequisites fn Delegatee Source #

IsConwayUniv fn ⇒ HasSpec fn Addr Source # 
Instance details

Associated Types

type TypeSpec fn Addr Source #

type Prerequisites fn Addr Source #

IsConwayUniv fn ⇒ HasSpec fn BootstrapAddress Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn CompactAddr Source # 
Instance details

Associated Types

type TypeSpec fn CompactAddr Source #

type Prerequisites fn CompactAddr Source #

IsConwayUniv fn ⇒ HasSpec fn RewardAccount Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Withdrawals Source # 
Instance details

Associated Types

type TypeSpec fn Withdrawals Source #

type Prerequisites fn Withdrawals Source #

IsConwayUniv fn ⇒ HasSpec fn Anchor Source # 
Instance details

Associated Types

type TypeSpec fn Anchor Source #

type Prerequisites fn Anchor Source #

IsConwayUniv fn ⇒ HasSpec fn BlocksMade Source # 
Instance details

Associated Types

type TypeSpec fn BlocksMade Source #

type Prerequisites fn BlocksMade Source #

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

Associated Types

type TypeSpec fn Port Source #

type Prerequisites fn Port 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 Url Source # 
Instance details

Associated Types

type TypeSpec fn Url Source #

type Prerequisites fn Url Source #

IsConwayUniv fn ⇒ HasSpec fn CommitteeAuthorization Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn FutureGenDeleg Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn InstantaneousRewards Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn DeltaCoin Source # 
Instance details

Associated Types

type TypeSpec fn DeltaCoin Source #

type Prerequisites fn DeltaCoin Source #

IsConwayUniv fn ⇒ HasSpec fn PoolCert Source # 
Instance details

Associated Types

type TypeSpec fn PoolCert Source #

type Prerequisites fn PoolCert 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 StakeReference Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn DRep Source # 
Instance details

Associated Types

type TypeSpec fn DRep Source #

type Prerequisites fn DRep Source #

IsConwayUniv fn ⇒ HasSpec fn DRepState Source # 
Instance details

Associated Types

type TypeSpec fn DRepState Source #

type Prerequisites fn DRepState Source #

IsConwayUniv fn ⇒ HasSpec fn SnapShot Source # 
Instance details

Associated Types

type TypeSpec fn SnapShot Source #

type Prerequisites fn SnapShot Source #

IsConwayUniv fn ⇒ HasSpec fn SnapShots Source # 
Instance details

Associated Types

type TypeSpec fn SnapShots Source #

type Prerequisites fn SnapShots Source #

IsConwayUniv fn ⇒ HasSpec fn Stake Source # 
Instance details

Associated Types

type TypeSpec fn Stake Source #

type Prerequisites fn Stake Source #

IsConwayUniv fn ⇒ HasSpec fn GenDelegPair Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn GenDelegs Source # 
Instance details

Associated Types

type TypeSpec fn GenDelegs Source #

type Prerequisites fn GenDelegs Source #

IsConwayUniv fn ⇒ HasSpec fn ScriptHash Source # 
Instance details

Associated Types

type TypeSpec fn ScriptHash Source #

type Prerequisites fn ScriptHash Source #

IsConwayUniv fn ⇒ HasSpec fn TxAuxDataHash Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn BootstrapWitness Source # 
Instance details

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

Associated Types

type TypeSpec fn Language Source #

type Prerequisites fn Language Source #

IsConwayUniv fn ⇒ HasSpec fn IndividualPoolStake Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn PoolDistr Source # 
Instance details

Associated Types

type TypeSpec fn PoolDistr Source #

type Prerequisites fn PoolDistr Source #

IsConwayUniv fn ⇒ HasSpec fn PoolMetadata Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn PoolParams Source # 
Instance details

Associated Types

type TypeSpec fn PoolParams Source #

type Prerequisites fn PoolParams Source #

IsConwayUniv fn ⇒ HasSpec fn StakePoolRelay Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Reward Source # 
Instance details

Associated Types

type TypeSpec fn Reward Source #

type Prerequisites fn Reward Source #

IsConwayUniv fn ⇒ HasSpec fn RewardType Source # 
Instance details

Associated Types

type TypeSpec fn RewardType Source #

type Prerequisites fn RewardType Source #

IsConwayUniv fn ⇒ HasSpec fn TxId Source # 
Instance details

Associated Types

type TypeSpec fn TxId Source #

type Prerequisites fn TxId Source #

IsConwayUniv fn ⇒ HasSpec fn TxIn Source # 
Instance details

Associated Types

type TypeSpec fn TxIn Source #

type Prerequisites fn TxIn 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 UMap Source # 
Instance details

Associated Types

type TypeSpec fn UMap Source #

type Prerequisites fn UMap 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 MaryValue Source # 
Instance details

Associated Types

type TypeSpec fn MaryValue Source #

type Prerequisites fn MaryValue Source #

IsConwayUniv fn ⇒ HasSpec fn MultiAsset Source # 
Instance details

Associated Types

type TypeSpec fn MultiAsset Source #

type Prerequisites fn MultiAsset Source #

IsConwayUniv fn ⇒ HasSpec fn PolicyID Source # 
Instance details

Associated Types

type TypeSpec fn PolicyID Source #

type Prerequisites fn PolicyID Source #

IsConwayUniv fn ⇒ HasSpec fn AccountState Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn IncrementalStake 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 NonMyopic Source # 
Instance details

Associated Types

type TypeSpec fn NonMyopic Source #

type Prerequisites fn NonMyopic Source #

IsConwayUniv fn ⇒ HasSpec fn FreeVars Source # 
Instance details

Associated Types

type TypeSpec fn FreeVars Source #

type Prerequisites fn FreeVars Source #

IsConwayUniv fn ⇒ HasSpec fn Pulser Source # 
Instance details

Associated Types

type TypeSpec fn Pulser Source #

type Prerequisites fn Pulser Source #

IsConwayUniv fn ⇒ HasSpec fn PulsingRewUpdate Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn RewardAns Source # 
Instance details

Associated Types

type TypeSpec fn RewardAns Source #

type Prerequisites fn RewardAns Source #

IsConwayUniv fn ⇒ HasSpec fn RewardSnapShot Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn RewardUpdate Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn LeaderOnlyReward Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn PoolRewardInfo Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn StakeShare Source # 
Instance details

Associated Types

type TypeSpec fn StakeShare Source #

type Prerequisites fn StakeShare Source #

IsConwayUniv fn ⇒ HasSpec fn GenesisDelegCert Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn MIRCert Source # 
Instance details

Associated Types

type TypeSpec fn MIRCert Source #

type Prerequisites fn MIRCert Source #

IsConwayUniv fn ⇒ HasSpec fn MIRPot Source # 
Instance details

Associated Types

type TypeSpec fn MIRPot Source #

type Prerequisites fn MIRPot Source #

IsConwayUniv fn ⇒ HasSpec fn MIRTarget Source # 
Instance details

Associated Types

type TypeSpec fn MIRTarget Source #

type Prerequisites fn MIRTarget Source #

IsConwayUniv fn ⇒ HasSpec fn ShelleyDelegCert 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 DeltaCoin Source # 
Instance details

IsConwayUniv fn ⇒ NumLike fn EpochNo Source # 
Instance details

IsConwayUniv fn ⇒ OrdLike fn DeltaCoin 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, EraSpecPParams ConwayEra) ⇒ 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, AllegraEraScript 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 #

(Era era, IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (AllegraTxAuxData era) Source # 
Instance details

Associated Types

type TypeSpec fn (AllegraTxAuxData era) Source #

type Prerequisites fn (AllegraTxAuxData 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 #

(EraSpecPParams era, IsConwayUniv fn, HasSpec fn (TxBody era), HasSpec fn (TxWits era), HasSpec fn (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec fn (AlonzoTx era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTx era) Source #

type Prerequisites fn (AlonzoTx era) Source #

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

Associated Types

type TypeSpec fn (AlonzoTxAuxData era) Source #

type Prerequisites fn (AlonzoTxAuxData era) Source #

(EraTxOut era, HasSpec fn (Value era), IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTxOut era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTxOut era) Source #

type Prerequisites fn (AlonzoTxOut era) Source #

(AlonzoEraScript era, IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTxWits era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTxWits era) Source #

type Prerequisites fn (AlonzoTxWits era) Source #

(IsConwayUniv fn, HasSpec fn (Value era), Era era, HasSpec fn (Data era), Val (Value 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 #

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

Methods

emptySpecTypeSpec fn (ConwayGovState ConwayEra) Source #

combineSpecTypeSpec fn (ConwayGovState ConwayEra) → TypeSpec fn (ConwayGovState ConwayEra) → Specification fn (ConwayGovState ConwayEra) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayGovState ConwayEra) → GenT m (ConwayGovState ConwayEra) Source #

conformsToConwayGovState ConwayEraTypeSpec fn (ConwayGovState ConwayEra) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayGovState ConwayEra) → ConwayGovState ConwayEra → [ConwayGovState ConwayEra] Source #

toPredsTerm fn (ConwayGovState ConwayEra) → TypeSpec fn (ConwayGovState ConwayEra) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayGovState ConwayEra) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayGovState ConwayEra) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayGovState ConwayEra) → BinaryShow Source #

monadConformsToConwayGovState ConwayEraTypeSpec fn (ConwayGovState ConwayEra) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayGovState ConwayEra) → [ConwayGovState ConwayEra] → Specification fn (ConwayGovState ConwayEra) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (ConwayGovState ConwayEra) → Specification fn (ConwayGovState ConwayEra) Source #

prerequisitesEvidence (Prerequisites fn (ConwayGovState ConwayEra)) Source #

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

Methods

emptySpecTypeSpec fn (DRepPulsingState ConwayEra) Source #

combineSpecTypeSpec fn (DRepPulsingState ConwayEra) → TypeSpec fn (DRepPulsingState ConwayEra) → Specification fn (DRepPulsingState ConwayEra) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (DRepPulsingState ConwayEra) → GenT m (DRepPulsingState ConwayEra) Source #

conformsToDRepPulsingState ConwayEraTypeSpec fn (DRepPulsingState ConwayEra) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra → [DRepPulsingState ConwayEra] Source #

toPredsTerm fn (DRepPulsingState ConwayEra) → TypeSpec fn (DRepPulsingState ConwayEra) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (DRepPulsingState ConwayEra) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (DRepPulsingState ConwayEra) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (DRepPulsingState ConwayEra) → BinaryShow Source #

monadConformsToDRepPulsingState ConwayEraTypeSpec fn (DRepPulsingState ConwayEra) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (DRepPulsingState ConwayEra) → [DRepPulsingState ConwayEra] → Specification fn (DRepPulsingState ConwayEra) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (DRepPulsingState ConwayEra) → Specification fn (DRepPulsingState ConwayEra) Source #

prerequisitesEvidence (Prerequisites fn (DRepPulsingState ConwayEra)) Source #

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

Methods

emptySpecTypeSpec fn (PulsingSnapshot ConwayEra) Source #

combineSpecTypeSpec fn (PulsingSnapshot ConwayEra) → TypeSpec fn (PulsingSnapshot ConwayEra) → Specification fn (PulsingSnapshot ConwayEra) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (PulsingSnapshot ConwayEra) → GenT m (PulsingSnapshot ConwayEra) Source #

conformsToPulsingSnapshot ConwayEraTypeSpec fn (PulsingSnapshot ConwayEra) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra → [PulsingSnapshot ConwayEra] Source #

toPredsTerm fn (PulsingSnapshot ConwayEra) → TypeSpec fn (PulsingSnapshot ConwayEra) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (PulsingSnapshot ConwayEra) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (PulsingSnapshot ConwayEra) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (PulsingSnapshot ConwayEra) → BinaryShow Source #

monadConformsToPulsingSnapshot ConwayEraTypeSpec fn (PulsingSnapshot ConwayEra) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (PulsingSnapshot ConwayEra) → [PulsingSnapshot ConwayEra] → Specification fn (PulsingSnapshot ConwayEra) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (PulsingSnapshot ConwayEra) → Specification fn (PulsingSnapshot ConwayEra) Source #

prerequisitesEvidence (Prerequisites fn (PulsingSnapshot ConwayEra)) Source #

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (EnactState era) Source # 
Instance details

Associated Types

type TypeSpec fn (EnactState era) Source #

type Prerequisites fn (EnactState era) Source #

(Era era, IsConwayUniv fn) ⇒ HasSpec fn (RatifyEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (RatifyEnv era) Source #

type Prerequisites fn (RatifyEnv era) Source #

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

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

(Era era, IsConwayUniv fn) ⇒ HasSpec fn (Committee era) Source # 
Instance details

Associated Types

type TypeSpec fn (Committee era) Source #

type Prerequisites fn (Committee era) Source #

(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, EraSpecPParams era) ⇒ HasSpec fn (GovAction era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovAction era) Source #

type Prerequisites fn (GovAction era) Source #

(IsConwayUniv fn, Era era, EraSpecPParams era) ⇒ HasSpec fn (GovActionState era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovActionState era) Source #

type Prerequisites fn (GovActionState era) Source #

(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (ProposalProcedure era) Source # 
Instance details

Associated Types

type TypeSpec fn (ProposalProcedure era) Source #

type Prerequisites fn (ProposalProcedure era) Source #

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

Associated Types

type TypeSpec fn (VotingProcedure era) Source #

type Prerequisites fn (VotingProcedure era) Source #

(IsConwayUniv fn, Typeable era) ⇒ HasSpec fn (VotingProcedures era) Source # 
Instance details

Associated Types

type TypeSpec fn (VotingProcedures era) Source #

type Prerequisites fn (VotingProcedures era) Source #

(EraSpecPParams era, IsConwayUniv fn, Arbitrary (Proposals era)) ⇒ HasSpec fn (Proposals era) Source # 
Instance details

Associated Types

type TypeSpec fn (Proposals era) Source #

type Prerequisites fn (Proposals era) Source #

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (CertEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (CertEnv era) Source #

type Prerequisites fn (CertEnv era) Source #

(IsConwayUniv fn, EraSpecPParams era, HasSpec fn (Tx era)) ⇒ HasSpec fn (CertsEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (CertsEnv era) Source #

type Prerequisites fn (CertsEnv era) Source #

(IsConwayUniv fn, HasSpec fn (PParams era), Era era) ⇒ HasSpec fn (ConwayDelegEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (ConwayDelegEnv era) Source #

type Prerequisites fn (ConwayDelegEnv era) Source #

(IsConwayUniv fn, EraSpecPParams ConwayEra) ⇒ HasSpec fn (EnactSignal ConwayEra) Source # 
Instance details

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (GovEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovEnv era) Source #

type Prerequisites fn (GovEnv era) Source #

(EraTxCert ConwayEra, EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (GovSignal ConwayEra) Source # 
Instance details

(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovCertEnv ConwayEra) Source # 
Instance details

Methods

emptySpecTypeSpec fn (ConwayGovCertEnv ConwayEra) Source #

combineSpecTypeSpec fn (ConwayGovCertEnv ConwayEra) → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Specification fn (ConwayGovCertEnv ConwayEra) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayGovCertEnv ConwayEra) → GenT m (ConwayGovCertEnv ConwayEra) Source #

conformsToConwayGovCertEnv ConwayEraTypeSpec fn (ConwayGovCertEnv ConwayEra) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra → [ConwayGovCertEnv ConwayEra] Source #

toPredsTerm fn (ConwayGovCertEnv ConwayEra) → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayGovCertEnv ConwayEra) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayGovCertEnv ConwayEra) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayGovCertEnv ConwayEra) → BinaryShow Source #

monadConformsToConwayGovCertEnv ConwayEraTypeSpec fn (ConwayGovCertEnv ConwayEra) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayGovCertEnv ConwayEra) → [ConwayGovCertEnv ConwayEra] → Specification fn (ConwayGovCertEnv ConwayEra) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (ConwayGovCertEnv ConwayEra) → Specification fn (ConwayGovCertEnv ConwayEra) Source #

prerequisitesEvidence (Prerequisites fn (ConwayGovCertEnv ConwayEra)) Source #

(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayTxBody ConwayEra) Source # 
Instance details

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayTxCert era) Source # 
Instance details

Associated Types

type TypeSpec fn (ConwayTxCert era) Source #

type Prerequisites fn (ConwayTxCert era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (CertState era) Source # 
Instance details

Associated Types

type TypeSpec fn (CertState era) Source #

type Prerequisites fn (CertState era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (CommitteeState era) Source # 
Instance details

Associated Types

type TypeSpec fn (CommitteeState era) Source #

type Prerequisites fn (CommitteeState era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (DState era) Source # 
Instance details

Associated Types

type TypeSpec fn (DState era) Source #

type Prerequisites fn (DState era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (PState era) Source # 
Instance details

Associated Types

type TypeSpec fn (PState era) Source #

type Prerequisites fn (PState era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (VState era) Source # 
Instance details

Associated Types

type TypeSpec fn (VState era) Source #

type Prerequisites fn (VState era) Source #

(IsConwayUniv fn, Compactible a, HasSpec fn a, HasSimpleRep a, HasSpec fn (SimpleRep a), Show (TypeSpec fn (SimpleRep a))) ⇒ HasSpec fn (CompactForm a) Source # 
Instance details

Associated Types

type TypeSpec fn (CompactForm a) Source #

type Prerequisites fn (CompactForm a) Source #

(IsConwayUniv fn, Typeable r) ⇒ HasSpec fn (Credential r) Source # 
Instance details

Associated Types

type TypeSpec fn (Credential r) Source #

type Prerequisites fn (Credential r) Source #

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

Associated Types

type TypeSpec fn (NoUpdate a) Source #

type Prerequisites fn (NoUpdate a) Source #

(IsConwayUniv fn, Typeable index) ⇒ HasSpec fn (SafeHash index) Source # 
Instance details

Associated Types

type TypeSpec fn (SafeHash index) Source #

type Prerequisites fn (SafeHash index) Source #

(IsConwayUniv fn, Typeable r) ⇒ HasSpec fn (VRFVerKeyHash r) Source # 
Instance details

Associated Types

type TypeSpec fn (VRFVerKeyHash r) Source #

type Prerequisites fn (VRFVerKeyHash r) Source #

(IsConwayUniv fn, Typeable r) ⇒ HasSpec fn (WitVKey r) Source # 
Instance details

Associated Types

type TypeSpec fn (WitVKey r) Source #

type Prerequisites fn (WitVKey r) Source #

(IsConwayUniv fn, Era era, HasSpec fn (Data era)) ⇒ HasSpec fn (BinaryData era) Source # 
Instance details

Associated Types

type TypeSpec fn (BinaryData era) Source #

type Prerequisites fn (BinaryData era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (Data era) Source # 
Instance details

Associated Types

type TypeSpec fn (Data era) Source #

type Prerequisites fn (Data era) Source #

Methods

emptySpecTypeSpec fn (Data era) Source #

combineSpecTypeSpec fn (Data era) → TypeSpec fn (Data era) → Specification fn (Data era) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Data era) → GenT m (Data era) Source #

conformsToData era → TypeSpec fn (Data era) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (Data era) → Data era → [Data era] Source #

toPredsTerm fn (Data era) → TypeSpec fn (Data era) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (Data era) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (Data era) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (Data era) → BinaryShow Source #

monadConformsToData era → TypeSpec fn (Data era) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (Data era) → [Data era] → Specification fn (Data era) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (Data era) → Specification fn (Data era) Source #

prerequisitesEvidence (Prerequisites fn (Data era)) Source #

(IsConwayUniv fn, Era era, HasSpec fn (Data era)) ⇒ HasSpec fn (Datum era) Source # 
Instance details

Associated Types

type TypeSpec fn (Datum era) Source #

type Prerequisites fn (Datum era) Source #

(Era era, HasSpec fn (TxOut era), IsNormalType (TxOut era), IsConwayUniv fn) ⇒ HasSpec fn (UTxO era) Source # 
Instance details

Associated Types

type TypeSpec fn (UTxO era) Source #

type Prerequisites fn (UTxO era) Source #

Methods

emptySpecTypeSpec fn (UTxO era) Source #

combineSpecTypeSpec fn (UTxO era) → TypeSpec fn (UTxO era) → Specification fn (UTxO era) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (UTxO era) → GenT m (UTxO era) Source #

conformsToUTxO era → TypeSpec fn (UTxO era) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (UTxO era) → UTxO era → [UTxO era] Source #

toPredsTerm fn (UTxO era) → TypeSpec fn (UTxO era) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (UTxO era) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (UTxO era) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (UTxO era) → BinaryShow Source #

monadConformsToUTxO era → TypeSpec fn (UTxO era) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (UTxO era) → [UTxO era] → Specification fn (UTxO era) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (UTxO era) → Specification fn (UTxO era) Source #

prerequisitesEvidence (Prerequisites fn (UTxO era)) Source #

(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (ShelleyGovState era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyGovState era) Source #

type Prerequisites fn (ShelleyGovState era) Source #

(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era)) ⇒ HasSpec fn (EpochState era) Source # 
Instance details

Associated Types

type TypeSpec fn (EpochState era) Source #

type Prerequisites fn (EpochState era) Source #

(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era)) ⇒ HasSpec fn (LedgerState era) Source # 
Instance details

Associated Types

type TypeSpec fn (LedgerState era) Source #

type Prerequisites fn (LedgerState era) Source #

(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), HasSpec fn (StashedAVVMAddresses era)) ⇒ HasSpec fn (NewEpochState era) Source # 
Instance details

Associated Types

type TypeSpec fn (NewEpochState era) Source #

type Prerequisites fn (NewEpochState era) Source #

(EraTxOut era, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), IsConwayUniv fn) ⇒ HasSpec fn (UTxOState era) Source # 
Instance details

Associated Types

type TypeSpec fn (UTxOState era) Source #

type Prerequisites fn (UTxOState era) Source #

(IsConwayUniv fn, HasSpec fn (PParams era), Era era) ⇒ HasSpec fn (LedgerEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (LedgerEnv era) Source #

type Prerequisites fn (LedgerEnv era) Source #

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (PoolEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (PoolEnv era) Source #

type Prerequisites fn (PoolEnv era) Source #

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (UtxoEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (UtxoEnv era) Source #

type Prerequisites fn (UtxoEnv era) Source #

(EraSpecPParams era, IsConwayUniv fn, HasSpec fn (TxBody era), HasSpec fn (TxWits era), HasSpec fn (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec fn (ShelleyTx era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTx era) Source #

type Prerequisites fn (ShelleyTx era) Source #

(Era era, IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (ShelleyTxAuxData era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTxAuxData era) Source #

type Prerequisites fn (ShelleyTxAuxData era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ShelleyTxCert era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTxCert era) Source #

type Prerequisites fn (ShelleyTxCert era) Source #

(EraTxOut era, HasSpec fn (Value era), IsConwayUniv fn) ⇒ HasSpec fn (ShelleyTxOut era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTxOut era) Source #

type Prerequisites fn (ShelleyTxOut era) Source #

(EraScript era, IsConwayUniv fn) ⇒ HasSpec fn (ShelleyTxWits era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTxWits era) Source #

type Prerequisites fn (ShelleyTxWits era) Source #

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

Associated Types

type TypeSpec fn (StrictSeq a) Source #

type Prerequisites fn (StrictSeq a) Source #

HasSpec fn a ⇒ HasSpec fn (Seq a) Source # 
Instance details

Associated Types

type TypeSpec fn (Seq a) Source #

type Prerequisites fn (Seq a) Source #

HasSpec fn a ⇒ Sized fn (Seq a) Source # 
Instance details

(IsConwayUniv fn, HashAlgorithm a, Typeable b) ⇒ HasSpec fn (Hash a b) Source # 
Instance details

Associated Types

type TypeSpec fn (Hash a b) Source #

type Prerequisites fn (Hash a b) Source #

Methods

emptySpecTypeSpec fn (Hash a b) Source #

combineSpecTypeSpec fn (Hash a b) → TypeSpec fn (Hash a b) → Specification fn (Hash a b) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Hash a b) → GenT m (Hash a b) Source #

conformsToHash a b → TypeSpec fn (Hash a b) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (Hash a b) → Hash a b → [Hash a b] Source #

toPredsTerm fn (Hash a b) → TypeSpec fn (Hash a b) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (Hash a b) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (Hash a b) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (Hash a b) → BinaryShow Source #

monadConformsToHash a b → TypeSpec fn (Hash a b) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (Hash a b) → [Hash a b] → Specification fn (Hash a b) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (Hash a b) → Specification fn (Hash a b) Source #

prerequisitesEvidence (Prerequisites fn (Hash a b)) Source #

(IsConwayUniv fn, Typeable b) ⇒ HasSpec fn (AbstractHash Blake2b_224 b) Source # 
Instance details

Methods

emptySpecTypeSpec fn (AbstractHash Blake2b_224 b) Source #

combineSpecTypeSpec fn (AbstractHash Blake2b_224 b) → TypeSpec fn (AbstractHash Blake2b_224 b) → Specification fn (AbstractHash Blake2b_224 b) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (AbstractHash Blake2b_224 b) → GenT m (AbstractHash Blake2b_224 b) Source #

conformsToAbstractHash Blake2b_224 b → TypeSpec fn (AbstractHash Blake2b_224 b) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (AbstractHash Blake2b_224 b) → AbstractHash Blake2b_224 b → [AbstractHash Blake2b_224 b] Source #

toPredsTerm fn (AbstractHash Blake2b_224 b) → TypeSpec fn (AbstractHash Blake2b_224 b) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (AbstractHash Blake2b_224 b) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (AbstractHash Blake2b_224 b) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (AbstractHash Blake2b_224 b) → BinaryShow Source #

monadConformsToAbstractHash Blake2b_224 b → TypeSpec fn (AbstractHash Blake2b_224 b) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (AbstractHash Blake2b_224 b) → [AbstractHash Blake2b_224 b] → Specification fn (AbstractHash Blake2b_224 b) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (AbstractHash Blake2b_224 b) → Specification fn (AbstractHash Blake2b_224 b) Source #

prerequisitesEvidence (Prerequisites fn (AbstractHash Blake2b_224 b)) Source #

(Typeable p, IsConwayUniv fn, Era era) ⇒ HasSpec fn (GovPurposeId p era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovPurposeId p era) Source #

type Prerequisites fn (GovPurposeId p era) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (GovRelation StrictMaybe era) Source # 
Instance details

Methods

emptySpecTypeSpec fn (GovRelation StrictMaybe era) Source #

combineSpecTypeSpec fn (GovRelation StrictMaybe era) → TypeSpec fn (GovRelation StrictMaybe era) → Specification fn (GovRelation StrictMaybe era) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (GovRelation StrictMaybe era) → GenT m (GovRelation StrictMaybe era) Source #

conformsToGovRelation StrictMaybe era → TypeSpec fn (GovRelation StrictMaybe era) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (GovRelation StrictMaybe era) → GovRelation StrictMaybe era → [GovRelation StrictMaybe era] Source #

toPredsTerm fn (GovRelation StrictMaybe era) → TypeSpec fn (GovRelation StrictMaybe era) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (GovRelation StrictMaybe era) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (GovRelation StrictMaybe era) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (GovRelation StrictMaybe era) → BinaryShow Source #

monadConformsToGovRelation StrictMaybe era → TypeSpec fn (GovRelation StrictMaybe era) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (GovRelation StrictMaybe era) → [GovRelation StrictMaybe era] → Specification fn (GovRelation StrictMaybe era) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (GovRelation StrictMaybe era) → Specification fn (GovRelation StrictMaybe era) Source #

prerequisitesEvidence (Prerequisites fn (GovRelation StrictMaybe era)) Source #

(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayPParams Identity era) Source # 
Instance details

Associated Types

type TypeSpec fn (ConwayPParams Identity era) Source #

type Prerequisites fn (ConwayPParams Identity era) Source #

Methods

emptySpecTypeSpec fn (ConwayPParams Identity era) Source #

combineSpecTypeSpec fn (ConwayPParams Identity era) → TypeSpec fn (ConwayPParams Identity era) → Specification fn (ConwayPParams Identity era) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayPParams Identity era) → GenT m (ConwayPParams Identity era) Source #

conformsToConwayPParams Identity era → TypeSpec fn (ConwayPParams Identity era) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayPParams Identity era) → ConwayPParams Identity era → [ConwayPParams Identity era] Source #

toPredsTerm fn (ConwayPParams Identity era) → TypeSpec fn (ConwayPParams Identity era) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayPParams Identity era) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayPParams Identity era) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayPParams Identity era) → BinaryShow Source #

monadConformsToConwayPParams Identity era → TypeSpec fn (ConwayPParams Identity era) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayPParams Identity era) → [ConwayPParams Identity era] → Specification fn (ConwayPParams Identity era) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (ConwayPParams Identity era) → Specification fn (ConwayPParams Identity era) Source #

prerequisitesEvidence (Prerequisites fn (ConwayPParams Identity era)) Source #

(IsConwayUniv fn, Typeable c) ⇒ HasSpec fn (ConwayPParams StrictMaybe c) Source # 
Instance details

Methods

emptySpecTypeSpec fn (ConwayPParams StrictMaybe c) Source #

combineSpecTypeSpec fn (ConwayPParams StrictMaybe c) → TypeSpec fn (ConwayPParams StrictMaybe c) → Specification fn (ConwayPParams StrictMaybe c) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayPParams StrictMaybe c) → GenT m (ConwayPParams StrictMaybe c) Source #

conformsToConwayPParams StrictMaybe c → TypeSpec fn (ConwayPParams StrictMaybe c) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c → [ConwayPParams StrictMaybe c] Source #

toPredsTerm fn (ConwayPParams StrictMaybe c) → TypeSpec fn (ConwayPParams StrictMaybe c) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayPParams StrictMaybe c) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayPParams StrictMaybe c) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayPParams StrictMaybe c) → BinaryShow Source #

monadConformsToConwayPParams StrictMaybe c → TypeSpec fn (ConwayPParams StrictMaybe c) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayPParams StrictMaybe c) → [ConwayPParams StrictMaybe c] → Specification fn (ConwayPParams StrictMaybe c) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (ConwayPParams StrictMaybe c) → Specification fn (ConwayPParams StrictMaybe c) Source #

prerequisitesEvidence (Prerequisites fn (ConwayPParams StrictMaybe c)) Source #

(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

Methods

emptySpecTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

combineSpecTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → GenT m (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

conformsToDRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] Source #

toPredsTerm fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → BinaryShow Source #

monadConformsToDRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] → Specification fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

prerequisitesEvidence (Prerequisites fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra))) Source #

(IsConwayUniv fn, IsNormalType a, Typeable tag, HasSpec fn a) ⇒ HasSpec fn (THKD tag Identity a) Source # 
Instance details

Associated Types

type TypeSpec fn (THKD tag Identity a) Source #

type Prerequisites fn (THKD tag Identity a) Source #

(IsConwayUniv fn, IsNormalType a, Typeable tag, HasSpec fn a) ⇒ HasSpec fn (THKD tag StrictMaybe a) Source # 
Instance details

Associated Types

type TypeSpec fn (THKD tag StrictMaybe a) Source #

type Prerequisites fn (THKD tag StrictMaybe a) Source #

(IsConwayUniv fn, Vector vk k, Vector vv v, Typeable vk, Typeable vv, Ord k, Eq (vv v), Eq (vk k), HasSpec fn k, HasSpec fn v) ⇒ HasSpec fn (VMap vk vv k v) Source # 
Instance details

Associated Types

type TypeSpec fn (VMap vk vv k v) Source #

type Prerequisites fn (VMap vk vv k v) Source #

Methods

emptySpecTypeSpec fn (VMap vk vv k v) Source #

combineSpecTypeSpec fn (VMap vk vv k v) → TypeSpec fn (VMap vk vv k v) → Specification fn (VMap vk vv k v) Source #

genFromTypeSpec ∷ ∀ (m ∷ TypeType). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (VMap vk vv k v) → GenT m (VMap vk vv k v) Source #

conformsToVMap vk vv k v → TypeSpec fn (VMap vk vv k v) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (VMap vk vv k v) → VMap vk vv k v → [VMap vk vv k v] Source #

toPredsTerm fn (VMap vk vv k v) → TypeSpec fn (VMap vk vv k v) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (VMap vk vv k v) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (VMap vk vv k v) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (VMap vk vv k v) → BinaryShow Source #

monadConformsToVMap vk vv k v → TypeSpec fn (VMap vk vv k v) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (VMap vk vv k v) → [VMap vk vv k v] → Specification fn (VMap vk vv k v) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (VMap vk vv k v) → Specification fn (VMap vk vv k v) Source #

prerequisitesEvidence (Prerequisites fn (VMap vk vv k v)) Source #

Ord a ⇒ HasSimpleRep (OSet a) Source # 
Instance details

Associated Types

type SimpleRep (OSet a) Source #

type TheSop (OSet a) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (AllegraTxAuxData era) Source # 
Instance details

Associated Types

type SimpleRep (AllegraTxAuxData era) Source #

type TheSop (AllegraTxAuxData era) ∷ [Type] Source #

HasSimpleRep (AlonzoScript era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoScript era) Source #

type TheSop (AlonzoScript era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (AlonzoTx era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTx era) Source #

type TheSop (AlonzoTx era) ∷ [Type] Source #

AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxAuxData era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTxAuxData era) Source #

type TheSop (AlonzoTxAuxData era) ∷ [Type] Source #

(Era era, Val (Value era)) ⇒ HasSimpleRep (AlonzoTxOut era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTxOut era) Source #

type TheSop (AlonzoTxOut era) ∷ [Type] Source #

AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxWits era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTxWits era) Source #

type TheSop (AlonzoTxWits era) ∷ [Type] Source #

(Era era, Val (Value era)) ⇒ HasSimpleRep (BabbageTxOut era) Source # 
Instance details

Associated Types

type SimpleRep (BabbageTxOut era) Source #

type TheSop (BabbageTxOut era) ∷ [Type] Source #

HasSimpleRep (Sized a) Source # 
Instance details

Associated Types

type SimpleRep (Sized a) Source #

type TheSop (Sized a) ∷ [Type] Source #

HasSimpleRep (ConwayGovState ConwayEra) Source # 
Instance details

HasSimpleRep (DRepPulsingState ConwayEra) Source # 
Instance details

HasSimpleRep (PulsingSnapshot ConwayEra) Source # 
Instance details

HasSimpleRep (EnactState era) Source # 
Instance details

Associated Types

type SimpleRep (EnactState era) Source #

type TheSop (EnactState era) ∷ [Type] Source #

HasSimpleRep (RatifyEnv era) Source # 
Instance details

Associated Types

type SimpleRep (RatifyEnv era) Source #

type TheSop (RatifyEnv era) ∷ [Type] Source #

HasSimpleRep (RatifySignal ConwayEra) Source # 
Instance details

HasSimpleRep (RatifyState ConwayEra) Source # 
Instance details

HasSimpleRep (Committee era) Source # 
Instance details

Associated Types

type SimpleRep (Committee era) Source #

type TheSop (Committee era) ∷ [Type] Source #

HasSimpleRep (Constitution era) Source # 
Instance details

Associated Types

type SimpleRep (Constitution era) Source #

type TheSop (Constitution era) ∷ [Type] Source #

HasSimpleRep (GovAction era) Source # 
Instance details

Associated Types

type SimpleRep (GovAction era) Source #

type TheSop (GovAction era) ∷ [Type] Source #

HasSimpleRep (GovActionState era) Source # 
Instance details

Associated Types

type SimpleRep (GovActionState era) Source #

type TheSop (GovActionState era) ∷ [Type] Source #

HasSimpleRep (ProposalProcedure era) Source # 
Instance details

Associated Types

type SimpleRep (ProposalProcedure era) Source #

type TheSop (ProposalProcedure era) ∷ [Type] Source #

HasSimpleRep (VotingProcedure era) Source # 
Instance details

Associated Types

type SimpleRep (VotingProcedure era) Source #

type TheSop (VotingProcedure era) ∷ [Type] Source #

HasSimpleRep (VotingProcedures era) Source # 
Instance details

Associated Types

type SimpleRep (VotingProcedures era) Source #

type TheSop (VotingProcedures era) ∷ [Type] Source #

EraPParams era ⇒ HasSimpleRep (Proposals era) Source # 
Instance details

Associated Types

type SimpleRep (Proposals era) Source #

type TheSop (Proposals era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (CertEnv era) Source # 
Instance details

Associated Types

type SimpleRep (CertEnv era) Source #

type TheSop (CertEnv era) ∷ [Type] Source #

HasSimpleRep (CertsEnv era) Source # 
Instance details

Associated Types

type SimpleRep (CertsEnv era) Source #

type TheSop (CertsEnv era) ∷ [Type] Source #

HasSimpleRep (ConwayDelegEnv era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayDelegEnv era) Source #

type TheSop (ConwayDelegEnv era) ∷ [Type] Source #

HasSimpleRep (EnactSignal ConwayEra) Source # 
Instance details

Era era ⇒ HasSimpleRep (GovEnv era) Source # 
Instance details

Associated Types

type SimpleRep (GovEnv era) Source #

type TheSop (GovEnv era) ∷ [Type] Source #

HasSimpleRep (GovSignal era) Source # 
Instance details

Associated Types

type SimpleRep (GovSignal era) Source #

type TheSop (GovSignal era) ∷ [Type] Source #

HasSimpleRep (ConwayGovCertEnv ConwayEra) Source # 
Instance details

HasSimpleRep (ConwayTxBody ConwayEra) Source # 
Instance details

HasSimpleRep (ConwayTxCert era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayTxCert era) Source #

type TheSop (ConwayTxCert era) ∷ [Type] Source #

HasSimpleRep (CertState era) Source # 
Instance details

Associated Types

type SimpleRep (CertState era) Source #

type TheSop (CertState era) ∷ [Type] Source #

HasSimpleRep (CommitteeState era) Source # 
Instance details

Associated Types

type SimpleRep (CommitteeState era) Source #

type TheSop (CommitteeState era) ∷ [Type] Source #

HasSimpleRep (DState era) Source # 
Instance details

Associated Types

type SimpleRep (DState era) Source #

type TheSop (DState era) ∷ [Type] Source #

HasSimpleRep (PState era) Source # 
Instance details

Associated Types

type SimpleRep (PState era) Source #

type TheSop (PState era) ∷ [Type] Source #

HasSimpleRep (VState era) Source # 
Instance details

Associated Types

type SimpleRep (VState era) Source #

type TheSop (VState era) ∷ [Type] Source #

(Compactible a, HasSimpleRep a, Typeable (SimpleRep a), Show (SimpleRep a)) ⇒ HasSimpleRep (CompactForm a) Source # 
Instance details

Associated Types

type SimpleRep (CompactForm a) Source #

type TheSop (CompactForm a) ∷ [Type] Source #

HasSimpleRep (Credential r) Source # 
Instance details

Associated Types

type SimpleRep (Credential r) Source #

type TheSop (Credential r) ∷ [Type] Source #

HasSimpleRep (NoUpdate a) Source # 
Instance details

Associated Types

type SimpleRep (NoUpdate a) Source #

type TheSop (NoUpdate a) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (BinaryData era) Source # 
Instance details

Associated Types

type SimpleRep (BinaryData era) Source #

type TheSop (BinaryData era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (Data era) Source # 
Instance details

Associated Types

type SimpleRep (Data era) Source #

type TheSop (Data era) ∷ [Type] Source #

Methods

toSimpleRepData era → SimpleRep (Data era) Source #

fromSimpleRepSimpleRep (Data era) → Data era Source #

HasSimpleRep (Datum era) Source # 
Instance details

Associated Types

type SimpleRep (Datum era) Source #

type TheSop (Datum era) ∷ [Type] Source #

Methods

toSimpleRepDatum era → SimpleRep (Datum era) Source #

fromSimpleRepSimpleRep (Datum era) → Datum era Source #

HasSimpleRep (UTxO era) Source # 
Instance details

Associated Types

type SimpleRep (UTxO era) Source #

type TheSop (UTxO era) ∷ [Type] Source #

Methods

toSimpleRepUTxO era → SimpleRep (UTxO era) Source #

fromSimpleRepSimpleRep (UTxO era) → UTxO era Source #

HasSimpleRep (ShelleyGovState era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyGovState era) Source #

type TheSop (ShelleyGovState era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (EpochState era) Source # 
Instance details

Associated Types

type SimpleRep (EpochState era) Source #

type TheSop (EpochState era) ∷ [Type] Source #

EraTxOut era ⇒ HasSimpleRep (LedgerState era) Source # 
Instance details

Associated Types

type SimpleRep (LedgerState era) Source #

type TheSop (LedgerState era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (NewEpochState era) Source # 
Instance details

Associated Types

type SimpleRep (NewEpochState era) Source #

type TheSop (NewEpochState era) ∷ [Type] Source #

HasSimpleRep (UTxOState era) Source # 
Instance details

Associated Types

type SimpleRep (UTxOState era) Source #

type TheSop (UTxOState era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (LedgerEnv era) Source # 
Instance details

Associated Types

type SimpleRep (LedgerEnv era) Source #

type TheSop (LedgerEnv era) ∷ [Type] Source #

HasSimpleRep (PoolEnv era) Source # 
Instance details

Associated Types

type SimpleRep (PoolEnv era) Source #

type TheSop (PoolEnv era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (UtxoEnv era) Source # 
Instance details

Associated Types

type SimpleRep (UtxoEnv era) Source #

type TheSop (UtxoEnv era) ∷ [Type] Source #

EraSpecPParams era ⇒ HasSimpleRep (ShelleyTx era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTx era) Source #

type TheSop (ShelleyTx era) ∷ [Type] Source #

Era era ⇒ HasSimpleRep (ShelleyTxAuxData era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTxAuxData era) Source #

type TheSop (ShelleyTxAuxData era) ∷ [Type] Source #

HasSimpleRep (ShelleyTxCert era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTxCert era) Source #

type TheSop (ShelleyTxCert era) ∷ [Type] Source #

(Era era, Val (Value era)) ⇒ HasSimpleRep (ShelleyTxOut era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTxOut era) Source #

type TheSop (ShelleyTxOut era) ∷ [Type] Source #

EraScript era ⇒ HasSimpleRep (ShelleyTxWits era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTxWits era) Source #

type TheSop (ShelleyTxWits era) ∷ [Type] Source #

HasSimpleRep (StrictSeq a) Source # 
Instance details

Associated Types

type SimpleRep (StrictSeq a) Source #

type TheSop (StrictSeq a) ∷ [Type] Source #

HasSimpleRep (Seq a) Source # 
Instance details

Associated Types

type SimpleRep (Seq a) Source #

type TheSop (Seq a) ∷ [Type] Source #

Ord a ⇒ Forallable (OSet a) a Source # 
Instance details

Methods

fromForAllSpec ∷ ∀ (fn ∷ [Type] → TypeType). (HasSpec fn (OSet a), HasSpec fn a, BaseUniverse fn) ⇒ Specification fn a → Specification fn (OSet a) Source #

forAllToListOSet a → [a] Source #

Forallable (StrictSeq a) a Source # 
Instance details

Methods

fromForAllSpec ∷ ∀ (fn ∷ [Type] → TypeType). (HasSpec fn (StrictSeq a), HasSpec fn a, BaseUniverse fn) ⇒ Specification fn a → Specification fn (StrictSeq a) Source #

forAllToListStrictSeq a → [a] Source #

Forallable (Seq a) a Source # 
Instance details

Methods

fromForAllSpec ∷ ∀ (fn ∷ [Type] → TypeType). (HasSpec fn (Seq a), HasSpec fn a, BaseUniverse fn) ⇒ Specification fn a → Specification fn (Seq a) Source #

forAllToListSeq a → [a] Source #

HasSimpleRep (GovPurposeId p era) Source # 
Instance details

Associated Types

type SimpleRep (GovPurposeId p era) Source #

type TheSop (GovPurposeId p era) ∷ [Type] Source #

HasSimpleRep (GovRelation StrictMaybe era) Source # 
Instance details

Associated Types

type SimpleRep (GovRelation StrictMaybe era) Source #

type TheSop (GovRelation StrictMaybe era) ∷ [Type] Source #

HasSimpleRep (ConwayPParams Identity era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayPParams Identity era) Source #

type TheSop (ConwayPParams Identity era) ∷ [Type] Source #

HasSimpleRep (ConwayPParams StrictMaybe c) Source # 
Instance details

HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

HasSimpleRep (THKD tag Identity a) Source # 
Instance details

Associated Types

type SimpleRep (THKD tag Identity a) Source #

type TheSop (THKD tag Identity a) ∷ [Type] Source #

HasSimpleRep (THKD tag StrictMaybe a) Source # 
Instance details

Associated Types

type SimpleRep (THKD tag StrictMaybe a) Source #

type TheSop (THKD tag StrictMaybe a) ∷ [Type] Source #

(Vector vk k, Vector vv v) ⇒ HasSimpleRep (VMap vk vv k v) Source # 
Instance details

Associated Types

type SimpleRep (VMap vk vv k v) Source #

type TheSop (VMap vk vv k v) ∷ [Type] Source #

Methods

toSimpleRepVMap vk vv k v → SimpleRep (VMap vk vv k v) Source #

fromSimpleRepSimpleRep (VMap vk vv k v) → VMap vk vv k v Source #