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 #

Methods

emptySpecTypeSpec fn