cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellNone
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

data StringW (a ∷ [Type]) b Source #

Instances

Instances details
Syntax StringW Source # 
Instance details

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

Methods

isInfix ∷ ∀ (dom ∷ [Type]) rng. StringW dom rng → Bool Source #

prettySymbol ∷ ∀ deps (dom ∷ [Type]) rng ann. StringW dom rng → List (TermD deps) dom → IntMaybe (Doc ann) Source #

Logic StringW Source #

In this instance there is no way to bring the type variable s into scope so we introduce some local functions that have a signature that bring it into scope.

Instance details

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

Methods

propagateTypeSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → TypeSpec b → [b] → Specification a Source #

propagateMemberSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → NonEmpty b → Specification a Source #

propagate ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → Specification b → Specification a Source #

rewriteRules ∷ ∀ (dom ∷ [Type]) rng. (TypeList dom, Typeable dom, HasSpec rng, All HasSpec dom) ⇒ StringW dom rng → List Term dom → Evidence (AppRequires StringW dom rng) → Maybe (Term rng) Source #

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

saturate ∷ ∀ (dom ∷ [Type]). StringW dom BoolList Term dom → [Pred] Source #

Semantics StringW Source # 
Instance details

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

Methods

semantics ∷ ∀ (d ∷ [Type]) r. StringW d r → FunTy d r Source #

Show (StringW as b) Source # 
Instance details

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

Methods

showsPrecIntStringW as b → ShowS #

showStringW as b → String #

showList ∷ [StringW as b] → ShowS #

Eq (StringW as b) Source # 
Instance details

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

Methods

(==)StringW as b → StringW as b → Bool #

(/=)StringW as b → StringW as b → Bool #

type ProposalTree era = (StrictMaybe GovActionId, [Tree (GAS era)]) Source #

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

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

cKeyHashObj ∷ ∀ (r ∷ KeyRole). Typeable r ⇒ Term (KeyHash r) → Term (Credential r) Source #

strLen_ ∷ (HasSpec s, StringLike s) ⇒ Term s → Term Int Source #

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

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

data ProposalsSplit Source #

Instances

Instances details
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 → () #

Generic ProposalsSplit Source # 
Instance details

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

Associated Types

type Rep ProposalsSplit 
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)))))
Show ProposalsSplit Source # 
Instance details

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

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_ ∷ (HasSpec a, HasSpec b, CoercibleLike a b) ⇒ Term a → Term b Source #

Orphan instances

HasSpec ByteString Source # 
Instance details

HasSpec ShortByteString Source # 
Instance details

HasSpec ValidityInterval Source # 
Instance details

HasSpec IsValid Source # 
Instance details

HasSpec Addr28Extra Source # 
Instance details

HasSpec DataHash32 Source # 
Instance details

HasSpec CoinPerByte Source # 
Instance details

HasSpec AddrType Source # 
Instance details

HasSpec NetworkMagic Source # 
Instance details

HasSpec GovActionId Source # 
Instance details

HasSpec GovActionIx Source # 
Instance details

HasSpec GovActionPurpose Source # 
Instance details

HasSpec Vote Source # 
Instance details

HasSpec Voter Source # 
Instance details

HasSpec ConwayDelegCert Source # 
Instance details

HasSpec ConwayGovCert Source # 
Instance details

HasSpec Delegatee Source # 
Instance details

HasSpec Addr Source # 
Instance details

HasSpec BootstrapAddress Source # 
Instance details

HasSpec CompactAddr Source # 
Instance details

HasSpec RewardAccount Source # 
Instance details

HasSpec Withdrawals Source # 
Instance details

HasSpec Anchor Source # 
Instance details

HasSpec BlocksMade Source # 
Instance details

HasSpec CertIx Source # 
Instance details

HasSpec Network Source # 
Instance details

HasSpec Port Source # 
Instance details

HasSpec TxIx Source # 
Instance details

HasSpec Url Source # 
Instance details

Associated Types

type TypeSpec Url 
Instance details

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

type TypeSpec Url = ()
type Prerequisites Url 
Instance details

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

type Prerequisites Url = ()
HasSpec DeltaCoin Source # 
Instance details

HasSpec PoolCert Source # 
Instance details

HasSpec Ptr Source # 
Instance details

HasSpec SlotNo32 Source # 
Instance details

HasSpec StakeReference Source # 
Instance details

HasSpec DRep Source # 
Instance details

HasSpec DRepState Source # 
Instance details

HasSpec GenDelegPair Source # 
Instance details

HasSpec GenDelegs Source # 
Instance details

HasSpec ScriptHash Source # 
Instance details

HasSpec TxAuxDataHash Source # 
Instance details

HasSpec BootstrapWitness Source # 
Instance details

HasSpec Metadatum Source # 
Instance details

HasSpec CostModel Source # 
Instance details

HasSpec Language Source # 
Instance details

HasSpec Reward Source # 
Instance details

HasSpec RewardType Source # 
Instance details

HasSpec CommitteeAuthorization Source # 
Instance details

HasSpec FutureGenDeleg Source # 
Instance details

HasSpec InstantaneousRewards Source # 
Instance details

HasSpec ChainAccountState Source # 
Instance details

HasSpec IndividualPoolStake Source # 
Instance details

HasSpec PoolDistr Source # 
Instance details

HasSpec SnapShot Source # 
Instance details

HasSpec SnapShots Source # 
Instance details

HasSpec Stake Source # 
Instance details

HasSpec PoolMetadata Source # 
Instance details

HasSpec StakePoolParams Source # 
Instance details

HasSpec StakePoolRelay Source # 
Instance details

HasSpec StakePoolState Source # 
Instance details

HasSpec TxId Source # 
Instance details

HasSpec TxIn Source # 
Instance details

HasSpec AssetName Source # 
Instance details

HasSpec MaryValue Source # 
Instance details

HasSpec MultiAsset Source # 
Instance details

HasSpec PolicyID Source # 
Instance details

HasSpec Likelihood Source # 
Instance details

HasSpec LogWeight Source # 
Instance details

HasSpec NonMyopic Source # 
Instance details

HasSpec FreeVars Source # 
Instance details

HasSpec Pulser Source # 
Instance details

HasSpec PulsingRewUpdate Source # 
Instance details

HasSpec RewardAns Source # 
Instance details

HasSpec RewardSnapShot Source # 
Instance details

HasSpec RewardUpdate Source # 
Instance details

HasSpec LeaderOnlyReward Source # 
Instance details

HasSpec PoolRewardInfo Source # 
Instance details

HasSpec StakeShare Source # 
Instance details

HasSpec GenesisDelegCert Source # 
Instance details

HasSpec MIRCert Source # 
Instance details

HasSpec MIRPot Source # 
Instance details

HasSpec MIRTarget Source # 
Instance details

HasSpec ShelleyDelegCert Source # 
Instance details

HasSpec EpochNo Source # 
Instance details

HasSpec SlotNo Source # 
Instance details

HasSpec Data Source # 
Instance details

Associated Types

type TypeSpec Data 
Instance details

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

type TypeSpec Data = ()
type Prerequisites Data 
Instance details

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

HasSpec Text Source # 
Instance details

Associated Types

type TypeSpec Text 
Instance details

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

type TypeSpec Text = ()
type Prerequisites Text 
Instance details

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

HasSpec Char Source # 
Instance details

Associated Types

type TypeSpec Char 
Instance details

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

type TypeSpec Char = ()
type Prerequisites Char 
Instance details

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

HasSimpleRep ValidityInterval Source # 
Instance details

HasSimpleRep IsValid Source # 
Instance details

HasSimpleRep Addr28Extra Source # 
Instance details

HasSimpleRep DataHash32 Source # 
Instance details

HasSimpleRep CoinPerByte Source # 
Instance details

HasSimpleRep AddrType Source # 
Instance details

HasSimpleRep NetworkMagic Source # 
Instance details

HasSimpleRep GovActionId Source # 
Instance details

HasSimpleRep GovActionIx Source # 
Instance details

HasSimpleRep GovActionPurpose Source # 
Instance details

HasSimpleRep Vote Source # 
Instance details

HasSimpleRep Voter Source # 
Instance details

HasSimpleRep ConwayDelegCert Source # 
Instance details

HasSimpleRep ConwayGovCert Source # 
Instance details

HasSimpleRep Delegatee Source # 
Instance details

HasSimpleRep Addr Source # 
Instance details

HasSimpleRep BootstrapAddress Source # 
Instance details

HasSimpleRep CompactAddr Source # 
Instance details

HasSimpleRep RewardAccount Source # 
Instance details

HasSimpleRep Withdrawals Source # 
Instance details

HasSimpleRep Anchor Source # 
Instance details

HasSimpleRep BlocksMade Source # 
Instance details

HasSimpleRep CertIx Source # 
Instance details

HasSimpleRep Network Source # 
Instance details

HasSimpleRep Port Source # 
Instance details

HasSimpleRep TxIx Source # 
Instance details

HasSimpleRep Url Source # 
Instance details

HasSimpleRep DeltaCoin Source # 
Instance details

HasSimpleRep PoolCert Source # 
Instance details

HasSimpleRep Ptr Source # 
Instance details

HasSimpleRep SlotNo32 Source # 
Instance details

HasSimpleRep StakeReference Source # 
Instance details

HasSimpleRep DRep Source # 
Instance details

HasSimpleRep DRepState Source # 
Instance details

HasSimpleRep GenDelegPair Source # 
Instance details

HasSimpleRep GenDelegs Source # 
Instance details

HasSimpleRep ScriptHash Source # 
Instance details

HasSimpleRep TxAuxDataHash Source # 
Instance details

HasSimpleRep Metadatum Source # 
Instance details

HasSimpleRep Language Source # 
Instance details

HasSimpleRep Reward Source # 
Instance details

HasSimpleRep RewardType Source # 
Instance details

HasSimpleRep CommitteeAuthorization Source # 
Instance details

HasSimpleRep FutureGenDeleg Source # 
Instance details

HasSimpleRep InstantaneousRewards Source # 
Instance details

HasSimpleRep ChainAccountState Source # 
Instance details

HasSimpleRep IndividualPoolStake Source # 
Instance details

HasSimpleRep PoolDistr Source # 
Instance details

HasSimpleRep SnapShot Source # 
Instance details

HasSimpleRep SnapShots Source # 
Instance details

HasSimpleRep Stake Source # 
Instance details

HasSimpleRep PoolMetadata Source # 
Instance details

HasSimpleRep StakePoolParams Source # 
Instance details

HasSimpleRep StakePoolState Source # 
Instance details

HasSimpleRep TxId Source # 
Instance details

HasSimpleRep TxIn Source # 
Instance details

HasSimpleRep AssetName Source # 
Instance details

HasSimpleRep MaryValue Source # 
Instance details

HasSimpleRep MultiAsset Source # 
Instance details

HasSimpleRep PolicyID Source # 
Instance details

HasSimpleRep Likelihood Source # 
Instance details

HasSimpleRep LogWeight Source # 
Instance details

HasSimpleRep NonMyopic Source # 
Instance details

HasSimpleRep FreeVars Source # 
Instance details

HasSimpleRep Pulser Source # 
Instance details

HasSimpleRep PulsingRewUpdate Source # 
Instance details

HasSimpleRep RewardAns Source # 
Instance details

HasSimpleRep RewardSnapShot Source # 
Instance details

HasSimpleRep RewardUpdate Source # 
Instance details

HasSimpleRep LeaderOnlyReward Source # 
Instance details

HasSimpleRep PoolRewardInfo Source # 
Instance details

HasSimpleRep StakeShare Source # 
Instance details

HasSimpleRep GenesisDelegCert Source # 
Instance details

HasSimpleRep MIRCert Source # 
Instance details

HasSimpleRep MIRPot Source # 
Instance details

HasSimpleRep MIRTarget Source # 
Instance details

HasSimpleRep ShelleyDelegCert Source # 
Instance details

HasSimpleRep EpochNo Source # 
Instance details

HasSimpleRep SlotNo Source # 
Instance details

HasSimpleRep Data Source # 
Instance details

HasDivision DeltaCoin Source # 
Instance details

HasDivision EpochNo Source # 
Instance details

NumLike DeltaCoin Source # 
Instance details

NumLike EpochNo Source # 
Instance details

OrdLike DeltaCoin Source # 
Instance details

OrdLike EpochNo Source # 
Instance details

OrdLike SlotNo Source # 
Instance details

Foldy DeltaCoin Source # 
Instance details

Num DeltaCoin Source # 
Instance details

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

Associated Types

type Hint (Proposals era) 
Instance details

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

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

Associated Types

type TypeSpec (OSet a) 
Instance details

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

type Prerequisites (OSet a) 
Instance details

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

type Prerequisites (OSet a) = ()
(Era era, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (AllegraTxAuxData era) Source # 
Instance details

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

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

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

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

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

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

Associated Types

type TypeSpec (Sized a) 
Instance details

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

type Prerequisites (Sized a) 
Instance details

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

type Prerequisites (Sized a) = ()
HasSpec (ConwayGovState ConwayEra) Source # 
Instance details

HasSpec (DRepPulsingState ConwayEra) Source # 
Instance details

Methods

emptySpecTypeSpec (DRepPulsingState ConwayEra) Source #

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

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

conformsToDRepPulsingState ConwayEraTypeSpec (DRepPulsingState ConwayEra) → Bool Source #

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

fixupWithTypeSpecTypeSpec (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEraMaybe (DRepPulsingState ConwayEra) Source #

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

cardinalTypeSpecTypeSpec (DRepPulsingState ConwayEra) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

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

alternateShowTypeSpec (DRepPulsingState ConwayEra) → BinaryShow Source #

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

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

prerequisitesEvidence (Prerequisites (DRepPulsingState ConwayEra)) Source #

HasSpec (PulsingSnapshot ConwayEra) Source # 
Instance details

Methods

emptySpecTypeSpec (PulsingSnapshot ConwayEra) Source #

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

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

conformsToPulsingSnapshot ConwayEraTypeSpec (PulsingSnapshot ConwayEra) → Bool Source #

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

fixupWithTypeSpecTypeSpec (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEraMaybe (PulsingSnapshot ConwayEra) Source #

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

cardinalTypeSpecTypeSpec (PulsingSnapshot ConwayEra) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

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

alternateShowTypeSpec (PulsingSnapshot ConwayEra) → BinaryShow Source #

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

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

prerequisitesEvidence (Prerequisites (PulsingSnapshot ConwayEra)) Source #

(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (EnactState era) Source # 
Instance details

(HasSpec (Accounts era), HasSpec (InstantStake era), Era era) ⇒ HasSpec (RatifyEnv era) Source # 
Instance details

Associated Types

type TypeSpec (RatifyEnv era) 
Instance details

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

type Prerequisites (RatifyEnv era) 
Instance details

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

type Prerequisites (RatifyEnv era) = ()
HasSpec (RatifySignal ConwayEra) Source # 
Instance details

HasSpec (RatifyState ConwayEra) Source # 
Instance details

Era era ⇒ HasSpec (Committee era) Source # 
Instance details

Associated Types

type TypeSpec (Committee era) 
Instance details

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

type Prerequisites (Committee era) 
Instance details

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

type Prerequisites (Committee era) = ()
EraPParams era ⇒ HasSpec (Constitution era) Source # 
Instance details

EraSpecPParams era ⇒ HasSpec (GovAction era) Source # 
Instance details

Associated Types

type TypeSpec (GovAction era) 
Instance details

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

type Prerequisites (GovAction era) 
Instance details

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

type Prerequisites (GovAction era) = ()
(Era era, EraSpecPParams era) ⇒ HasSpec (GovActionState era) Source # 
Instance details

Typeable p ⇒ HasSpec (GovPurposeId p) Source # 
Instance details

HasSpec (GovRelation StrictMaybe) Source # 
Instance details

EraSpecPParams era ⇒ HasSpec (ProposalProcedure era) Source # 
Instance details

Typeable era ⇒ HasSpec (VotingProcedure era) Source # 
Instance details

Typeable era ⇒ HasSpec (VotingProcedures era) Source # 
Instance details

(EraSpecPParams era, Arbitrary (Proposals era), HasSpec (Tree (GAS era))) ⇒ HasSpec (Proposals era) Source # 
Instance details

Associated Types

type TypeSpec (Proposals era) 
Instance details

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

type Prerequisites (Proposals era) 
Instance details

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

type Prerequisites (Proposals era) = ()
(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (CertEnv era) Source # 
Instance details

Associated Types

type TypeSpec (CertEnv era) 
Instance details

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

type Prerequisites (CertEnv era) 
Instance details

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

type Prerequisites (CertEnv era) = ()
(EraGov era, EraTx era, EraSpecPParams era, HasSpec (Tx 'TopTx era)) ⇒ HasSpec (CertsEnv era) Source # 
Instance details

Associated Types

type TypeSpec (CertsEnv era) 
Instance details

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

type Prerequisites (CertsEnv era) 
Instance details

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

type Prerequisites (CertsEnv era) = ()
(HasSpec (PParams era), Era era) ⇒ HasSpec (ConwayDelegEnv era) Source # 
Instance details

HasSpec (EnactSignal ConwayEra) Source # 
Instance details

(EraSpecPParams era, EraTxOut era, EraCertState era, EraGov era, HasSpec (CertState era)) ⇒ HasSpec (GovEnv era) Source # 
Instance details

Associated Types

type TypeSpec (GovEnv era) 
Instance details

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

type TypeSpec (GovEnv era) = TypeSpec (SimpleRep (GovEnv era))
type Prerequisites (GovEnv era) 
Instance details

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

type Prerequisites (GovEnv era) = ()
HasSpec (GovSignal ConwayEra) Source # 
Instance details

HasSpec (ConwayGovCertEnv ConwayEra) Source # 
Instance details

Methods

emptySpecTypeSpec (ConwayGovCertEnv ConwayEra) Source #

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

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

conformsToConwayGovCertEnv ConwayEraTypeSpec (ConwayGovCertEnv ConwayEra) → Bool Source #

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

fixupWithTypeSpecTypeSpec (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEraMaybe (ConwayGovCertEnv ConwayEra) Source #

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

cardinalTypeSpecTypeSpec (ConwayGovCertEnv ConwayEra) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

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

alternateShowTypeSpec (ConwayGovCertEnv ConwayEra) → BinaryShow Source #

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

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

prerequisitesEvidence (Prerequisites (ConwayGovCertEnv ConwayEra)) Source #

Typeable era ⇒ HasSpec (ConwayAccountState era) Source # 
Instance details

Typeable era ⇒ HasSpec (ConwayAccounts era) Source # 
Instance details

(ConwayEraCertState era, HasSpec (Accounts era)) ⇒ HasSpec (ConwayCertState era) Source # 
Instance details

Typeable era ⇒ HasSpec (ConwayInstantStake era) Source # 
Instance details

Era era ⇒ HasSpec (VState era) Source # 
Instance details

Associated Types

type TypeSpec (VState era) 
Instance details

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

type TypeSpec (VState era) = TypeSpec (SimpleRep (VState era))
type Prerequisites (VState era) 
Instance details

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

type Prerequisites (VState era) = ()
Era era ⇒ HasSpec (ConwayTxCert era) Source # 
Instance details

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

Typeable r ⇒ HasSpec (Credential r) Source # 
Instance details

Typeable a ⇒ HasSpec (NoUpdate a) Source # 
Instance details

Typeable index ⇒ HasSpec (SafeHash index) Source # 
Instance details

Associated Types

type TypeSpec (SafeHash index) 
Instance details

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

type TypeSpec (SafeHash index) = ()
type Prerequisites (SafeHash index) 
Instance details

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

type Prerequisites (SafeHash index) = ()
Typeable r ⇒ HasSpec (VRFVerKeyHash r) Source # 
Instance details

Typeable r ⇒ HasSpec (WitVKey r) Source # 
Instance details

Associated Types

type TypeSpec (WitVKey r) 
Instance details

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

type TypeSpec (WitVKey r) = ()
type Prerequisites (WitVKey r) 
Instance details

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

type Prerequisites (WitVKey r) = ()
(Era era, HasSpec (Data era)) ⇒ HasSpec (BinaryData era) Source # 
Instance details

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

Associated Types

type TypeSpec (Data era) 
Instance details

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

type TypeSpec (Data era) = TypeSpec (SimpleRep (Data era))
type Prerequisites (Data era) 
Instance details

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

type Prerequisites (Data era) = ()
(Era era, HasSpec (Data era)) ⇒ HasSpec (Datum era) Source # 
Instance details

Associated Types

type TypeSpec (Datum era) 
Instance details

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

type TypeSpec (Datum era) = TypeSpec (SimpleRep (Datum era))
type Prerequisites (Datum era) 
Instance details

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

type Prerequisites (Datum era) = ()
Era era ⇒ HasSpec (CommitteeState era) Source # 
Instance details

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

Associated Types

type TypeSpec (DState era) 
Instance details

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

type TypeSpec (DState era) = TypeSpec (SimpleRep (DState era))
type Prerequisites (DState era) 
Instance details

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

type Prerequisites (DState era) = ()
Era era ⇒ HasSpec (PState era) Source # 
Instance details

Associated Types

type TypeSpec (PState era) 
Instance details

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

type TypeSpec (PState era) = TypeSpec (SimpleRep (PState era))
type Prerequisites (PState era) 
Instance details

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

type Prerequisites (PState era) = ()
(Era era, HasSpec (TxOut era), IsNormalType (TxOut era)) ⇒ HasSpec (UTxO era) Source # 
Instance details

Associated Types

type TypeSpec (UTxO era) 
Instance details

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

type TypeSpec (UTxO era) = TypeSpec (SimpleRep (UTxO era))
type Prerequisites (UTxO era) 
Instance details

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

type Prerequisites (UTxO era) = ()
(EraTxOut era, EraGov era, EraSpecPParams era) ⇒ HasSpec (ShelleyGovState era) Source # 
Instance details

(EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (InstantStake era), HasSpec (CertState era)) ⇒ HasSpec (EpochState era) Source # 
Instance details

(EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (InstantStake era), HasSpec (CertState era)) ⇒ HasSpec (LedgerState era) Source # 
Instance details

(EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), HasSpec (StashedAVVMAddresses era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (CertState era), HasSpec (InstantStake era)) ⇒ HasSpec (NewEpochState era) Source # 
Instance details

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

Associated Types

type TypeSpec (UTxOState era) 
Instance details

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

type Prerequisites (UTxOState era) 
Instance details

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

type Prerequisites (UTxOState era) = ()
(HasSpec (PParams era), Era era) ⇒ HasSpec (LedgerEnv era) Source # 
Instance details

Associated Types

type TypeSpec (LedgerEnv era) 
Instance details

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

type Prerequisites (LedgerEnv era) 
Instance details

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

type Prerequisites (LedgerEnv era) = ()
(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (PoolEnv era) Source # 
Instance details

Associated Types

type TypeSpec (PoolEnv era) 
Instance details

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

type Prerequisites (PoolEnv era) 
Instance details

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

type Prerequisites (PoolEnv era) = ()
(EraGov era, EraTxOut era, EraSpecPParams era, EraCertState era, HasSpec (CertState era)) ⇒ HasSpec (UtxoEnv era) Source # 
Instance details

Associated Types

type TypeSpec (UtxoEnv era) 
Instance details

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

type Prerequisites (UtxoEnv era) 
Instance details

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

type Prerequisites (UtxoEnv era) = ()
Typeable era ⇒ HasSpec (ShelleyAccountState era) Source # 
Instance details

Typeable era ⇒ HasSpec (ShelleyAccounts era) Source # 
Instance details

(EraCertState era, HasSpec (Accounts era)) ⇒ HasSpec (ShelleyCertState era) Source # 
Instance details

Typeable era ⇒ HasSpec (ShelleyInstantStake era) Source # 
Instance details

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

Era era ⇒ HasSpec (ShelleyTxCert era) Source # 
Instance details

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

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

HasSpec a ⇒ HasSpec (StrictSeq a) Source # 
Instance details

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

Associated Types

type TypeSpec (Seq a) 
Instance details

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

type TypeSpec (Seq a) = TypeSpec (SimpleRep (Seq a))
type Prerequisites (Seq a) 
Instance details

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

type Prerequisites (Seq a) = ()
(Typeable a, Ord a) ⇒ HasSimpleRep (OSet a) Source # 
Instance details

Associated Types

type SimpleRep (OSet a) 
Instance details

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

type SimpleRep (OSet a) = [a]
type TheSop (OSet a) 
Instance details

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

type TheSop (OSet a) = SOPOf (Rep (OSet a))
(Era era, Typeable (NativeScript era), EncCBOR (NativeScript era)) ⇒ HasSimpleRep (AllegraTxAuxData era) Source # 
Instance details

(Era era, Typeable (NativeScript era)) ⇒ HasSimpleRep (AlonzoScript era) Source # 
Instance details

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

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

Associated Types

type SimpleRep (AlonzoTxOut era) 
Instance details

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

type TheSop (AlonzoTxOut era) 
Instance details

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

type TheSop (AlonzoTxOut era)
AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxWits era) Source # 
Instance details

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

Typeable a ⇒ HasSimpleRep (Sized a) Source # 
Instance details

Associated Types

type SimpleRep (Sized a) 
Instance details

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

type SimpleRep (Sized a) = SOP (TheSop (Sized a))
type TheSop (Sized a) 
Instance details

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

type TheSop (Sized a) = SOPOf (Rep (Sized a))
HasSimpleRep (ConwayGovState ConwayEra) Source # 
Instance details

HasSimpleRep (DRepPulsingState ConwayEra) Source # 
Instance details

HasSimpleRep (PulsingSnapshot ConwayEra) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (EnactState era) Source # 
Instance details

Associated Types

type SimpleRep (EnactState era) 
Instance details

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

type TheSop (EnactState era) 
Instance details

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

type TheSop (EnactState era) = SOPOf (Rep (EnactState era))
(HasSpec (Accounts era), HasSpec (InstantStake era), Typeable era) ⇒ HasSimpleRep (RatifyEnv era) Source # 
Instance details

Associated Types

type SimpleRep (RatifyEnv era) 
Instance details

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

type SimpleRep (RatifyEnv era) = SOP (TheSop (RatifyEnv era))
type TheSop (RatifyEnv era) 
Instance details

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

type TheSop (RatifyEnv era) = SOPOf (Rep (RatifyEnv era))
HasSimpleRep (RatifySignal ConwayEra) Source # 
Instance details

HasSimpleRep (RatifyState ConwayEra) Source # 
Instance details

HasSimpleRep (Committee era) Source # 
Instance details

Associated Types

type SimpleRep (Committee era) 
Instance details

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

type SimpleRep (Committee era) = SOP (TheSop (Committee era))
type TheSop (Committee era) 
Instance details

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

type TheSop (Committee era) = SOPOf (Rep (Committee era))
HasSimpleRep (Constitution era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (GovAction era) Source # 
Instance details

Associated Types

type SimpleRep (GovAction era) 
Instance details

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

type SimpleRep (GovAction era) = SOP (TheSop (GovAction era))
type TheSop (GovAction era) 
Instance details

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

type TheSop (GovAction era) = SOPOf (Rep (GovAction era))
Typeable era ⇒ HasSimpleRep (GovActionState era) Source # 
Instance details

HasSimpleRep (GovPurposeId p) Source # 
Instance details

HasSimpleRep (GovRelation StrictMaybe) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (ProposalProcedure era) Source # 
Instance details

HasSimpleRep (VotingProcedure era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (VotingProcedures era) Source # 
Instance details

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

Associated Types

type SimpleRep (Proposals era) 
Instance details

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

type SimpleRep (Proposals era) = SOP (TheSop (Proposals era))
type TheSop (Proposals era) 
Instance details

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

type TheSop (Proposals era)
Era era ⇒ HasSimpleRep (CertEnv era) Source # 
Instance details

Associated Types

type SimpleRep (CertEnv era) 
Instance details

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

type SimpleRep (CertEnv era) = SOP (TheSop (CertEnv era))
type TheSop (CertEnv era) 
Instance details

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

type TheSop (CertEnv era) = SOPOf (Rep (CertEnv era))
(Typeable (Tx 'TopTx era), Typeable era) ⇒ HasSimpleRep (CertsEnv era) Source # 
Instance details

Associated Types

type SimpleRep (CertsEnv era) 
Instance details

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

type SimpleRep (CertsEnv era) = SOP (TheSop (CertsEnv era))
type TheSop (CertsEnv era) 
Instance details

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

type TheSop (CertsEnv era) = SOPOf (Rep (CertsEnv era))
Typeable era ⇒ HasSimpleRep (ConwayDelegEnv era) Source # 
Instance details

HasSimpleRep (EnactSignal ConwayEra) Source # 
Instance details

(Typeable (CertState era), Era era) ⇒ HasSimpleRep (GovEnv era) Source # 
Instance details

Associated Types

type SimpleRep (GovEnv era) 
Instance details

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

type SimpleRep (GovEnv era) = SOP (TheSop (GovEnv era))
type TheSop (GovEnv era) 
Instance details

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

type TheSop (GovEnv era) = SOPOf (Rep (GovEnv era))
(Typeable (TxCert era), Typeable era) ⇒ HasSimpleRep (GovSignal era) Source # 
Instance details

Associated Types

type SimpleRep (GovSignal era) 
Instance details

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

type SimpleRep (GovSignal era) = SOP (TheSop (GovSignal era))
type TheSop (GovSignal era) 
Instance details

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

type TheSop (GovSignal era) = SOPOf (Rep (GovSignal era))
HasSimpleRep (ConwayGovCertEnv ConwayEra) Source # 
Instance details

HasSimpleRep (ConwayAccountState era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (ConwayAccounts era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (ConwayCertState era) Source # 
Instance details

HasSimpleRep (ConwayInstantStake era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (VState era) Source # 
Instance details

Associated Types

type SimpleRep (VState era) 
Instance details

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

type SimpleRep (VState era) = SOP (TheSop (VState era))
type TheSop (VState era) 
Instance details

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

type TheSop (VState era) = SOPOf (Rep (VState era))
HasSimpleRep (ConwayTxCert era) Source # 
Instance details

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

Typeable r ⇒ HasSimpleRep (Credential r) Source # 
Instance details

HasSimpleRep (NoUpdate a) Source # 
Instance details

Associated Types

type SimpleRep (NoUpdate a) 
Instance details

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

type TheSop (NoUpdate a) 
Instance details

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

type TheSop (NoUpdate a) = SOPOf (Rep (NoUpdate a))
Era era ⇒ HasSimpleRep (BinaryData era) Source # 
Instance details

Associated Types

type SimpleRep (BinaryData era) 
Instance details

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

type SimpleRep (BinaryData era) = Data era
type TheSop (BinaryData era) 
Instance details

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

type TheSop (BinaryData era) = SOPOf (Rep (BinaryData era))
Era era ⇒ HasSimpleRep (Data era) Source # 
Instance details

Associated Types

type SimpleRep (Data era) 
Instance details

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

type SimpleRep (Data era) = Data
type TheSop (Data era) 
Instance details

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

type TheSop (Data era) = SOPOf (Rep (Data era))

Methods

toSimpleRepData era → SimpleRep (Data era) Source #

fromSimpleRepSimpleRep (Data era) → Data era Source #

Typeable era ⇒ HasSimpleRep (Datum era) Source # 
Instance details

Associated Types

type SimpleRep (Datum era) 
Instance details

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

type SimpleRep (Datum era) = SOP (TheSop (Datum era))
type TheSop (Datum era) 
Instance details

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

type TheSop (Datum era) = SOPOf (Rep (Datum era))

Methods

toSimpleRepDatum era → SimpleRep (Datum era) Source #

fromSimpleRepSimpleRep (Datum era) → Datum era Source #

HasSimpleRep (CommitteeState era) Source # 
Instance details

Typeable (Accounts era) ⇒ HasSimpleRep (DState era) Source # 
Instance details

Associated Types

type SimpleRep (DState era) 
Instance details

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

type SimpleRep (DState era) = SOP (TheSop (DState era))
type TheSop (DState era) 
Instance details

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

type TheSop (DState era) = SOPOf (Rep (DState era))
HasSimpleRep (PState era) Source # 
Instance details

Associated Types

type SimpleRep (PState era) 
Instance details

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

type SimpleRep (PState era) = SOP (TheSop (PState era))
type TheSop (PState era) 
Instance details

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

type TheSop (PState era) = SOPOf (Rep (PState era))
Typeable (TxOut era) ⇒ HasSimpleRep (UTxO era) Source # 
Instance details

Associated Types

type SimpleRep (UTxO era) 
Instance details

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

type SimpleRep (UTxO era) = SOP (TheSop (UTxO era))
type TheSop (UTxO era) 
Instance details

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

type TheSop (UTxO era) = SOPOf (Rep (UTxO era))

Methods

toSimpleRepUTxO era → SimpleRep (UTxO era) Source #

fromSimpleRepSimpleRep (UTxO era) → UTxO era Source #

Typeable era ⇒ HasSimpleRep (ShelleyGovState era) Source # 
Instance details

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

Associated Types

type SimpleRep (EpochState era) 
Instance details

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

type TheSop (EpochState era) 
Instance details

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

type TheSop (EpochState era) = SOPOf (Rep (EpochState era))
(Typeable (CertState era), EraTxOut era) ⇒ HasSimpleRep (LedgerState era) Source # 
Instance details

Associated Types

type SimpleRep (LedgerState era) 
Instance details

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

type TheSop (LedgerState era) 
Instance details

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

type TheSop (LedgerState era) = SOPOf (Rep (LedgerState era))
(Typeable (StashedAVVMAddresses era), Era era) ⇒ HasSimpleRep (NewEpochState era) Source # 
Instance details

(Typeable (InstantStake era), Typeable (GovState era), Typeable era) ⇒ HasSimpleRep (UTxOState era) Source # 
Instance details

Associated Types

type SimpleRep (UTxOState era) 
Instance details

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

type SimpleRep (UTxOState era) = SOP (TheSop (UTxOState era))
type TheSop (UTxOState era) 
Instance details

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

type TheSop (UTxOState era) = SOPOf (Rep (UTxOState era))
Era era ⇒ HasSimpleRep (LedgerEnv era) Source # 
Instance details

Associated Types

type SimpleRep (LedgerEnv era) 
Instance details

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

type SimpleRep (LedgerEnv era) = SOP (TheSop (LedgerEnv era))
type TheSop (LedgerEnv era) 
Instance details

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

type TheSop (LedgerEnv era) = SOPOf (Rep (LedgerEnv era))
Typeable era ⇒ HasSimpleRep (PoolEnv era) Source # 
Instance details

Associated Types

type SimpleRep (PoolEnv era) 
Instance details

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

type SimpleRep (PoolEnv era) = SOP (TheSop (PoolEnv era))
type TheSop (PoolEnv era) 
Instance details

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

type TheSop (PoolEnv era) = SOPOf (Rep (PoolEnv era))
(Typeable (CertState era), Era era) ⇒ HasSimpleRep (UtxoEnv era) Source # 
Instance details

Associated Types

type SimpleRep (UtxoEnv era) 
Instance details

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

type SimpleRep (UtxoEnv era) = SOP (TheSop (UtxoEnv era))
type TheSop (UtxoEnv era) 
Instance details

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

type TheSop (UtxoEnv era) = SOPOf (Rep (UtxoEnv era))
Typeable era ⇒ HasSimpleRep (ShelleyAccountState era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (ShelleyAccounts era) Source # 
Instance details

Typeable era ⇒ HasSimpleRep (ShelleyCertState era) Source # 
Instance details

HasSimpleRep (ShelleyInstantStake era) Source # 
Instance details

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

HasSimpleRep (ShelleyTxCert era) Source # 
Instance details

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

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

Typeable a ⇒ HasSimpleRep (StrictSeq a) Source # 
Instance details

Associated Types

type SimpleRep (StrictSeq a) 
Instance details

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

type SimpleRep (StrictSeq a) = [a]
type TheSop (StrictSeq a) 
Instance details

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

Typeable a ⇒ HasSimpleRep (Seq a) Source # 
Instance details

Associated Types

type SimpleRep (Seq a) 
Instance details

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

type SimpleRep (Seq a) = [a]
type TheSop (Seq a) 
Instance details

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

type TheSop (Seq a) = SOPOf (Rep (Seq a))
HasDivision (CompactForm Coin) Source # 
Instance details

MaybeBounded (CompactForm Coin) Source # 
Instance details

NumLike (CompactForm Coin) Source # 
Instance details

OrdLike (CompactForm Coin) Source # 
Instance details

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

Num (CompactForm Coin) Source # 
Instance details

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

Typeable a ⇒ Forallable (StrictSeq a) a Source # 
Instance details

Typeable a ⇒ Forallable (Seq a) a Source # 
Instance details

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

Associated Types

type TypeSpec (Hash a b) 
Instance details

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

type TypeSpec (Hash a b) = ()
type Prerequisites (Hash a b) 
Instance details

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

type Prerequisites (Hash a b) = ()
Typeable b ⇒ HasSpec (AbstractHash Blake2b_224 b) Source # 
Instance details

Methods

emptySpecTypeSpec (AbstractHash Blake2b_224 b) Source #

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

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

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

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

fixupWithTypeSpecTypeSpec (AbstractHash Blake2b_224 b) → AbstractHash Blake2b_224 b → Maybe (AbstractHash Blake2b_224 b) Source #

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

cardinalTypeSpecTypeSpec (AbstractHash Blake2b_224 b) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

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

alternateShowTypeSpec (AbstractHash Blake2b_224 b) → BinaryShow Source #

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

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

prerequisitesEvidence (Prerequisites (AbstractHash Blake2b_224 b)) Source #

(AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (Timelock era) Source # 
Instance details

Associated Types

type TypeSpec (Timelock era) 
Instance details

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

type TypeSpec (Timelock era) = ()
type Prerequisites (Timelock era) 
Instance details

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

type Prerequisites (Timelock era) = ()
(EraSpecPParams era, HasSpec (TxBody 'TopTx era), HasSpec (TxWits era), HasSpec (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec (AlonzoTx 'TopTx era) Source # 
Instance details

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

Methods

emptySpecTypeSpec (ConwayPParams StrictMaybe c) Source #

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

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

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

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

fixupWithTypeSpecTypeSpec (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c → Maybe (ConwayPParams StrictMaybe c) Source #

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

cardinalTypeSpecTypeSpec (ConwayPParams StrictMaybe c) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

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

alternateShowTypeSpec (ConwayPParams StrictMaybe c) → BinaryShow Source #

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

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

prerequisitesEvidence (Prerequisites (ConwayPParams StrictMaybe c)) Source #

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

Methods

emptySpecTypeSpec (ConwayPParams Identity era) Source #

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

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

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

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

fixupWithTypeSpecTypeSpec (ConwayPParams Identity era) → ConwayPParams Identity era → Maybe (ConwayPParams Identity era) Source #

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

cardinalTypeSpecTypeSpec (ConwayPParams Identity era) → Specification Integer Source #

cardinalTrueSpecSpecification Integer Source #

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

alternateShowTypeSpec (ConwayPParams Identity era) → BinaryShow Source #

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

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

prerequisitesEvidence (Prerequisites (ConwayPParams Identity era)) Source #

HasSpec (Tx 'TopTx ConwayEra) Source # 
Instance details

HasSpec (TxBody 'TopTx ConwayEra) Source # 
Instance details

(EraTxOut era, EraTx era, EraSpecPParams era, HasSpec (TxBody 'TopTx era), HasSpec (TxWits era), HasSpec (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec (ShelleyTx 'TopTx era) Source # 
Instance details

(Typeable (TxAuxData era), Typeable (TxBody 'TopTx era), Typeable (TxWits era), Era era) ⇒ HasSimpleRep (AlonzoTx 'TopTx era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTx 'TopTx era) 
Instance details

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

type TheSop (AlonzoTx 'TopTx era) 
Instance details

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

type TheSop (AlonzoTx 'TopTx era)
HasSimpleRep (ConwayPParams StrictMaybe c) Source # 
Instance details

HasSimpleRep (ConwayPParams Identity era) Source # 
Instance details

HasSimpleRep (Tx 'TopTx ConwayEra) Source # 
Instance details

HasSimpleRep (TxBody 'TopTx ConwayEra) Source # 
Instance details

(EraTx era, EraTxOut era, EraSpecPParams era) ⇒ HasSimpleRep (ShelleyTx 'TopTx era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTx 'TopTx era) 
Instance details

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

type TheSop (ShelleyTx 'TopTx era) 
Instance details

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

type TheSop (ShelleyTx 'TopTx era)
HasSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

Methods

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

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

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

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

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

fixupWithTypeSpecTypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → Maybe (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

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

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

cardinalTrueSpecSpecification Integer Source #

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

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

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

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

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

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

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

Associated Types

type TypeSpec (THKD tag Identity a) 
Instance details

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

type Prerequisites (THKD tag Identity a) 
Instance details

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

type Prerequisites (THKD tag Identity a) = ()
HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

Typeable a ⇒ HasSimpleRep (THKD tag StrictMaybe a) Source # 
Instance details

Associated Types

type SimpleRep (THKD tag StrictMaybe a) 
Instance details

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

type TheSop (THKD tag StrictMaybe a) 
Instance details

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

type TheSop (THKD tag StrictMaybe a) = SOPOf (Rep (THKD tag StrictMaybe a))
Typeable a ⇒ HasSimpleRep (THKD tag Identity a) Source # 
Instance details

Associated Types

type SimpleRep (THKD tag Identity a) 
Instance details

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

type SimpleRep (THKD tag Identity a) = a
type TheSop (THKD tag Identity a) 
Instance details

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

type TheSop (THKD tag Identity a) = SOPOf (Rep (THKD tag Identity a))
(Vector vk k, Vector vv v, Typeable vk, Typeable vv, Ord k, Eq (vv v), Eq (vk k), HasSpec k, HasSpec v, IsNormalType v, IsNormalType k) ⇒ HasSpec (VMap vk vv k v) Source # 
Instance details

Associated Types

type TypeSpec (VMap vk vv k v) 
Instance details

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

type TypeSpec (VMap vk vv k v) = TypeSpec (SimpleRep (VMap vk vv k v))
type Prerequisites (VMap vk vv k v) 
Instance details

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

type Prerequisites (VMap vk vv k v) = ()

Methods

emptySpecTypeSpec (VMap vk vv k v) Source #

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

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

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

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

fixupWithTypeSpecTypeSpec (VMap vk vv k v) → VMap vk vv k v → Maybe (VMap vk vv k v) Source #

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

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

cardinalTrueSpecSpecification Integer Source #

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

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

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

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

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

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

Associated Types

type SimpleRep (VMap vk vv k v) 
Instance details

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

type SimpleRep (VMap vk vv k v) = Map k v
type TheSop (VMap vk vv k v) 
Instance details

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

type TheSop (VMap vk vv k v) = SOPOf (Rep (VMap vk vv k v))

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 #