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

Test.Cardano.Ledger.Constrained.Conway.Instances

Description

This module provides the necessary instances of HasSpec and HasSimpleRep to write specs for the environments, states, and signals in the conway STS rules. Note some simple types used in the PParams (Coin, EpochInterval, etc.) have their instances defined in Test.Cardano.Ledger.Constrained.Conway.InstancesBasic 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

Methods

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

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

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

Methods

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

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

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

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

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

Methods

showsPrecIntStringFn fn as b → ShowS Source #

showStringFn fn as b → String Source #

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

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

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

Methods

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

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

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

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

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

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

Associated Types

type Rep ProposalsSplitTypeType Source #

Show ProposalsSplit Source # 
Instance details

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

DecCBOR ProposalsSplit Source # 
Instance details

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

EncCBOR ProposalsSplit Source # 
Instance details

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

NFData ProposalsSplit Source # 
Instance details

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

Methods

rnfProposalsSplit → () Source #

Eq ProposalsSplit Source # 
Instance details

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

ToExpr ProposalsSplit Source # 
Instance details

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

type Rep ProposalsSplit Source # 
Instance details

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

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

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 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 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 ⇒ 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, EraPP 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), AlonzoEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (Timelock era) Source # 
Instance details

Associated Types

type TypeSpec fn (Timelock era) Source #

type Prerequisites fn (Timelock era) Source #

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

Associated Types

type TypeSpec fn (AlonzoScript era) Source #

type Prerequisites fn (AlonzoScript era) Source #

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTx Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTx Conway) Source #

type Prerequisites fn (AlonzoTx Conway) Source #

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxAuxData Conway) Source # 
Instance details

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

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxWits Conway) Source # 
Instance details

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

Associated Types

type TypeSpec fn (BabbageTxOut era) Source #

type Prerequisites fn (BabbageTxOut era) Source #

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

Associated Types

type TypeSpec fn (Sized a) Source #

type Prerequisites fn (Sized a) Source #

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

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

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

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (EnactState Conway) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (RatifyEnv Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (RatifyEnv Conway) Source #

type Prerequisites fn (RatifyEnv Conway) Source #

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (RatifySignal Conway) Source # 
Instance details

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (RatifyState Conway) Source # 
Instance details

IsConwayUniv fn ⇒ HasSpec fn (Committee Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (Committee Conway) Source #

type Prerequisites fn (Committee Conway) 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, EraPP Conway) ⇒ HasSpec fn (GovAction Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (GovAction Conway) Source #

type Prerequisites fn (GovAction Conway) 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 #

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (GovActionState Conway) Source # 
Instance details

(IsConwayUniv fn, EraPP Conway) ⇒ HasSpec fn (ProposalProcedure Conway) Source # 
Instance details

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

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (Proposals Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (Proposals Conway) Source #

type Prerequisites fn (Proposals Conway) Source #

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (CertEnv Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (CertEnv Conway) Source #

type Prerequisites fn (CertEnv Conway) Source #

(IsConwayUniv fn, EraPP Conway) ⇒ HasSpec fn (CertsEnv Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (CertsEnv Conway) Source #

type Prerequisites fn (CertsEnv Conway) 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, EraPP Conway) ⇒ HasSpec fn (EnactSignal Conway) Source # 
Instance details

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

Associated Types

type TypeSpec fn (GovSignal Conway) Source #

type Prerequisites fn (GovSignal Conway) Source #

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

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

(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

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

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 #

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, EraPP 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

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

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 #

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 #

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 #

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 #

(EraPP Conway, IsConwayUniv fn) ⇒ HasSpec fn (PoolEnv Conway) Source # 
Instance details

Associated Types

type TypeSpec fn (PoolEnv Conway) Source #

type Prerequisites fn (PoolEnv Conway) Source #

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

Associated Types

type TypeSpec fn (UtxoEnv era) Source #

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

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

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

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

(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

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

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

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

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

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

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 #

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 #

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 #

HasSimpleRep (AlonzoTxAuxData Conway) Source # 
Instance details

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

Associated Types

type SimpleRep (AlonzoTxOut era) Source #

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

HasSimpleRep (AlonzoTxWits Conway) Source # 
Instance details

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

Associated Types

type SimpleRep (EnactState Conway) Source #

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

HasSimpleRep (RatifyEnv Conway) Source # 
Instance details

Associated Types

type SimpleRep (RatifyEnv Conway) Source #

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

Associated Types

type SimpleRep (Committee Conway) Source #

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

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 #

HasSimpleRep (Proposals Conway) Source # 
Instance details

Associated Types

type SimpleRep (Proposals Conway) Source #

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

HasSimpleRep (CertEnv Conway) Source # 
Instance details

Associated Types

type SimpleRep (CertEnv Conway) Source #

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

HasSimpleRep (CertsEnv Conway) Source # 
Instance details

Associated Types

type SimpleRep (CertsEnv Conway) Source #

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

HasSimpleRep (ConwayDelegEnv era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayDelegEnv era) Source #

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

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

Associated Types

type SimpleRep (EnactSignal era) Source #

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

Associated Types

type SimpleRep (PoolEnv Conway) Source #

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

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

Associated Types

type SimpleRep (UtxoEnv era) Source #

type TheSop (UtxoEnv 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 #

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 #