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 (EraCrypto era)), [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, Crypto c) ⇒ Term fn (KeyHash r c) → Term fn (Credential r c) 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 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 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 DeltaCoin Source # 
Instance details

Associated Types

type SimpleRep DeltaCoin Source #

type TheSop DeltaCoin ∷ [Type] Source #

HasSimpleRep Ptr Source # 
Instance details

Associated Types

type SimpleRep Ptr Source #

type TheSop Ptr ∷ [Type] Source #

HasSimpleRep Metadatum Source # 
Instance details

Associated Types

type SimpleRep Metadatum Source #

type TheSop Metadatum ∷ [Type] Source #

HasSimpleRep Language Source # 
Instance details

Associated Types

type SimpleRep Language Source #

type TheSop Language ∷ [Type] Source #

HasSimpleRep PoolMetadata Source # 
Instance details

Associated Types

type SimpleRep PoolMetadata Source #

type TheSop PoolMetadata ∷ [Type] Source #

HasSimpleRep RewardType Source # 
Instance details

Associated Types

type SimpleRep RewardType Source #

type TheSop RewardType ∷ [Type] Source #

HasSimpleRep RDPair Source # 
Instance details

Associated Types

type SimpleRep RDPair Source #

type TheSop RDPair ∷ [Type] Source #

HasSimpleRep AssetName Source # 
Instance details

Associated Types

type SimpleRep AssetName Source #

type TheSop AssetName ∷ [Type] Source #

HasSimpleRep AccountState Source # 
Instance details

Associated Types

type SimpleRep AccountState Source #

type TheSop AccountState ∷ [Type] Source #

HasSimpleRep Likelihood Source # 
Instance details

Associated Types

type SimpleRep Likelihood Source #

type TheSop Likelihood ∷ [Type] Source #

HasSimpleRep LogWeight Source # 
Instance details

Associated Types

type SimpleRep LogWeight Source #

type TheSop LogWeight ∷ [Type] Source #

HasSimpleRep StakeShare Source # 
Instance details

Associated Types

type SimpleRep StakeShare Source #

type TheSop StakeShare ∷ [Type] Source #

HasSimpleRep MIRPot Source # 
Instance details

Associated Types

type SimpleRep MIRPot Source #

type TheSop MIRPot ∷ [Type] Source #

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

Associated Types

type TypeSpec fn DeltaCoin Source #

type Prerequisites fn DeltaCoin Source #

IsConwayUniv fn ⇒ HasSpec fn Ptr Source # 
Instance details

Associated Types

type TypeSpec fn Ptr Source #

type Prerequisites fn Ptr Source #

IsConwayUniv fn ⇒ HasSpec fn Metadatum Source # 
Instance details

Associated Types

type TypeSpec fn Metadatum Source #

type Prerequisites fn Metadatum Source #

IsConwayUniv fn ⇒ HasSpec fn CostModel Source # 
Instance details

Associated Types

type TypeSpec fn CostModel Source #

type Prerequisites fn CostModel Source #

IsConwayUniv fn ⇒ HasSpec fn Language Source # 
Instance details

Associated Types

type TypeSpec fn Language Source #

type Prerequisites fn Language Source #

IsConwayUniv fn ⇒ HasSpec fn PoolMetadata Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn StakePoolRelay Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn RewardType Source # 
Instance details

Associated Types

type TypeSpec fn RewardType Source #

type Prerequisites fn RewardType Source #

IsConwayUniv fn ⇒ HasSpec fn RDPair Source # 
Instance details

Associated Types

type TypeSpec fn RDPair Source #

type Prerequisites fn RDPair Source #

IsConwayUniv fn ⇒ HasSpec fn AssetName Source # 
Instance details

Associated Types

type TypeSpec fn AssetName Source #

type Prerequisites fn AssetName Source #

IsConwayUniv fn ⇒ HasSpec fn AccountState Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn Likelihood Source # 
Instance details

Associated Types

type TypeSpec fn Likelihood Source #

type Prerequisites fn Likelihood Source #

IsConwayUniv fn ⇒ HasSpec fn LogWeight Source # 
Instance details

Associated Types

type TypeSpec fn LogWeight Source #

type Prerequisites fn LogWeight Source #

IsConwayUniv fn ⇒ HasSpec fn StakeShare Source # 
Instance details

Associated Types

type TypeSpec fn StakeShare Source #

type Prerequisites fn StakeShare Source #

IsConwayUniv fn ⇒ HasSpec fn MIRPot Source # 
Instance details

Associated Types

type TypeSpec fn MIRPot Source #

type Prerequisites fn MIRPot Source #

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 ~ Conway, EraSpecPParams Conway) ⇒ HasGenHint fn (Proposals era) Source # 
Instance details

Associated Types

type Hint (Proposals era) Source #

Methods

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

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

Associated Types

type TypeSpec fn (OSet a) Source #

type Prerequisites fn (OSet a) Source #

(IsConwayUniv fn, Crypto (EraCrypto era), 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), Crypto (EraCrypto era), HasSpec fn (Script era), IsNormalType (Script era)) ⇒ HasSpec fn (BabbageTxOut era) Source # 
Instance details

Associated Types

type TypeSpec fn (BabbageTxOut era) Source #

type Prerequisites fn (BabbageTxOut era) Source #

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

Associated Types

type TypeSpec fn (Sized a) Source #

type Prerequisites fn (Sized a) Source #

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

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

Methods

emptySpecTypeSpec fn (DRepPulsingState Conway) Source #

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

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

conformsToDRepPulsingState ConwayTypeSpec fn (DRepPulsingState Conway) → Bool Source #

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

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

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

cardinalTrueSpecSpecification fn Integer Source #

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

alternateShowTypeSpec fn (DRepPulsingState Conway) → BinaryShow Source #

monadConformsToDRepPulsingState ConwayTypeSpec fn (DRepPulsingState Conway) → Writer [String] Bool Source #

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

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

prerequisitesEvidence (Prerequisites fn (DRepPulsingState Conway)) Source #

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

(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 Conway, IsConwayUniv fn) ⇒ HasSpec fn (RatifySignal Conway) Source # 
Instance details

(EraSpecPParams Conway, IsConwayUniv fn) ⇒ HasSpec fn (RatifyState Conway) 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, Crypto c) ⇒ HasSpec fn (GovActionId c) Source # 
Instance details

Associated Types

type TypeSpec fn (GovActionId c) Source #

type Prerequisites fn (GovActionId c) Source #

(IsConwayUniv fn, 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, Crypto c) ⇒ HasSpec fn (Voter c) Source # 
Instance details

Associated Types

type TypeSpec fn (Voter c) Source #

type Prerequisites fn (Voter c) Source #

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

Associated Types

type TypeSpec fn (VotingProcedure era) Source #

type Prerequisites fn (VotingProcedure era) Source #

(IsConwayUniv fn, Typeable era, Crypto (EraCrypto 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) ⇒ 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 Conway) ⇒ HasSpec fn (EnactSignal Conway) 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 Conway, EraSpecPParams Conway, IsConwayUniv fn) ⇒ HasSpec fn (GovSignal Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (GovSignal Conway) Source #

type Prerequisites fn (GovSignal Conway) Source #

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

Methods

emptySpecTypeSpec fn (ConwayGovCertEnv Conway) Source #

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

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

conformsToConwayGovCertEnv ConwayTypeSpec fn (ConwayGovCertEnv Conway) → Bool Source #

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

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

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

cardinalTrueSpecSpecification fn Integer Source #

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

alternateShowTypeSpec fn (ConwayGovCertEnv Conway) → BinaryShow Source #

monadConformsToConwayGovCertEnv ConwayTypeSpec fn (ConwayGovCertEnv Conway) → Writer [String] Bool Source #

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

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

prerequisitesEvidence (Prerequisites fn (ConwayGovCertEnv Conway)) Source #

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

Associated Types

type TypeSpec fn (ConwayTxBody (ConwayEra c)) Source #

type Prerequisites fn (ConwayTxBody (ConwayEra c)) Source #

Methods

emptySpecTypeSpec fn (ConwayTxBody (ConwayEra c)) Source #

combineSpecTypeSpec fn (ConwayTxBody (ConwayEra c)) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Specification fn (ConwayTxBody (ConwayEra c)) Source #

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

conformsToConwayTxBody (ConwayEra c) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (ConwayTxBody (ConwayEra c)) → ConwayTxBody (ConwayEra c) → [ConwayTxBody (ConwayEra c)] Source #

toPredsTerm fn (ConwayTxBody (ConwayEra c)) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (ConwayTxBody (ConwayEra c)) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (ConwayTxBody (ConwayEra c)) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (ConwayTxBody (ConwayEra c)) → BinaryShow Source #

monadConformsToConwayTxBody (ConwayEra c) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (ConwayTxBody (ConwayEra c)) → [ConwayTxBody (ConwayEra c)] → Specification fn (ConwayTxBody (ConwayEra c)) Source #

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

prerequisitesEvidence (Prerequisites fn (ConwayTxBody (ConwayEra c))) Source #

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

Associated Types

type TypeSpec fn (ConwayDelegCert c) Source #

type Prerequisites fn (ConwayDelegCert c) Source #

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

Associated Types

type TypeSpec fn (ConwayGovCert c) Source #

type Prerequisites fn (ConwayGovCert c) Source #

(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, Crypto c) ⇒ HasSpec fn (Delegatee c) Source # 
Instance details

Associated Types

type TypeSpec fn (Delegatee c) Source #

type Prerequisites fn (Delegatee c) Source #

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

Associated Types

type TypeSpec fn (Addr c) Source #

type Prerequisites fn (Addr c) Source #

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

Associated Types

type TypeSpec fn (BootstrapAddress c) Source #

type Prerequisites fn (BootstrapAddress c) Source #

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

Associated Types

type TypeSpec fn (CompactAddr c) Source #

type Prerequisites fn (CompactAddr c) Source #

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

Associated Types

type TypeSpec fn (RewardAccount c) Source #

type Prerequisites fn (RewardAccount c) Source #

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

Associated Types

type TypeSpec fn (Withdrawals c) Source #

type Prerequisites fn (Withdrawals c) Source #

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

Associated Types

type TypeSpec fn (AuxiliaryDataHash c) Source #

type Prerequisites fn (AuxiliaryDataHash c) Source #

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

Associated Types

type TypeSpec fn (Anchor c) Source #

type Prerequisites fn (Anchor c) Source #

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

Associated Types

type TypeSpec fn (BlocksMade c) Source #

type Prerequisites fn (BlocksMade c) 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, Crypto c) ⇒ HasSpec fn (CommitteeAuthorization c) Source # 
Instance details

Methods

emptySpecTypeSpec fn (CommitteeAuthorization c) Source #

combineSpecTypeSpec fn (CommitteeAuthorization c) → TypeSpec fn (CommitteeAuthorization c) → Specification fn (CommitteeAuthorization c) Source #

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

conformsToCommitteeAuthorization c → TypeSpec fn (CommitteeAuthorization c) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (CommitteeAuthorization c) → CommitteeAuthorization c → [CommitteeAuthorization c] Source #

toPredsTerm fn (CommitteeAuthorization c) → TypeSpec fn (CommitteeAuthorization c) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (CommitteeAuthorization c) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (CommitteeAuthorization c) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (CommitteeAuthorization c) → BinaryShow Source #

monadConformsToCommitteeAuthorization c → TypeSpec fn (CommitteeAuthorization c) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (CommitteeAuthorization c) → [CommitteeAuthorization c] → Specification fn (CommitteeAuthorization c) Source #

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

prerequisitesEvidence (Prerequisites fn (CommitteeAuthorization c)) 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, Crypto c) ⇒ HasSpec fn (FutureGenDeleg c) Source # 
Instance details

Associated Types

type TypeSpec fn (FutureGenDeleg c) Source #

type Prerequisites fn (FutureGenDeleg c) Source #

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

(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, Crypto c) ⇒ HasSpec fn (PoolCert c) Source # 
Instance details

Associated Types

type TypeSpec fn (PoolCert c) Source #

type Prerequisites fn (PoolCert c) Source #

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

Associated Types

type TypeSpec fn (StakeReference c) Source #

type Prerequisites fn (StakeReference c) Source #

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

Associated Types

type TypeSpec fn (DRep c) Source #

type Prerequisites fn (DRep c) Source #

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

Associated Types

type TypeSpec fn (DRepState c) Source #

type Prerequisites fn (DRepState c) Source #

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

Associated Types

type TypeSpec fn (SnapShot c) Source #

type Prerequisites fn (SnapShot c) Source #

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

Associated Types

type TypeSpec fn (SnapShots c) Source #

type Prerequisites fn (SnapShots c) Source #

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

Associated Types

type TypeSpec fn (Stake c) Source #

type Prerequisites fn (Stake c) 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, Crypto c) ⇒ HasSpec fn (ScriptHash c) Source # 
Instance details

Associated Types

type TypeSpec fn (ScriptHash c) Source #

type Prerequisites fn (ScriptHash c) Source #

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

Associated Types

type TypeSpec fn (BootstrapWitness c) Source #

type Prerequisites fn (BootstrapWitness c) Source #

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

Associated Types

type TypeSpec fn (GenDelegPair c) Source #

type Prerequisites fn (GenDelegPair c) Source #

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

Associated Types

type TypeSpec fn (GenDelegs c) Source #

type Prerequisites fn (GenDelegs c) Source #

(IsConwayUniv fn, Era era, Crypto (EraCrypto 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), Crypto (EraCrypto era)) ⇒ HasSpec fn (Datum era) Source # 
Instance details

Associated Types

type TypeSpec fn (Datum era) Source #

type Prerequisites fn (Datum era) Source #

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

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

Associated Types

type TypeSpec fn (PoolDistr c) Source #

type Prerequisites fn (PoolDistr c) Source #

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

Associated Types

type TypeSpec fn (PoolParams c) Source #

type Prerequisites fn (PoolParams c) Source #

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

Associated Types

type TypeSpec fn (Reward c) Source #

type Prerequisites fn (Reward c) Source #

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

Associated Types

type TypeSpec fn (TxId c) Source #

type Prerequisites fn (TxId c) Source #

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

Associated Types

type TypeSpec fn (TxIn c) Source #

type Prerequisites fn (TxIn c) Source #

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

Associated Types

type TypeSpec fn (UMap c) Source #

type Prerequisites fn (UMap c) 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, Crypto c) ⇒ HasSpec fn (MaryValue c) Source # 
Instance details

Associated Types

type TypeSpec fn (MaryValue c) Source #

type Prerequisites fn (MaryValue c) Source #

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

Associated Types

type TypeSpec fn (MultiAsset c) Source #

type Prerequisites fn (MultiAsset c) Source #

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

Associated Types

type TypeSpec fn (PolicyID c) Source #

type Prerequisites fn (PolicyID c) 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 #

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

Associated Types

type TypeSpec fn (IncrementalStake c) Source #

type Prerequisites fn (IncrementalStake c) 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, Crypto c) ⇒ HasSpec fn (NonMyopic c) Source # 
Instance details

Associated Types

type TypeSpec fn (NonMyopic c) Source #

type Prerequisites fn (NonMyopic c) Source #

IsConwayUniv fn ⇒ HasSpec fn (FreeVars StandardCrypto) Source # 
Instance details

Methods

emptySpecTypeSpec fn (FreeVars StandardCrypto) Source #

combineSpecTypeSpec fn (FreeVars StandardCrypto) → TypeSpec fn (FreeVars StandardCrypto) → Specification fn (FreeVars StandardCrypto) Source #

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

conformsToFreeVars StandardCryptoTypeSpec fn (FreeVars StandardCrypto) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (FreeVars StandardCrypto) → FreeVars StandardCrypto → [FreeVars StandardCrypto] Source #

toPredsTerm fn (FreeVars StandardCrypto) → TypeSpec fn (FreeVars StandardCrypto) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (FreeVars StandardCrypto) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (FreeVars StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (FreeVars StandardCrypto) → BinaryShow Source #

monadConformsToFreeVars StandardCryptoTypeSpec fn (FreeVars StandardCrypto) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (FreeVars StandardCrypto) → [FreeVars StandardCrypto] → Specification fn (FreeVars StandardCrypto) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (FreeVars StandardCrypto) → Specification fn (FreeVars StandardCrypto) Source #

prerequisitesEvidence (Prerequisites fn (FreeVars StandardCrypto)) Source #

IsConwayUniv fn ⇒ HasSpec fn (Pulser StandardCrypto) Source # 
Instance details

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

Associated Types

type TypeSpec fn (PulsingRewUpdate c) Source #

type Prerequisites fn (PulsingRewUpdate c) Source #

IsConwayUniv fn ⇒ HasSpec fn (RewardAns StandardCrypto) Source # 
Instance details

Methods

emptySpecTypeSpec fn (RewardAns StandardCrypto) Source #

combineSpecTypeSpec fn (RewardAns StandardCrypto) → TypeSpec fn (RewardAns StandardCrypto) → Specification fn (RewardAns StandardCrypto) Source #

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

conformsToRewardAns StandardCryptoTypeSpec fn (RewardAns StandardCrypto) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (RewardAns StandardCrypto) → RewardAns StandardCrypto → [RewardAns StandardCrypto] Source #

toPredsTerm fn (RewardAns StandardCrypto) → TypeSpec fn (RewardAns StandardCrypto) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (RewardAns StandardCrypto) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (RewardAns StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (RewardAns StandardCrypto) → BinaryShow Source #

monadConformsToRewardAns StandardCryptoTypeSpec fn (RewardAns StandardCrypto) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (RewardAns StandardCrypto) → [RewardAns StandardCrypto] → Specification fn (RewardAns StandardCrypto) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (RewardAns StandardCrypto) → Specification fn (RewardAns StandardCrypto) Source #

prerequisitesEvidence (Prerequisites fn (RewardAns StandardCrypto)) Source #

IsConwayUniv fn ⇒ HasSpec fn (RewardSnapShot StandardCrypto) Source # 
Instance details

Methods

emptySpecTypeSpec fn (RewardSnapShot StandardCrypto) Source #

combineSpecTypeSpec fn (RewardSnapShot StandardCrypto) → TypeSpec fn (RewardSnapShot StandardCrypto) → Specification fn (RewardSnapShot StandardCrypto) Source #

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

conformsToRewardSnapShot StandardCryptoTypeSpec fn (RewardSnapShot StandardCrypto) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (RewardSnapShot StandardCrypto) → RewardSnapShot StandardCrypto → [RewardSnapShot StandardCrypto] Source #

toPredsTerm fn (RewardSnapShot StandardCrypto) → TypeSpec fn (RewardSnapShot StandardCrypto) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (RewardSnapShot StandardCrypto) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (RewardSnapShot StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (RewardSnapShot StandardCrypto) → BinaryShow Source #

monadConformsToRewardSnapShot StandardCryptoTypeSpec fn (RewardSnapShot StandardCrypto) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (RewardSnapShot StandardCrypto) → [RewardSnapShot StandardCrypto] → Specification fn (RewardSnapShot StandardCrypto) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (RewardSnapShot StandardCrypto) → Specification fn (RewardSnapShot StandardCrypto) Source #

prerequisitesEvidence (Prerequisites fn (RewardSnapShot StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (RewardUpdate c) Source #

type Prerequisites fn (RewardUpdate c) Source #

IsConwayUniv fn ⇒ HasSpec fn (LeaderOnlyReward StandardCrypto) Source # 
Instance details

Methods

emptySpecTypeSpec fn (LeaderOnlyReward StandardCrypto) Source #

combineSpecTypeSpec fn (LeaderOnlyReward StandardCrypto) → TypeSpec fn (LeaderOnlyReward StandardCrypto) → Specification fn (LeaderOnlyReward StandardCrypto) Source #

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

conformsToLeaderOnlyReward StandardCryptoTypeSpec fn (LeaderOnlyReward StandardCrypto) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (LeaderOnlyReward StandardCrypto) → LeaderOnlyReward StandardCrypto → [LeaderOnlyReward StandardCrypto] Source #

toPredsTerm fn (LeaderOnlyReward StandardCrypto) → TypeSpec fn (LeaderOnlyReward StandardCrypto) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (LeaderOnlyReward StandardCrypto) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (LeaderOnlyReward StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (LeaderOnlyReward StandardCrypto) → BinaryShow Source #

monadConformsToLeaderOnlyReward StandardCryptoTypeSpec fn (LeaderOnlyReward StandardCrypto) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (LeaderOnlyReward StandardCrypto) → [LeaderOnlyReward StandardCrypto] → Specification fn (LeaderOnlyReward StandardCrypto) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (LeaderOnlyReward StandardCrypto) → Specification fn (LeaderOnlyReward StandardCrypto) Source #

prerequisitesEvidence (Prerequisites fn (LeaderOnlyReward StandardCrypto)) Source #

IsConwayUniv fn ⇒ HasSpec fn (PoolRewardInfo StandardCrypto) Source # 
Instance details

Methods

emptySpecTypeSpec fn (PoolRewardInfo StandardCrypto) Source #

combineSpecTypeSpec fn (PoolRewardInfo StandardCrypto) → TypeSpec fn (PoolRewardInfo StandardCrypto) → Specification fn (PoolRewardInfo StandardCrypto) Source #

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

conformsToPoolRewardInfo StandardCryptoTypeSpec fn (PoolRewardInfo StandardCrypto) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (PoolRewardInfo StandardCrypto) → PoolRewardInfo StandardCrypto → [PoolRewardInfo StandardCrypto] Source #

toPredsTerm fn (PoolRewardInfo StandardCrypto) → TypeSpec fn (PoolRewardInfo StandardCrypto) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (PoolRewardInfo StandardCrypto) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (PoolRewardInfo StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (PoolRewardInfo StandardCrypto) → BinaryShow Source #

monadConformsToPoolRewardInfo StandardCryptoTypeSpec fn (PoolRewardInfo StandardCrypto) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (PoolRewardInfo StandardCrypto) → [PoolRewardInfo StandardCrypto] → Specification fn (PoolRewardInfo StandardCrypto) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (PoolRewardInfo StandardCrypto) → Specification fn (PoolRewardInfo StandardCrypto) Source #

prerequisitesEvidence (Prerequisites fn (PoolRewardInfo StandardCrypto)) 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, Crypto c) ⇒ HasSpec fn (GenesisDelegCert c) Source # 
Instance details

Associated Types

type TypeSpec fn (GenesisDelegCert c) Source #

type Prerequisites fn (GenesisDelegCert c) Source #

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

Associated Types

type TypeSpec fn (MIRCert c) Source #

type Prerequisites fn (MIRCert c) Source #

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

Associated Types

type TypeSpec fn (MIRTarget c) Source #

type Prerequisites fn (MIRTarget c) Source #

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

Associated Types

type TypeSpec fn (ShelleyDelegCert c) Source #

type Prerequisites fn (ShelleyDelegCert c) 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 #

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

Associated Types

type TypeSpec fn (Seq a) Source #

type Prerequisites fn (Seq a) Source #

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

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

Associated Types

type TypeSpec fn (Credential r c) Source #

type Prerequisites fn (Credential r c) Source #

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

Associated Types

type TypeSpec fn (VRFVerKeyHash r c) Source #

type Prerequisites fn (VRFVerKeyHash r c) Source #

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

Associated Types

type TypeSpec fn (WitVKey r c) Source #

type Prerequisites fn (WitVKey r c) Source #

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

Associated Types

type TypeSpec fn (SafeHash c index) Source #

type Prerequisites fn (SafeHash c index) Source #

Methods

emptySpecTypeSpec fn (SafeHash c index) Source #

combineSpecTypeSpec fn (SafeHash c index) → TypeSpec fn (SafeHash c index) → Specification fn (SafeHash c index) Source #

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

conformsToSafeHash c index → TypeSpec fn (SafeHash c index) → Bool Source #

shrinkWithTypeSpecTypeSpec fn (SafeHash c index) → SafeHash c index → [SafeHash c index] Source #

toPredsTerm fn (SafeHash c index) → TypeSpec fn (SafeHash c index) → Pred fn Source #

cardinalTypeSpecTypeSpec fn (SafeHash c index) → Specification fn Integer Source #

cardinalTrueSpecSpecification fn Integer Source #

typeSpecHasErrorTypeSpec fn (SafeHash c index) → Maybe (NonEmpty String) Source #

alternateShowTypeSpec fn (SafeHash c index) → BinaryShow Source #

monadConformsToSafeHash c index → TypeSpec fn (SafeHash c index) → Writer [String] Bool Source #

typeSpecOptTypeSpec fn (SafeHash c index) → [SafeHash c index] → Specification fn (SafeHash c index) Source #

guardTypeSpec ∷ [String] → TypeSpec fn (SafeHash c index) → Specification fn (SafeHash c index) Source #

prerequisitesEvidence (Prerequisites fn (SafeHash c index)) Source #

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

Methods

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

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

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

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

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

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

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

cardinalTrueSpecSpecification fn Integer Source #

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

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

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

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

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

prerequisitesEvidence (Prerequisites fn (DRepPulser Conway Identity (RatifyState Conway))) 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 Conway) Source # 
Instance details

HasSimpleRep (DRepPulsingState Conway) Source # 
Instance details

HasSimpleRep (PulsingSnapshot Conway) 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 Conway) Source # 
Instance details

HasSimpleRep (RatifyState Conway) Source # 
Instance details

Associated Types

type SimpleRep (RatifyState Conway) Source #

type TheSop (RatifyState Conway) ∷ [Type] Source #

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

Associated Types

type SimpleRep (GovActionId c) Source #

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

Associated Types

type SimpleRep (Voter c) Source #

type TheSop (Voter c) ∷ [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 Conway) Source # 
Instance details

Associated Types

type SimpleRep (EnactSignal Conway) Source #

type TheSop (EnactSignal Conway) ∷ [Type] Source #

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

Crypto c ⇒ HasSimpleRep (ConwayTxBody (ConwayEra c)) Source # 
Instance details

Associated Types

type SimpleRep (ConwayTxBody (ConwayEra c)) Source #

type TheSop (ConwayTxBody (ConwayEra c)) ∷ [Type] Source #

HasSimpleRep (ConwayDelegCert c) Source # 
Instance details

Associated Types

type SimpleRep (ConwayDelegCert c) Source #

type TheSop (ConwayDelegCert c) ∷ [Type] Source #

HasSimpleRep (ConwayGovCert c) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovCert c) Source #

type TheSop (ConwayGovCert c) ∷ [Type] Source #

HasSimpleRep (ConwayTxCert era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayTxCert era) Source #

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

HasSimpleRep (Delegatee c) Source # 
Instance details

Associated Types

type SimpleRep (Delegatee c) Source #

type TheSop (Delegatee c) ∷ [Type] Source #

HasSimpleRep (Addr c) Source # 
Instance details

Associated Types

type SimpleRep (Addr c) Source #

type TheSop (Addr c) ∷ [Type] Source #

HasSimpleRep (BootstrapAddress c) Source # 
Instance details

Associated Types

type SimpleRep (BootstrapAddress c) Source #

type TheSop (BootstrapAddress c) ∷ [Type] Source #

Crypto c ⇒ HasSimpleRep (CompactAddr c) Source # 
Instance details

Associated Types

type SimpleRep (CompactAddr c) Source #

type TheSop (CompactAddr c) ∷ [Type] Source #

HasSimpleRep (RewardAccount c) Source # 
Instance details

Associated Types

type SimpleRep (RewardAccount c) Source #

type TheSop (RewardAccount c) ∷ [Type] Source #

HasSimpleRep (Withdrawals c) Source # 
Instance details

Associated Types

type SimpleRep (Withdrawals c) Source #

type TheSop (Withdrawals c) ∷ [Type] Source #

HasSimpleRep (AuxiliaryDataHash c) Source # 
Instance details

Associated Types

type SimpleRep (AuxiliaryDataHash c) Source #

type TheSop (AuxiliaryDataHash c) ∷ [Type] Source #

HasSimpleRep (Anchor c) Source # 
Instance details

Associated Types

type SimpleRep (Anchor c) Source #

type TheSop (Anchor c) ∷ [Type] Source #

Crypto c ⇒ HasSimpleRep (BlocksMade c) Source # 
Instance details

Associated Types

type SimpleRep (BlocksMade c) Source #

type TheSop (BlocksMade c) ∷ [Type] Source #

HasSimpleRep (CertState era) Source # 
Instance details

Associated Types

type SimpleRep (CertState era) Source #

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

HasSimpleRep (CommitteeAuthorization c) Source # 
Instance details

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 (FutureGenDeleg c) Source # 
Instance details

Associated Types

type SimpleRep (FutureGenDeleg c) Source #

type TheSop (FutureGenDeleg c) ∷ [Type] Source #

HasSimpleRep (InstantaneousRewards c) Source # 
Instance details

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 (PoolCert c) Source # 
Instance details

Associated Types

type SimpleRep (PoolCert c) Source #

type TheSop (PoolCert c) ∷ [Type] Source #

HasSimpleRep (StakeReference c) Source # 
Instance details

Associated Types

type SimpleRep (StakeReference c) Source #

type TheSop (StakeReference c) ∷ [Type] Source #

HasSimpleRep (DRep c) Source # 
Instance details

Associated Types

type SimpleRep (DRep c) Source #

type TheSop (DRep c) ∷ [Type] Source #

HasSimpleRep (DRepState c) Source # 
Instance details

Associated Types

type SimpleRep (DRepState c) Source #

type TheSop (DRepState c) ∷ [Type] Source #

HasSimpleRep (SnapShot c) Source # 
Instance details

Associated Types

type SimpleRep (SnapShot c) Source #

type TheSop (SnapShot c) ∷ [Type] Source #

HasSimpleRep (SnapShots c) Source # 
Instance details

Associated Types

type SimpleRep (SnapShots c) Source #

type TheSop (SnapShots c) ∷ [Type] Source #

HasSimpleRep (Stake c) Source # 
Instance details

Associated Types

type SimpleRep (Stake c) Source #

type TheSop (Stake c) ∷ [Type] Source #

HasSimpleRep (NoUpdate a) Source # 
Instance details

Associated Types

type SimpleRep (NoUpdate a) Source #

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

HasSimpleRep (ScriptHash c) Source # 
Instance details

Associated Types

type SimpleRep (ScriptHash c) Source #

type TheSop (ScriptHash c) ∷ [Type] Source #

HasSimpleRep (GenDelegPair c) Source # 
Instance details

Associated Types

type SimpleRep (GenDelegPair c) Source #

type TheSop (GenDelegPair c) ∷ [Type] Source #

HasSimpleRep (GenDelegs c) Source # 
Instance details

Associated Types

type SimpleRep (GenDelegs c) Source #

type TheSop (GenDelegs c) ∷ [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 #

Crypto c ⇒ HasSimpleRep (IndividualPoolStake c) Source # 
Instance details

Crypto c ⇒ HasSimpleRep (PoolDistr c) Source # 
Instance details

Associated Types

type SimpleRep (PoolDistr c) Source #

type TheSop (PoolDistr c) ∷ [Type] Source #

HasSimpleRep (PoolParams c) Source # 
Instance details

Associated Types

type SimpleRep (PoolParams c) Source #

type TheSop (PoolParams c) ∷ [Type] Source #

Crypto c ⇒ HasSimpleRep (Reward c) Source # 
Instance details

Associated Types

type SimpleRep (Reward c) Source #

type TheSop (Reward c) ∷ [Type] Source #

HasSimpleRep (TxId c) Source # 
Instance details

Associated Types

type SimpleRep (TxId c) Source #

type TheSop (TxId c) ∷ [Type] Source #

HasSimpleRep (TxIn c) Source # 
Instance details

Associated Types

type SimpleRep (TxIn c) Source #

type TheSop (TxIn c) ∷ [Type] Source #

Crypto c ⇒ HasSimpleRep (UMap c) Source # 
Instance details

Associated Types

type SimpleRep (UMap c) Source #

type TheSop (UMap c) ∷ [Type] 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 (MaryValue c) Source # 
Instance details

Associated Types

type SimpleRep (MaryValue c) Source #

type TheSop (MaryValue c) ∷ [Type] Source #

HasSimpleRep (MultiAsset c) Source # 
Instance details

Associated Types

type SimpleRep (MultiAsset c) Source #

type TheSop (MultiAsset c) ∷ [Type] Source #

HasSimpleRep (PolicyID c) Source # 
Instance details

Associated Types

type SimpleRep (PolicyID c) Source #

type TheSop (PolicyID c) ∷ [Type] 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 #

HasSimpleRep (IncrementalStake c) Source # 
Instance details

Associated Types

type SimpleRep (IncrementalStake c) Source #

type TheSop (IncrementalStake c) ∷ [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 #

HasSimpleRep (NonMyopic c) Source # 
Instance details

Associated Types

type SimpleRep (NonMyopic c) Source #

type TheSop (NonMyopic c) ∷ [Type] Source #

HasSimpleRep (FreeVars StandardCrypto) Source # 
Instance details

HasSimpleRep (Pulser c) Source # 
Instance details

Associated Types

type SimpleRep (Pulser c) Source #

type TheSop (Pulser c) ∷ [Type] Source #

Crypto c ⇒ HasSimpleRep (PulsingRewUpdate c) Source # 
Instance details

Associated Types

type SimpleRep (PulsingRewUpdate c) Source #

type TheSop (PulsingRewUpdate c) ∷ [Type] Source #

HasSimpleRep (RewardAns StandardCrypto) Source # 
Instance details

HasSimpleRep (RewardSnapShot StandardCrypto) Source # 
Instance details

Crypto c ⇒ HasSimpleRep (RewardUpdate c) Source # 
Instance details

Associated Types

type SimpleRep (RewardUpdate c) Source #

type TheSop (RewardUpdate c) ∷ [Type] Source #

HasSimpleRep (LeaderOnlyReward StandardCrypto) Source # 
Instance details

HasSimpleRep (PoolRewardInfo StandardCrypto) Source # 
Instance details

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 (GenesisDelegCert c) Source # 
Instance details

Associated Types

type SimpleRep (GenesisDelegCert c) Source #

type TheSop (GenesisDelegCert c) ∷ [Type] Source #

HasSimpleRep (MIRCert c) Source # 
Instance details

Associated Types

type SimpleRep (MIRCert c) Source #

type TheSop (MIRCert c) ∷ [Type] Source #

HasSimpleRep (MIRTarget c) Source # 
Instance details

Associated Types

type SimpleRep (MIRTarget c) Source #

type TheSop (MIRTarget c) ∷ [Type] Source #

HasSimpleRep (ShelleyDelegCert c) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyDelegCert c) Source #

type TheSop (ShelleyDelegCert c) ∷ [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 #

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 (Credential r c) Source # 
Instance details

Associated Types

type SimpleRep (Credential r c) Source #

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

HasSimpleRep (DRepPulser Conway Identity (RatifyState Conway)) 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 #