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.

Documentation

type ConwayFn = Fix (OneofL ConwayUnivFns) Source #

data StringFn (fn ∷ [Type] → Type → Type) 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, 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

showsPrec ∷ Int → StringFn fn as b → ShowS Source #

show ∷ StringFn 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 #

type ProposalTree = (StrictMaybe (GovActionId StandardCrypto), [Tree GAS]) 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 #

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

cSNothing_ ∷ HasSpec fn a ⇒ Term fn (StrictMaybe a) Source #

cSJust_ ∷ HasSpec fn a ⇒ Term fn a → Term fn (StrictMaybe a) Source #

succV_ ∷ BaseUniverse fn ⇒ Term fn Version → Term fn Version Source #

maryValueCoin_ ∷ (IsConwayUniv fn, Crypto c) ⇒ Term fn (MaryValue c) → Term fn Coin 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)) ⇒ Term fn (BabbageTxOut era) → Term fn (Value era) Source #

pProcDeposit_ ∷ IsConwayUniv fn ⇒ Term fn (ProposalProcedure (ConwayEra StandardCrypto)) → Term fn Coin Source #

pProcGovAction_ ∷ IsConwayUniv fn ⇒ Term fn (ProposalProcedure (ConwayEra StandardCrypto)) → Term fn (GovAction (ConwayEra StandardCrypto)) Source #

type IsConwayUniv fn = (BaseUniverse fn, Member (StringFn fn) fn, Member (MapFn fn) fn, Member (FunFn fn) fn, Member (TreeFn fn) fn) Source #

gasId_ ∷ IsConwayUniv fn ⇒ Term fn (GovActionState (ConwayEra StandardCrypto)) → Term fn (GovActionId StandardCrypto) Source #

gasCommitteeVotes_ ∷ IsConwayUniv fn ⇒ Term fn (GovActionState (ConwayEra StandardCrypto)) → Term fn (Map (Credential 'HotCommitteeRole StandardCrypto) Vote) Source #

gasDRepVotes_ ∷ IsConwayUniv fn ⇒ Term fn (GovActionState (ConwayEra StandardCrypto)) → Term fn (Map (Credential 'DRepRole StandardCrypto) Vote) Source #

gasProposalProcedure_ ∷ IsConwayUniv fn ⇒ Term fn (GovActionState (ConwayEra StandardCrypto)) → Term fn (ProposalProcedure (ConwayEra StandardCrypto)) Source #

data ProposalsSplit Source #

Constructors

ProposalsSplit 

Fields

Instances

Instances details
Generic ProposalsSplit Source # 
Instance details

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

Associated Types

type Rep ProposalsSplit ∷ Type → Type Source #

Methods

from ∷ ProposalsSplit → Rep ProposalsSplit x Source #

to ∷ Rep ProposalsSplit x → ProposalsSplit Source #

Show ProposalsSplit Source # 
Instance details

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

Methods

showsPrec ∷ Int → ProposalsSplit → ShowS Source #

show ∷ ProposalsSplit → String Source #

showList ∷ [ProposalsSplit] → ShowS Source #

Eq ProposalsSplit Source # 
Instance details

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

Methods

(==) ∷ ProposalsSplit → ProposalsSplit → Bool Source #

(/=) ∷ ProposalsSplit → ProposalsSplit → Bool Source #

ToExpr ProposalsSplit Source # 
Instance details

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

Methods

toExpr ∷ ProposalsSplit → Expr Source #

listToExpr ∷ [ProposalsSplit] → Expr Source #

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

genProposalsSplit ∷ Integer → Gen ProposalsSplit Source #

proposalSplitSum ∷ ProposalsSplit → Integer Source #

Orphan instances

Num Coin Source # 
Instance details

Methods

(+) ∷ Coin → Coin → Coin Source #

(-) ∷ Coin → Coin → Coin Source #

(*) ∷ Coin → Coin → Coin Source #

negate ∷ Coin → Coin Source #

abs ∷ Coin → Coin Source #

signum ∷ Coin → Coin Source #

fromInteger ∷ Integer → Coin Source #

HasSimpleRep ValidityInterval Source # 
Instance details

Associated Types

type SimpleRep ValidityInterval Source #

type TheSop ValidityInterval ∷ [Type] Source #

Methods

toSimpleRep ∷ ValidityInterval → SimpleRep ValidityInterval Source #

fromSimpleRep ∷ SimpleRep ValidityInterval → ValidityInterval Source #

HasSimpleRep OrdExUnits Source # 
Instance details

Associated Types

type SimpleRep OrdExUnits Source #

type TheSop OrdExUnits ∷ [Type] Source #

Methods

toSimpleRep ∷ OrdExUnits → SimpleRep OrdExUnits Source #

fromSimpleRep ∷ SimpleRep OrdExUnits → OrdExUnits Source #

HasSimpleRep IsValid Source # 
Instance details

Associated Types

type SimpleRep IsValid Source #

type TheSop IsValid ∷ [Type] Source #

Methods

toSimpleRep ∷ IsValid → SimpleRep IsValid Source #

fromSimpleRep ∷ SimpleRep IsValid → IsValid Source #

HasSimpleRep Addr28Extra Source # 
Instance details

Associated Types

type SimpleRep Addr28Extra Source #

type TheSop Addr28Extra ∷ [Type] Source #

Methods

toSimpleRep ∷ Addr28Extra → SimpleRep Addr28Extra Source #

fromSimpleRep ∷ SimpleRep Addr28Extra → Addr28Extra Source #

HasSimpleRep DataHash32 Source # 
Instance details

Associated Types

type SimpleRep DataHash32 Source #

type TheSop DataHash32 ∷ [Type] Source #

Methods

toSimpleRep ∷ DataHash32 → SimpleRep DataHash32 Source #

fromSimpleRep ∷ SimpleRep DataHash32 → DataHash32 Source #

HasSimpleRep CoinPerByte Source # 
Instance details

Associated Types

type SimpleRep CoinPerByte Source #

type TheSop CoinPerByte ∷ [Type] Source #

Methods

toSimpleRep ∷ CoinPerByte → SimpleRep CoinPerByte Source #

fromSimpleRep ∷ SimpleRep CoinPerByte → CoinPerByte Source #

HasSimpleRep Version Source # 
Instance details

Associated Types

type SimpleRep Version Source #

type TheSop Version ∷ [Type] Source #

Methods

toSimpleRep ∷ Version → SimpleRep Version Source #

fromSimpleRep ∷ SimpleRep Version → Version Source #

HasSimpleRep AddrType Source # 
Instance details

Associated Types

type SimpleRep AddrType Source #

type TheSop AddrType ∷ [Type] Source #

Methods

toSimpleRep ∷ AddrType → SimpleRep AddrType Source #

fromSimpleRep ∷ SimpleRep AddrType → AddrType Source #

HasSimpleRep NetworkMagic Source # 
Instance details

Associated Types

type SimpleRep NetworkMagic Source #

type TheSop NetworkMagic ∷ [Type] Source #

Methods

toSimpleRep ∷ NetworkMagic → SimpleRep NetworkMagic Source #

fromSimpleRep ∷ SimpleRep NetworkMagic → NetworkMagic Source #

HasSimpleRep GovActionIx Source # 
Instance details

Associated Types

type SimpleRep GovActionIx Source #

type TheSop GovActionIx ∷ [Type] Source #

Methods

toSimpleRep ∷ GovActionIx → SimpleRep GovActionIx Source #

fromSimpleRep ∷ SimpleRep GovActionIx → GovActionIx Source #

HasSimpleRep GovActionPurpose Source # 
Instance details

Associated Types

type SimpleRep GovActionPurpose Source #

type TheSop GovActionPurpose ∷ [Type] Source #

Methods

toSimpleRep ∷ GovActionPurpose → SimpleRep GovActionPurpose Source #

fromSimpleRep ∷ SimpleRep GovActionPurpose → GovActionPurpose Source #

HasSimpleRep Vote Source # 
Instance details

Associated Types

type SimpleRep Vote Source #

type TheSop Vote ∷ [Type] Source #

Methods

toSimpleRep ∷ Vote → SimpleRep Vote Source #

fromSimpleRep ∷ SimpleRep Vote → Vote Source #

HasSimpleRep DRepVotingThresholds Source # 
Instance details

Associated Types

type SimpleRep DRepVotingThresholds Source #

type TheSop DRepVotingThresholds ∷ [Type] Source #

Methods

toSimpleRep ∷ DRepVotingThresholds → SimpleRep DRepVotingThresholds Source #

fromSimpleRep ∷ SimpleRep DRepVotingThresholds → DRepVotingThresholds Source #

HasSimpleRep PoolVotingThresholds Source # 
Instance details

Associated Types

type SimpleRep PoolVotingThresholds Source #

type TheSop PoolVotingThresholds ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolVotingThresholds → SimpleRep PoolVotingThresholds Source #

fromSimpleRep ∷ SimpleRep PoolVotingThresholds → PoolVotingThresholds Source #

HasSimpleRep CertIx Source # 
Instance details

Associated Types

type SimpleRep CertIx Source #

type TheSop CertIx ∷ [Type] Source #

Methods

toSimpleRep ∷ CertIx → SimpleRep CertIx Source #

fromSimpleRep ∷ SimpleRep CertIx → CertIx Source #

HasSimpleRep Network Source # 
Instance details

Associated Types

type SimpleRep Network Source #

type TheSop Network ∷ [Type] Source #

Methods

toSimpleRep ∷ Network → SimpleRep Network Source #

fromSimpleRep ∷ SimpleRep Network → Network Source #

HasSimpleRep Port Source # 
Instance details

Associated Types

type SimpleRep Port Source #

type TheSop Port ∷ [Type] Source #

Methods

toSimpleRep ∷ Port → SimpleRep Port Source #

fromSimpleRep ∷ SimpleRep Port → Port Source #

HasSimpleRep ProtVer Source # 
Instance details

Associated Types

type SimpleRep ProtVer Source #

type TheSop ProtVer ∷ [Type] Source #

Methods

toSimpleRep ∷ ProtVer → SimpleRep ProtVer Source #

fromSimpleRep ∷ SimpleRep ProtVer → ProtVer Source #

HasSimpleRep TxIx Source # 
Instance details

Associated Types

type SimpleRep TxIx Source #

type TheSop TxIx ∷ [Type] Source #

Methods

toSimpleRep ∷ TxIx → SimpleRep TxIx Source #

fromSimpleRep ∷ SimpleRep TxIx → TxIx Source #

HasSimpleRep Url Source # 
Instance details

Associated Types

type SimpleRep Url Source #

type TheSop Url ∷ [Type] Source #

Methods

toSimpleRep ∷ Url → SimpleRep Url Source #

fromSimpleRep ∷ SimpleRep Url → Url Source #

HasSimpleRep Coin Source # 
Instance details

Associated Types

type SimpleRep Coin Source #

type TheSop Coin ∷ [Type] Source #

Methods

toSimpleRep ∷ Coin → SimpleRep Coin Source #

fromSimpleRep ∷ SimpleRep Coin → Coin Source #

HasSimpleRep DeltaCoin Source # 
Instance details

Associated Types

type SimpleRep DeltaCoin Source #

type TheSop DeltaCoin ∷ [Type] Source #

Methods

toSimpleRep ∷ DeltaCoin → SimpleRep DeltaCoin Source #

fromSimpleRep ∷ SimpleRep DeltaCoin → DeltaCoin Source #

HasSimpleRep Ptr Source # 
Instance details

Associated Types

type SimpleRep Ptr Source #

type TheSop Ptr ∷ [Type] Source #

Methods

toSimpleRep ∷ Ptr → SimpleRep Ptr Source #

fromSimpleRep ∷ SimpleRep Ptr → Ptr Source #

HasSimpleRep Metadatum Source # 
Instance details

Associated Types

type SimpleRep Metadatum Source #

type TheSop Metadatum ∷ [Type] Source #

Methods

toSimpleRep ∷ Metadatum → SimpleRep Metadatum Source #

fromSimpleRep ∷ SimpleRep Metadatum → Metadatum Source #

HasSimpleRep CostModels Source # 
Instance details

Associated Types

type SimpleRep CostModels Source #

type TheSop CostModels ∷ [Type] Source #

Methods

toSimpleRep ∷ CostModels → SimpleRep CostModels Source #

fromSimpleRep ∷ SimpleRep CostModels → CostModels Source #

HasSimpleRep ExUnits Source # 
Instance details

Associated Types

type SimpleRep ExUnits Source #

type TheSop ExUnits ∷ [Type] Source #

Methods

toSimpleRep ∷ ExUnits → SimpleRep ExUnits Source #

fromSimpleRep ∷ SimpleRep ExUnits → ExUnits Source #

HasSimpleRep Prices Source # 
Instance details

Associated Types

type SimpleRep Prices Source #

type TheSop Prices ∷ [Type] Source #

Methods

toSimpleRep ∷ Prices → SimpleRep Prices Source #

fromSimpleRep ∷ SimpleRep Prices → Prices Source #

HasSimpleRep Language Source # 
Instance details

Associated Types

type SimpleRep Language Source #

type TheSop Language ∷ [Type] Source #

Methods

toSimpleRep ∷ Language → SimpleRep Language Source #

fromSimpleRep ∷ SimpleRep Language → Language Source #

HasSimpleRep PoolMetadata Source # 
Instance details

Associated Types

type SimpleRep PoolMetadata Source #

type TheSop PoolMetadata ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolMetadata → SimpleRep PoolMetadata Source #

fromSimpleRep ∷ SimpleRep PoolMetadata → PoolMetadata Source #

HasSimpleRep RDPair Source # 
Instance details

Associated Types

type SimpleRep RDPair Source #

type TheSop RDPair ∷ [Type] Source #

Methods

toSimpleRep ∷ RDPair → SimpleRep RDPair Source #

fromSimpleRep ∷ SimpleRep RDPair → RDPair Source #

HasSimpleRep AssetName Source # 
Instance details

Associated Types

type SimpleRep AssetName Source #

type TheSop AssetName ∷ [Type] Source #

Methods

toSimpleRep ∷ AssetName → SimpleRep AssetName Source #

fromSimpleRep ∷ SimpleRep AssetName → AssetName Source #

HasSimpleRep AccountState Source # 
Instance details

Associated Types

type SimpleRep AccountState Source #

type TheSop AccountState ∷ [Type] Source #

Methods

toSimpleRep ∷ AccountState → SimpleRep AccountState Source #

fromSimpleRep ∷ SimpleRep AccountState → AccountState Source #

HasSimpleRep Likelihood Source # 
Instance details

Associated Types

type SimpleRep Likelihood Source #

type TheSop Likelihood ∷ [Type] Source #

Methods

toSimpleRep ∷ Likelihood → SimpleRep Likelihood Source #

fromSimpleRep ∷ SimpleRep Likelihood → Likelihood Source #

HasSimpleRep LogWeight Source # 
Instance details

Associated Types

type SimpleRep LogWeight Source #

type TheSop LogWeight ∷ [Type] Source #

Methods

toSimpleRep ∷ LogWeight → SimpleRep LogWeight Source #

fromSimpleRep ∷ SimpleRep LogWeight → LogWeight Source #

HasSimpleRep EpochInterval Source # 
Instance details

Associated Types

type SimpleRep EpochInterval Source #

type TheSop EpochInterval ∷ [Type] Source #

Methods

toSimpleRep ∷ EpochInterval → SimpleRep EpochInterval Source #

fromSimpleRep ∷ SimpleRep EpochInterval → EpochInterval Source #

HasSimpleRep EpochNo Source # 
Instance details

Associated Types

type SimpleRep EpochNo Source #

type TheSop EpochNo ∷ [Type] Source #

Methods

toSimpleRep ∷ EpochNo → SimpleRep EpochNo Source #

fromSimpleRep ∷ SimpleRep EpochNo → EpochNo Source #

HasSimpleRep SlotNo Source # 
Instance details

Associated Types

type SimpleRep SlotNo Source #

type TheSop SlotNo ∷ [Type] Source #

Methods

toSimpleRep ∷ SlotNo → SimpleRep SlotNo Source #

fromSimpleRep ∷ SimpleRep SlotNo → SlotNo Source #

HasSimpleRep Data Source # 
Instance details

Associated Types

type SimpleRep Data Source #

type TheSop Data ∷ [Type] Source #

Methods

toSimpleRep ∷ Data → SimpleRep Data Source #

fromSimpleRep ∷ SimpleRep Data → Data Source #

IsConwayUniv fn ⇒ Foldy fn Coin Source # 
Instance details

Methods

genList ∷ ∀ (m ∷ Type → Type). (BaseUniverse fn, MonadGenError m) ⇒ Specification fn Coin → Specification fn Coin → GenT m [Coin] Source #

theAddFn ∷ fn '[Coin, Coin] Coin Source #

theZero ∷ Coin Source #

IsConwayUniv fn ⇒ HasSpec fn ByteString Source # 
Instance details

Associated Types

type TypeSpec fn ByteString Source #

type Prerequisites fn ByteString Source #

Methods

emptySpec ∷ TypeSpec fn ByteString Source #

combineSpec ∷ TypeSpec fn ByteString → TypeSpec fn ByteString → Specification fn ByteString Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn ByteString → GenT m ByteString Source #

conformsTo ∷ ByteString → TypeSpec fn ByteString → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn ByteString → ByteString → [ByteString] Source #

toPreds ∷ Term fn ByteString → TypeSpec fn ByteString → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn ByteString → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn ByteString → [ByteString] → Specification fn ByteString Source #

prerequisites ∷ Evidence (Prerequisites fn ByteString) Source #

IsConwayUniv fn ⇒ HasSpec fn ShortByteString Source # 
Instance details

Associated Types

type TypeSpec fn ShortByteString Source #

type Prerequisites fn ShortByteString Source #

Methods

emptySpec ∷ TypeSpec fn ShortByteString Source #

combineSpec ∷ TypeSpec fn ShortByteString → TypeSpec fn ShortByteString → Specification fn ShortByteString Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn ShortByteString → GenT m ShortByteString Source #

conformsTo ∷ ShortByteString → TypeSpec fn ShortByteString → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn ShortByteString → ShortByteString → [ShortByteString] Source #

toPreds ∷ Term fn ShortByteString → TypeSpec fn ShortByteString → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn ShortByteString → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn ShortByteString → [ShortByteString] → Specification fn ShortByteString Source #

prerequisites ∷ Evidence (Prerequisites fn ShortByteString) Source #

IsConwayUniv fn ⇒ HasSpec fn ValidityInterval Source # 
Instance details

Associated Types

type TypeSpec fn ValidityInterval Source #

type Prerequisites fn ValidityInterval Source #

Methods

emptySpec ∷ TypeSpec fn ValidityInterval Source #

combineSpec ∷ TypeSpec fn ValidityInterval → TypeSpec fn ValidityInterval → Specification fn ValidityInterval Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn ValidityInterval → GenT m ValidityInterval Source #

conformsTo ∷ ValidityInterval → TypeSpec fn ValidityInterval → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn ValidityInterval → ValidityInterval → [ValidityInterval] Source #

toPreds ∷ Term fn ValidityInterval → TypeSpec fn ValidityInterval → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn ValidityInterval → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn ValidityInterval → [ValidityInterval] → Specification fn ValidityInterval Source #

prerequisites ∷ Evidence (Prerequisites fn ValidityInterval) Source #

IsConwayUniv fn ⇒ HasSpec fn OrdExUnits Source # 
Instance details

Associated Types

type TypeSpec fn OrdExUnits Source #

type Prerequisites fn OrdExUnits Source #

Methods

emptySpec ∷ TypeSpec fn OrdExUnits Source #

combineSpec ∷ TypeSpec fn OrdExUnits → TypeSpec fn OrdExUnits → Specification fn OrdExUnits Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn OrdExUnits → GenT m OrdExUnits Source #

conformsTo ∷ OrdExUnits → TypeSpec fn OrdExUnits → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn OrdExUnits → OrdExUnits → [OrdExUnits] Source #

toPreds ∷ Term fn OrdExUnits → TypeSpec fn OrdExUnits → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn OrdExUnits → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn OrdExUnits → [OrdExUnits] → Specification fn OrdExUnits Source #

prerequisites ∷ Evidence (Prerequisites fn OrdExUnits) Source #

IsConwayUniv fn ⇒ HasSpec fn IsValid Source # 
Instance details

Associated Types

type TypeSpec fn IsValid Source #

type Prerequisites fn IsValid Source #

Methods

emptySpec ∷ TypeSpec fn IsValid Source #

combineSpec ∷ TypeSpec fn IsValid → TypeSpec fn IsValid → Specification fn IsValid Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn IsValid → GenT m IsValid Source #

conformsTo ∷ IsValid → TypeSpec fn IsValid → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn IsValid → IsValid → [IsValid] Source #

toPreds ∷ Term fn IsValid → TypeSpec fn IsValid → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn IsValid → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn IsValid → [IsValid] → Specification fn IsValid Source #

prerequisites ∷ Evidence (Prerequisites fn IsValid) Source #

IsConwayUniv fn ⇒ HasSpec fn Addr28Extra Source # 
Instance details

Associated Types

type TypeSpec fn Addr28Extra Source #

type Prerequisites fn Addr28Extra Source #

Methods

emptySpec ∷ TypeSpec fn Addr28Extra Source #

combineSpec ∷ TypeSpec fn Addr28Extra → TypeSpec fn Addr28Extra → Specification fn Addr28Extra Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Addr28Extra → GenT m Addr28Extra Source #

conformsTo ∷ Addr28Extra → TypeSpec fn Addr28Extra → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Addr28Extra → Addr28Extra → [Addr28Extra] Source #

toPreds ∷ Term fn Addr28Extra → TypeSpec fn Addr28Extra → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Addr28Extra → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Addr28Extra → [Addr28Extra] → Specification fn Addr28Extra Source #

prerequisites ∷ Evidence (Prerequisites fn Addr28Extra) Source #

IsConwayUniv fn ⇒ HasSpec fn DataHash32 Source # 
Instance details

Associated Types

type TypeSpec fn DataHash32 Source #

type Prerequisites fn DataHash32 Source #

Methods

emptySpec ∷ TypeSpec fn DataHash32 Source #

combineSpec ∷ TypeSpec fn DataHash32 → TypeSpec fn DataHash32 → Specification fn DataHash32 Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn DataHash32 → GenT m DataHash32 Source #

conformsTo ∷ DataHash32 → TypeSpec fn DataHash32 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn DataHash32 → DataHash32 → [DataHash32] Source #

toPreds ∷ Term fn DataHash32 → TypeSpec fn DataHash32 → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn DataHash32 → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn DataHash32 → [DataHash32] → Specification fn DataHash32 Source #

prerequisites ∷ Evidence (Prerequisites fn DataHash32) Source #

IsConwayUniv fn ⇒ HasSpec fn CoinPerByte Source # 
Instance details

Associated Types

type TypeSpec fn CoinPerByte Source #

type Prerequisites fn CoinPerByte Source #

Methods

emptySpec ∷ TypeSpec fn CoinPerByte Source #

combineSpec ∷ TypeSpec fn CoinPerByte → TypeSpec fn CoinPerByte → Specification fn CoinPerByte Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn CoinPerByte → GenT m CoinPerByte Source #

conformsTo ∷ CoinPerByte → TypeSpec fn CoinPerByte → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn CoinPerByte → CoinPerByte → [CoinPerByte] Source #

toPreds ∷ Term fn CoinPerByte → TypeSpec fn CoinPerByte → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn CoinPerByte → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn CoinPerByte → [CoinPerByte] → Specification fn CoinPerByte Source #

prerequisites ∷ Evidence (Prerequisites fn CoinPerByte) Source #

BaseUniverse fn ⇒ HasSpec fn Version Source # 
Instance details

Associated Types

type TypeSpec fn Version Source #

type Prerequisites fn Version Source #

Methods

emptySpec ∷ TypeSpec fn Version Source #

combineSpec ∷ TypeSpec fn Version → TypeSpec fn Version → Specification fn Version Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Version → GenT m Version Source #

conformsTo ∷ Version → TypeSpec fn Version → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Version → Version → [Version] Source #

toPreds ∷ Term fn Version → TypeSpec fn Version → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Version → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Version → [Version] → Specification fn Version Source #

prerequisites ∷ Evidence (Prerequisites fn Version) Source #

IsConwayUniv fn ⇒ HasSpec fn AddrType Source # 
Instance details

Associated Types

type TypeSpec fn AddrType Source #

type Prerequisites fn AddrType Source #

Methods

emptySpec ∷ TypeSpec fn AddrType Source #

combineSpec ∷ TypeSpec fn AddrType → TypeSpec fn AddrType → Specification fn AddrType Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn AddrType → GenT m AddrType Source #

conformsTo ∷ AddrType → TypeSpec fn AddrType → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn AddrType → AddrType → [AddrType] Source #

toPreds ∷ Term fn AddrType → TypeSpec fn AddrType → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn AddrType → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn AddrType → [AddrType] → Specification fn AddrType Source #

prerequisites ∷ Evidence (Prerequisites fn AddrType) Source #

IsConwayUniv fn ⇒ HasSpec fn NetworkMagic Source # 
Instance details

Associated Types

type TypeSpec fn NetworkMagic Source #

type Prerequisites fn NetworkMagic Source #

Methods

emptySpec ∷ TypeSpec fn NetworkMagic Source #

combineSpec ∷ TypeSpec fn NetworkMagic → TypeSpec fn NetworkMagic → Specification fn NetworkMagic Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn NetworkMagic → GenT m NetworkMagic Source #

conformsTo ∷ NetworkMagic → TypeSpec fn NetworkMagic → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn NetworkMagic → NetworkMagic → [NetworkMagic] Source #

toPreds ∷ Term fn NetworkMagic → TypeSpec fn NetworkMagic → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn NetworkMagic → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn NetworkMagic → [NetworkMagic] → Specification fn NetworkMagic Source #

prerequisites ∷ Evidence (Prerequisites fn NetworkMagic) Source #

IsConwayUniv fn ⇒ HasSpec fn GovActionIx Source # 
Instance details

Associated Types

type TypeSpec fn GovActionIx Source #

type Prerequisites fn GovActionIx Source #

Methods

emptySpec ∷ TypeSpec fn GovActionIx Source #

combineSpec ∷ TypeSpec fn GovActionIx → TypeSpec fn GovActionIx → Specification fn GovActionIx Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn GovActionIx → GenT m GovActionIx Source #

conformsTo ∷ GovActionIx → TypeSpec fn GovActionIx → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn GovActionIx → GovActionIx → [GovActionIx] Source #

toPreds ∷ Term fn GovActionIx → TypeSpec fn GovActionIx → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn GovActionIx → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn GovActionIx → [GovActionIx] → Specification fn GovActionIx Source #

prerequisites ∷ Evidence (Prerequisites fn GovActionIx) Source #

IsConwayUniv fn ⇒ HasSpec fn GovActionPurpose Source # 
Instance details

Associated Types

type TypeSpec fn GovActionPurpose Source #

type Prerequisites fn GovActionPurpose Source #

Methods

emptySpec ∷ TypeSpec fn GovActionPurpose Source #

combineSpec ∷ TypeSpec fn GovActionPurpose → TypeSpec fn GovActionPurpose → Specification fn GovActionPurpose Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn GovActionPurpose → GenT m GovActionPurpose Source #

conformsTo ∷ GovActionPurpose → TypeSpec fn GovActionPurpose → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn GovActionPurpose → GovActionPurpose → [GovActionPurpose] Source #

toPreds ∷ Term fn GovActionPurpose → TypeSpec fn GovActionPurpose → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn GovActionPurpose → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn GovActionPurpose → [GovActionPurpose] → Specification fn GovActionPurpose Source #

prerequisites ∷ Evidence (Prerequisites fn GovActionPurpose) Source #

IsConwayUniv fn ⇒ HasSpec fn Vote Source # 
Instance details

Associated Types

type TypeSpec fn Vote Source #

type Prerequisites fn Vote Source #

Methods

emptySpec ∷ TypeSpec fn Vote Source #

combineSpec ∷ TypeSpec fn Vote → TypeSpec fn Vote → Specification fn Vote Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Vote → GenT m Vote Source #

conformsTo ∷ Vote → TypeSpec fn Vote → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Vote → Vote → [Vote] Source #

toPreds ∷ Term fn Vote → TypeSpec fn Vote → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Vote → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Vote → [Vote] → Specification fn Vote Source #

prerequisites ∷ Evidence (Prerequisites fn Vote) Source #

IsConwayUniv fn ⇒ HasSpec fn DRepVotingThresholds Source # 
Instance details

Associated Types

type TypeSpec fn DRepVotingThresholds Source #

type Prerequisites fn DRepVotingThresholds Source #

Methods

emptySpec ∷ TypeSpec fn DRepVotingThresholds Source #

combineSpec ∷ TypeSpec fn DRepVotingThresholds → TypeSpec fn DRepVotingThresholds → Specification fn DRepVotingThresholds Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn DRepVotingThresholds → GenT m DRepVotingThresholds Source #

conformsTo ∷ DRepVotingThresholds → TypeSpec fn DRepVotingThresholds → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn DRepVotingThresholds → DRepVotingThresholds → [DRepVotingThresholds] Source #

toPreds ∷ Term fn DRepVotingThresholds → TypeSpec fn DRepVotingThresholds → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn DRepVotingThresholds → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn DRepVotingThresholds → [DRepVotingThresholds] → Specification fn DRepVotingThresholds Source #

prerequisites ∷ Evidence (Prerequisites fn DRepVotingThresholds) Source #

IsConwayUniv fn ⇒ HasSpec fn PoolVotingThresholds Source # 
Instance details

Associated Types

type TypeSpec fn PoolVotingThresholds Source #

type Prerequisites fn PoolVotingThresholds Source #

Methods

emptySpec ∷ TypeSpec fn PoolVotingThresholds Source #

combineSpec ∷ TypeSpec fn PoolVotingThresholds → TypeSpec fn PoolVotingThresholds → Specification fn PoolVotingThresholds Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn PoolVotingThresholds → GenT m PoolVotingThresholds Source #

conformsTo ∷ PoolVotingThresholds → TypeSpec fn PoolVotingThresholds → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn PoolVotingThresholds → PoolVotingThresholds → [PoolVotingThresholds] Source #

toPreds ∷ Term fn PoolVotingThresholds → TypeSpec fn PoolVotingThresholds → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn PoolVotingThresholds → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn PoolVotingThresholds → [PoolVotingThresholds] → Specification fn PoolVotingThresholds Source #

prerequisites ∷ Evidence (Prerequisites fn PoolVotingThresholds) Source #

IsConwayUniv fn ⇒ HasSpec fn CertIx Source # 
Instance details

Associated Types

type TypeSpec fn CertIx Source #

type Prerequisites fn CertIx Source #

Methods

emptySpec ∷ TypeSpec fn CertIx Source #

combineSpec ∷ TypeSpec fn CertIx → TypeSpec fn CertIx → Specification fn CertIx Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn CertIx → GenT m CertIx Source #

conformsTo ∷ CertIx → TypeSpec fn CertIx → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn CertIx → CertIx → [CertIx] Source #

toPreds ∷ Term fn CertIx → TypeSpec fn CertIx → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn CertIx → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn CertIx → [CertIx] → Specification fn CertIx Source #

prerequisites ∷ Evidence (Prerequisites fn CertIx) Source #

IsConwayUniv fn ⇒ HasSpec fn Network Source # 
Instance details

Associated Types

type TypeSpec fn Network Source #

type Prerequisites fn Network Source #

Methods

emptySpec ∷ TypeSpec fn Network Source #

combineSpec ∷ TypeSpec fn Network → TypeSpec fn Network → Specification fn Network Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Network → GenT m Network Source #

conformsTo ∷ Network → TypeSpec fn Network → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Network → Network → [Network] Source #

toPreds ∷ Term fn Network → TypeSpec fn Network → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Network → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Network → [Network] → Specification fn Network Source #

prerequisites ∷ Evidence (Prerequisites fn Network) Source #

IsConwayUniv fn ⇒ HasSpec fn NonNegativeInterval Source # 
Instance details

Associated Types

type TypeSpec fn NonNegativeInterval Source #

type Prerequisites fn NonNegativeInterval Source #

Methods

emptySpec ∷ TypeSpec fn NonNegativeInterval Source #

combineSpec ∷ TypeSpec fn NonNegativeInterval → TypeSpec fn NonNegativeInterval → Specification fn NonNegativeInterval Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn NonNegativeInterval → GenT m NonNegativeInterval Source #

conformsTo ∷ NonNegativeInterval → TypeSpec fn NonNegativeInterval → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn NonNegativeInterval → NonNegativeInterval → [NonNegativeInterval] Source #

toPreds ∷ Term fn NonNegativeInterval → TypeSpec fn NonNegativeInterval → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn NonNegativeInterval → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn NonNegativeInterval → [NonNegativeInterval] → Specification fn NonNegativeInterval Source #

prerequisites ∷ Evidence (Prerequisites fn NonNegativeInterval) Source #

IsConwayUniv fn ⇒ HasSpec fn Port Source # 
Instance details

Associated Types

type TypeSpec fn Port Source #

type Prerequisites fn Port Source #

Methods

emptySpec ∷ TypeSpec fn Port Source #

combineSpec ∷ TypeSpec fn Port → TypeSpec fn Port → Specification fn Port Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Port → GenT m Port Source #

conformsTo ∷ Port → TypeSpec fn Port → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Port → Port → [Port] Source #

toPreds ∷ Term fn Port → TypeSpec fn Port → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Port → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Port → [Port] → Specification fn Port Source #

prerequisites ∷ Evidence (Prerequisites fn Port) Source #

IsConwayUniv fn ⇒ HasSpec fn ProtVer Source # 
Instance details

Associated Types

type TypeSpec fn ProtVer Source #

type Prerequisites fn ProtVer Source #

Methods

emptySpec ∷ TypeSpec fn ProtVer Source #

combineSpec ∷ TypeSpec fn ProtVer → TypeSpec fn ProtVer → Specification fn ProtVer Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn ProtVer → GenT m ProtVer Source #

conformsTo ∷ ProtVer → TypeSpec fn ProtVer → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn ProtVer → ProtVer → [ProtVer] Source #

toPreds ∷ Term fn ProtVer → TypeSpec fn ProtVer → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn ProtVer → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn ProtVer → [ProtVer] → Specification fn ProtVer Source #

prerequisites ∷ Evidence (Prerequisites fn ProtVer) Source #

IsConwayUniv fn ⇒ HasSpec fn TxIx Source # 
Instance details

Associated Types

type TypeSpec fn TxIx Source #

type Prerequisites fn TxIx Source #

Methods

emptySpec ∷ TypeSpec fn TxIx Source #

combineSpec ∷ TypeSpec fn TxIx → TypeSpec fn TxIx → Specification fn TxIx Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn TxIx → GenT m TxIx Source #

conformsTo ∷ TxIx → TypeSpec fn TxIx → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn TxIx → TxIx → [TxIx] Source #

toPreds ∷ Term fn TxIx → TypeSpec fn TxIx → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn TxIx → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn TxIx → [TxIx] → Specification fn TxIx Source #

prerequisites ∷ Evidence (Prerequisites fn TxIx) Source #

IsConwayUniv fn ⇒ HasSpec fn UnitInterval Source # 
Instance details

Associated Types

type TypeSpec fn UnitInterval Source #

type Prerequisites fn UnitInterval Source #

Methods

emptySpec ∷ TypeSpec fn UnitInterval Source #

combineSpec ∷ TypeSpec fn UnitInterval → TypeSpec fn UnitInterval → Specification fn UnitInterval Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn UnitInterval → GenT m UnitInterval Source #

conformsTo ∷ UnitInterval → TypeSpec fn UnitInterval → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn UnitInterval → UnitInterval → [UnitInterval] Source #

toPreds ∷ Term fn UnitInterval → TypeSpec fn UnitInterval → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn UnitInterval → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn UnitInterval → [UnitInterval] → Specification fn UnitInterval Source #

prerequisites ∷ Evidence (Prerequisites fn UnitInterval) Source #

IsConwayUniv fn ⇒ HasSpec fn Url Source # 
Instance details

Associated Types

type TypeSpec fn Url Source #

type Prerequisites fn Url Source #

Methods

emptySpec ∷ TypeSpec fn Url Source #

combineSpec ∷ TypeSpec fn Url → TypeSpec fn Url → Specification fn Url Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Url → GenT m Url Source #

conformsTo ∷ Url → TypeSpec fn Url → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Url → Url → [Url] Source #

toPreds ∷ Term fn Url → TypeSpec fn Url → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Url → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Url → [Url] → Specification fn Url Source #

prerequisites ∷ Evidence (Prerequisites fn Url) Source #

IsConwayUniv fn ⇒ HasSpec fn Coin Source # 
Instance details

Associated Types

type TypeSpec fn Coin Source #

type Prerequisites fn Coin Source #

Methods

emptySpec ∷ TypeSpec fn Coin Source #

combineSpec ∷ TypeSpec fn Coin → TypeSpec fn Coin → Specification fn Coin Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Coin → GenT m Coin Source #

conformsTo ∷ Coin → TypeSpec fn Coin → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Coin → Coin → [Coin] Source #

toPreds ∷ Term fn Coin → TypeSpec fn Coin → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Coin → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Coin → [Coin] → Specification fn Coin Source #

prerequisites ∷ Evidence (Prerequisites fn Coin) Source #

IsConwayUniv fn ⇒ HasSpec fn DeltaCoin Source # 
Instance details

Associated Types

type TypeSpec fn DeltaCoin Source #

type Prerequisites fn DeltaCoin Source #

Methods

emptySpec ∷ TypeSpec fn DeltaCoin Source #

combineSpec ∷ TypeSpec fn DeltaCoin → TypeSpec fn DeltaCoin → Specification fn DeltaCoin Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn DeltaCoin → GenT m DeltaCoin Source #

conformsTo ∷ DeltaCoin → TypeSpec fn DeltaCoin → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn DeltaCoin → DeltaCoin → [DeltaCoin] Source #

toPreds ∷ Term fn DeltaCoin → TypeSpec fn DeltaCoin → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn DeltaCoin → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn DeltaCoin → [DeltaCoin] → Specification fn DeltaCoin Source #

prerequisites ∷ Evidence (Prerequisites fn DeltaCoin) Source #

IsConwayUniv fn ⇒ HasSpec fn Ptr Source # 
Instance details

Associated Types

type TypeSpec fn Ptr Source #

type Prerequisites fn Ptr Source #

Methods

emptySpec ∷ TypeSpec fn Ptr Source #

combineSpec ∷ TypeSpec fn Ptr → TypeSpec fn Ptr → Specification fn Ptr Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Ptr → GenT m Ptr Source #

conformsTo ∷ Ptr → TypeSpec fn Ptr → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Ptr → Ptr → [Ptr] Source #

toPreds ∷ Term fn Ptr → TypeSpec fn Ptr → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Ptr → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Ptr → [Ptr] → Specification fn Ptr Source #

prerequisites ∷ Evidence (Prerequisites fn Ptr) Source #

IsConwayUniv fn ⇒ HasSpec fn Metadatum Source # 
Instance details

Associated Types

type TypeSpec fn Metadatum Source #

type Prerequisites fn Metadatum Source #

Methods

emptySpec ∷ TypeSpec fn Metadatum Source #

combineSpec ∷ TypeSpec fn Metadatum → TypeSpec fn Metadatum → Specification fn Metadatum Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Metadatum → GenT m Metadatum Source #

conformsTo ∷ Metadatum → TypeSpec fn Metadatum → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Metadatum → Metadatum → [Metadatum] Source #

toPreds ∷ Term fn Metadatum → TypeSpec fn Metadatum → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Metadatum → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Metadatum → [Metadatum] → Specification fn Metadatum Source #

prerequisites ∷ Evidence (Prerequisites fn Metadatum) Source #

IsConwayUniv fn ⇒ HasSpec fn CostModel Source # 
Instance details

Associated Types

type TypeSpec fn CostModel Source #

type Prerequisites fn CostModel Source #

Methods

emptySpec ∷ TypeSpec fn CostModel Source #

combineSpec ∷ TypeSpec fn CostModel → TypeSpec fn CostModel → Specification fn CostModel Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn CostModel → GenT m CostModel Source #

conformsTo ∷ CostModel → TypeSpec fn CostModel → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn CostModel → CostModel → [CostModel] Source #

toPreds ∷ Term fn CostModel → TypeSpec fn CostModel → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn CostModel → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn CostModel → [CostModel] → Specification fn CostModel Source #

prerequisites ∷ Evidence (Prerequisites fn CostModel) Source #

IsConwayUniv fn ⇒ HasSpec fn CostModels Source # 
Instance details

Associated Types

type TypeSpec fn CostModels Source #

type Prerequisites fn CostModels Source #

Methods

emptySpec ∷ TypeSpec fn CostModels Source #

combineSpec ∷ TypeSpec fn CostModels → TypeSpec fn CostModels → Specification fn CostModels Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn CostModels → GenT m CostModels Source #

conformsTo ∷ CostModels → TypeSpec fn CostModels → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn CostModels → CostModels → [CostModels] Source #

toPreds ∷ Term fn CostModels → TypeSpec fn CostModels → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn CostModels → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn CostModels → [CostModels] → Specification fn CostModels Source #

prerequisites ∷ Evidence (Prerequisites fn CostModels) Source #

IsConwayUniv fn ⇒ HasSpec fn ExUnits Source # 
Instance details

Associated Types

type TypeSpec fn ExUnits Source #

type Prerequisites fn ExUnits Source #

Methods

emptySpec ∷ TypeSpec fn ExUnits Source #

combineSpec ∷ TypeSpec fn ExUnits → TypeSpec fn ExUnits → Specification fn ExUnits Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn ExUnits → GenT m ExUnits Source #

conformsTo ∷ ExUnits → TypeSpec fn ExUnits → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn ExUnits → ExUnits → [ExUnits] Source #

toPreds ∷ Term fn ExUnits → TypeSpec fn ExUnits → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn ExUnits → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn ExUnits → [ExUnits] → Specification fn ExUnits Source #

prerequisites ∷ Evidence (Prerequisites fn ExUnits) Source #

IsConwayUniv fn ⇒ HasSpec fn Prices Source # 
Instance details

Associated Types

type TypeSpec fn Prices Source #

type Prerequisites fn Prices Source #

Methods

emptySpec ∷ TypeSpec fn Prices Source #

combineSpec ∷ TypeSpec fn Prices → TypeSpec fn Prices → Specification fn Prices Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Prices → GenT m Prices Source #

conformsTo ∷ Prices → TypeSpec fn Prices → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Prices → Prices → [Prices] Source #

toPreds ∷ Term fn Prices → TypeSpec fn Prices → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Prices → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Prices → [Prices] → Specification fn Prices Source #

prerequisites ∷ Evidence (Prerequisites fn Prices) Source #

IsConwayUniv fn ⇒ HasSpec fn Language Source # 
Instance details

Associated Types

type TypeSpec fn Language Source #

type Prerequisites fn Language Source #

Methods

emptySpec ∷ TypeSpec fn Language Source #

combineSpec ∷ TypeSpec fn Language → TypeSpec fn Language → Specification fn Language Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Language → GenT m Language Source #

conformsTo ∷ Language → TypeSpec fn Language → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Language → Language → [Language] Source #

toPreds ∷ Term fn Language → TypeSpec fn Language → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Language → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Language → [Language] → Specification fn Language Source #

prerequisites ∷ Evidence (Prerequisites fn Language) Source #

IsConwayUniv fn ⇒ HasSpec fn PoolMetadata Source # 
Instance details

Associated Types

type TypeSpec fn PoolMetadata Source #

type Prerequisites fn PoolMetadata Source #

Methods

emptySpec ∷ TypeSpec fn PoolMetadata Source #

combineSpec ∷ TypeSpec fn PoolMetadata → TypeSpec fn PoolMetadata → Specification fn PoolMetadata Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn PoolMetadata → GenT m PoolMetadata Source #

conformsTo ∷ PoolMetadata → TypeSpec fn PoolMetadata → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn PoolMetadata → PoolMetadata → [PoolMetadata] Source #

toPreds ∷ Term fn PoolMetadata → TypeSpec fn PoolMetadata → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn PoolMetadata → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn PoolMetadata → [PoolMetadata] → Specification fn PoolMetadata Source #

prerequisites ∷ Evidence (Prerequisites fn PoolMetadata) Source #

IsConwayUniv fn ⇒ HasSpec fn StakePoolRelay Source # 
Instance details

Associated Types

type TypeSpec fn StakePoolRelay Source #

type Prerequisites fn StakePoolRelay Source #

Methods

emptySpec ∷ TypeSpec fn StakePoolRelay Source #

combineSpec ∷ TypeSpec fn StakePoolRelay → TypeSpec fn StakePoolRelay → Specification fn StakePoolRelay Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn StakePoolRelay → GenT m StakePoolRelay Source #

conformsTo ∷ StakePoolRelay → TypeSpec fn StakePoolRelay → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn StakePoolRelay → StakePoolRelay → [StakePoolRelay] Source #

toPreds ∷ Term fn StakePoolRelay → TypeSpec fn StakePoolRelay → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn StakePoolRelay → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn StakePoolRelay → [StakePoolRelay] → Specification fn StakePoolRelay Source #

prerequisites ∷ Evidence (Prerequisites fn StakePoolRelay) Source #

IsConwayUniv fn ⇒ HasSpec fn RDPair Source # 
Instance details

Associated Types

type TypeSpec fn RDPair Source #

type Prerequisites fn RDPair Source #

Methods

emptySpec ∷ TypeSpec fn RDPair Source #

combineSpec ∷ TypeSpec fn RDPair → TypeSpec fn RDPair → Specification fn RDPair Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn RDPair → GenT m RDPair Source #

conformsTo ∷ RDPair → TypeSpec fn RDPair → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn RDPair → RDPair → [RDPair] Source #

toPreds ∷ Term fn RDPair → TypeSpec fn RDPair → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn RDPair → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn RDPair → [RDPair] → Specification fn RDPair Source #

prerequisites ∷ Evidence (Prerequisites fn RDPair) Source #

IsConwayUniv fn ⇒ HasSpec fn AssetName Source # 
Instance details

Associated Types

type TypeSpec fn AssetName Source #

type Prerequisites fn AssetName Source #

Methods

emptySpec ∷ TypeSpec fn AssetName Source #

combineSpec ∷ TypeSpec fn AssetName → TypeSpec fn AssetName → Specification fn AssetName Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn AssetName → GenT m AssetName Source #

conformsTo ∷ AssetName → TypeSpec fn AssetName → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn AssetName → AssetName → [AssetName] Source #

toPreds ∷ Term fn AssetName → TypeSpec fn AssetName → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn AssetName → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn AssetName → [AssetName] → Specification fn AssetName Source #

prerequisites ∷ Evidence (Prerequisites fn AssetName) Source #

IsConwayUniv fn ⇒ HasSpec fn AccountState Source # 
Instance details

Associated Types

type TypeSpec fn AccountState Source #

type Prerequisites fn AccountState Source #

Methods

emptySpec ∷ TypeSpec fn AccountState Source #

combineSpec ∷ TypeSpec fn AccountState → TypeSpec fn AccountState → Specification fn AccountState Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn AccountState → GenT m AccountState Source #

conformsTo ∷ AccountState → TypeSpec fn AccountState → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn AccountState → AccountState → [AccountState] Source #

toPreds ∷ Term fn AccountState → TypeSpec fn AccountState → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn AccountState → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn AccountState → [AccountState] → Specification fn AccountState Source #

prerequisites ∷ Evidence (Prerequisites fn AccountState) Source #

IsConwayUniv fn ⇒ HasSpec fn Likelihood Source # 
Instance details

Associated Types

type TypeSpec fn Likelihood Source #

type Prerequisites fn Likelihood Source #

Methods

emptySpec ∷ TypeSpec fn Likelihood Source #

combineSpec ∷ TypeSpec fn Likelihood → TypeSpec fn Likelihood → Specification fn Likelihood Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Likelihood → GenT m Likelihood Source #

conformsTo ∷ Likelihood → TypeSpec fn Likelihood → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Likelihood → Likelihood → [Likelihood] Source #

toPreds ∷ Term fn Likelihood → TypeSpec fn Likelihood → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Likelihood → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Likelihood → [Likelihood] → Specification fn Likelihood Source #

prerequisites ∷ Evidence (Prerequisites fn Likelihood) Source #

IsConwayUniv fn ⇒ HasSpec fn LogWeight Source # 
Instance details

Associated Types

type TypeSpec fn LogWeight Source #

type Prerequisites fn LogWeight Source #

Methods

emptySpec ∷ TypeSpec fn LogWeight Source #

combineSpec ∷ TypeSpec fn LogWeight → TypeSpec fn LogWeight → Specification fn LogWeight Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn LogWeight → GenT m LogWeight Source #

conformsTo ∷ LogWeight → TypeSpec fn LogWeight → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn LogWeight → LogWeight → [LogWeight] Source #

toPreds ∷ Term fn LogWeight → TypeSpec fn LogWeight → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn LogWeight → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn LogWeight → [LogWeight] → Specification fn LogWeight Source #

prerequisites ∷ Evidence (Prerequisites fn LogWeight) Source #

IsConwayUniv fn ⇒ HasSpec fn EpochInterval Source # 
Instance details

Associated Types

type TypeSpec fn EpochInterval Source #

type Prerequisites fn EpochInterval Source #

Methods

emptySpec ∷ TypeSpec fn EpochInterval Source #

combineSpec ∷ TypeSpec fn EpochInterval → TypeSpec fn EpochInterval → Specification fn EpochInterval Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn EpochInterval → GenT m EpochInterval Source #

conformsTo ∷ EpochInterval → TypeSpec fn EpochInterval → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn EpochInterval → EpochInterval → [EpochInterval] Source #

toPreds ∷ Term fn EpochInterval → TypeSpec fn EpochInterval → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn EpochInterval → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn EpochInterval → [EpochInterval] → Specification fn EpochInterval Source #

prerequisites ∷ Evidence (Prerequisites fn EpochInterval) Source #

IsConwayUniv fn ⇒ HasSpec fn EpochNo Source # 
Instance details

Associated Types

type TypeSpec fn EpochNo Source #

type Prerequisites fn EpochNo Source #

Methods

emptySpec ∷ TypeSpec fn EpochNo Source #

combineSpec ∷ TypeSpec fn EpochNo → TypeSpec fn EpochNo → Specification fn EpochNo Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn EpochNo → GenT m EpochNo Source #

conformsTo ∷ EpochNo → TypeSpec fn EpochNo → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn EpochNo → EpochNo → [EpochNo] Source #

toPreds ∷ Term fn EpochNo → TypeSpec fn EpochNo → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn EpochNo → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn EpochNo → [EpochNo] → Specification fn EpochNo Source #

prerequisites ∷ Evidence (Prerequisites fn EpochNo) Source #

IsConwayUniv fn ⇒ HasSpec fn SlotNo Source # 
Instance details

Associated Types

type TypeSpec fn SlotNo Source #

type Prerequisites fn SlotNo Source #

Methods

emptySpec ∷ TypeSpec fn SlotNo Source #

combineSpec ∷ TypeSpec fn SlotNo → TypeSpec fn SlotNo → Specification fn SlotNo Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn SlotNo → GenT m SlotNo Source #

conformsTo ∷ SlotNo → TypeSpec fn SlotNo → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn SlotNo → SlotNo → [SlotNo] Source #

toPreds ∷ Term fn SlotNo → TypeSpec fn SlotNo → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn SlotNo → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn SlotNo → [SlotNo] → Specification fn SlotNo Source #

prerequisites ∷ Evidence (Prerequisites fn SlotNo) Source #

IsConwayUniv fn ⇒ HasSpec fn Data Source # 
Instance details

Associated Types

type TypeSpec fn Data Source #

type Prerequisites fn Data Source #

Methods

emptySpec ∷ TypeSpec fn Data Source #

combineSpec ∷ TypeSpec fn Data → TypeSpec fn Data → Specification fn Data Source #

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

conformsTo ∷ Data → TypeSpec fn Data → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Data → Data → [Data] Source #

toPreds ∷ Term fn Data → TypeSpec fn Data → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Data → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Data → [Data] → Specification fn Data Source #

prerequisites ∷ Evidence (Prerequisites fn Data) Source #

IsConwayUniv fn ⇒ HasSpec fn Text Source # 
Instance details

Associated Types

type TypeSpec fn Text Source #

type Prerequisites fn Text Source #

Methods

emptySpec ∷ TypeSpec fn Text Source #

combineSpec ∷ TypeSpec fn Text → TypeSpec fn Text → Specification fn Text Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Text → GenT m Text Source #

conformsTo ∷ Text → TypeSpec fn Text → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Text → Text → [Text] Source #

toPreds ∷ Term fn Text → TypeSpec fn Text → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Text → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Text → [Text] → Specification fn Text Source #

prerequisites ∷ Evidence (Prerequisites fn Text) Source #

IsConwayUniv fn ⇒ HasSpec fn Char Source # 
Instance details

Associated Types

type TypeSpec fn Char Source #

type Prerequisites fn Char Source #

Methods

emptySpec ∷ TypeSpec fn Char Source #

combineSpec ∷ TypeSpec fn Char → TypeSpec fn Char → Specification fn Char Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn Char → GenT m Char Source #

conformsTo ∷ Char → TypeSpec fn Char → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn Char → Char → [Char] Source #

toPreds ∷ Term fn Char → TypeSpec fn Char → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn Char → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn Char → [Char] → Specification fn Char Source #

prerequisites ∷ Evidence (Prerequisites fn Char) Source #

IsConwayUniv fn ⇒ NumLike fn Coin Source # 
Instance details

Methods

subtractSpec ∷ Coin → TypeSpec fn Coin → Specification fn Coin Source #

negateSpec ∷ TypeSpec fn Coin → Specification fn Coin Source #

safeSubtract ∷ Coin → Coin → Maybe Coin Source #

BaseUniverse fn ⇒ OrdLike fn Version Source # 
Instance details

Methods

leqSpec ∷ Version → Specification fn Version Source #

ltSpec ∷ Version → Specification fn Version Source #

geqSpec ∷ Version → Specification fn Version Source #

gtSpec ∷ Version → Specification fn Version Source #

IsConwayUniv fn ⇒ OrdLike fn Coin Source # 
Instance details

Methods

leqSpec ∷ Coin → Specification fn Coin Source #

ltSpec ∷ Coin → Specification fn Coin Source #

geqSpec ∷ Coin → Specification fn Coin Source #

gtSpec ∷ Coin → Specification fn Coin Source #

IsConwayUniv fn ⇒ OrdLike fn EpochInterval Source # 
Instance details

Methods

leqSpec ∷ EpochInterval → Specification fn EpochInterval Source #

ltSpec ∷ EpochInterval → Specification fn EpochInterval Source #

geqSpec ∷ EpochInterval → Specification fn EpochInterval Source #

gtSpec ∷ EpochInterval → Specification fn EpochInterval Source #

IsConwayUniv fn ⇒ OrdLike fn EpochNo Source # 
Instance details

Methods

leqSpec ∷ EpochNo → Specification fn EpochNo Source #

ltSpec ∷ EpochNo → Specification fn EpochNo Source #

geqSpec ∷ EpochNo → Specification fn EpochNo Source #

gtSpec ∷ EpochNo → Specification fn EpochNo Source #

IsConwayUniv fn ⇒ OrdLike fn SlotNo Source # 
Instance details

Methods

leqSpec ∷ SlotNo → Specification fn SlotNo Source #

ltSpec ∷ SlotNo → Specification fn SlotNo Source #

geqSpec ∷ SlotNo → Specification fn SlotNo Source #

gtSpec ∷ SlotNo → Specification fn SlotNo Source #

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

Associated Types

type Hint (Proposals era) Source #

Methods

giveHint ∷ Hint (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 #

Methods

emptySpec ∷ TypeSpec fn (OSet a) Source #

combineSpec ∷ TypeSpec fn (OSet a) → TypeSpec fn (OSet a) → Specification fn (OSet a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (OSet a) → GenT m (OSet a) Source #

conformsTo ∷ OSet a → TypeSpec fn (OSet a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (OSet a) → OSet a → [OSet a] Source #

toPreds ∷ Term fn (OSet a) → TypeSpec fn (OSet a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (OSet a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (OSet a) → [OSet a] → Specification fn (OSet a) Source #

prerequisites ∷ Evidence (Prerequisites fn (OSet a)) Source #

(IsConwayUniv fn, Crypto (EraCrypto era), Era era) ⇒ HasSpec fn (Timelock era) Source # 
Instance details

Associated Types

type TypeSpec fn (Timelock era) Source #

type Prerequisites fn (Timelock era) Source #

Methods

emptySpec ∷ TypeSpec fn (Timelock era) Source #

combineSpec ∷ TypeSpec fn (Timelock era) → TypeSpec fn (Timelock era) → Specification fn (Timelock era) Source #

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

conformsTo ∷ Timelock era → TypeSpec fn (Timelock era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Timelock era) → Timelock era → [Timelock era] Source #

toPreds ∷ Term fn (Timelock era) → TypeSpec fn (Timelock era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Timelock era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Timelock era) → [Timelock era] → Specification fn (Timelock era) Source #

prerequisites ∷ Evidence (Prerequisites fn (Timelock era)) Source #

(IsConwayUniv fn, EraScript era, Script era ~ AlonzoScript era) ⇒ HasSpec fn (AlonzoScript era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoScript era) Source #

type Prerequisites fn (AlonzoScript era) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoScript era) Source #

combineSpec ∷ TypeSpec fn (AlonzoScript era) → TypeSpec fn (AlonzoScript era) → Specification fn (AlonzoScript era) Source #

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

conformsTo ∷ AlonzoScript era → TypeSpec fn (AlonzoScript era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (AlonzoScript era) → AlonzoScript era → [AlonzoScript era] Source #

toPreds ∷ Term fn (AlonzoScript era) → TypeSpec fn (AlonzoScript era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (AlonzoScript era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (AlonzoScript era) → [AlonzoScript era] → Specification fn (AlonzoScript era) Source #

prerequisites ∷ Evidence (Prerequisites fn (AlonzoScript era)) Source #

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTx (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (AlonzoTx (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → Specification fn (AlonzoTx (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → GenT m (AlonzoTx (ConwayEra StandardCrypto)) Source #

conformsTo ∷ AlonzoTx (ConwayEra StandardCrypto) → TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → AlonzoTx (ConwayEra StandardCrypto) → [AlonzoTx (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (AlonzoTx (ConwayEra StandardCrypto)) → TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (AlonzoTx (ConwayEra StandardCrypto)) → [AlonzoTx (ConwayEra StandardCrypto)] → Specification fn (AlonzoTx (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (AlonzoTx (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → Specification fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → GenT m (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

conformsTo ∷ AlonzoTxAuxData (ConwayEra StandardCrypto) → TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → AlonzoTxAuxData (ConwayEra StandardCrypto) → [AlonzoTxAuxData (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) → [AlonzoTxAuxData (ConwayEra StandardCrypto)] → Specification fn (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (AlonzoTxAuxData (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → Specification fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → GenT m (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

conformsTo ∷ AlonzoTxWits (ConwayEra StandardCrypto) → TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → AlonzoTxWits (ConwayEra StandardCrypto) → [AlonzoTxWits (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (AlonzoTxWits (ConwayEra StandardCrypto)) → TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (AlonzoTxWits (ConwayEra StandardCrypto)) → [AlonzoTxWits (ConwayEra StandardCrypto)] → Specification fn (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (AlonzoTxWits (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (BabbageTxOut era) Source #

type Prerequisites fn (BabbageTxOut era) Source #

Methods

emptySpec ∷ TypeSpec fn (BabbageTxOut era) Source #

combineSpec ∷ TypeSpec fn (BabbageTxOut era) → TypeSpec fn (BabbageTxOut era) → Specification fn (BabbageTxOut era) Source #

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

conformsTo ∷ BabbageTxOut era → TypeSpec fn (BabbageTxOut era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (BabbageTxOut era) → BabbageTxOut era → [BabbageTxOut era] Source #

toPreds ∷ Term fn (BabbageTxOut era) → TypeSpec fn (BabbageTxOut era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (BabbageTxOut era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (BabbageTxOut era) → [BabbageTxOut era] → Specification fn (BabbageTxOut era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Sized a) Source #

combineSpec ∷ TypeSpec fn (Sized a) → TypeSpec fn (Sized a) → Specification fn (Sized a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Sized a) → GenT m (Sized a) Source #

conformsTo ∷ Sized a → TypeSpec fn (Sized a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Sized a) → Sized a → [Sized a] Source #

toPreds ∷ Term fn (Sized a) → TypeSpec fn (Sized a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Sized a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Sized a) → [Sized a] → Specification fn (Sized a) Source #

prerequisites ∷ Evidence (Prerequisites fn (Sized a)) Source #

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

Associated Types

type TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (ConwayGovState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → Specification fn (ConwayGovState (ConwayEra StandardCrypto)) Source #

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

conformsTo ∷ ConwayGovState (ConwayEra StandardCrypto) → TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → ConwayGovState (ConwayEra StandardCrypto) → [ConwayGovState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (ConwayGovState (ConwayEra StandardCrypto)) → TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ConwayGovState (ConwayEra StandardCrypto)) → [ConwayGovState (ConwayEra StandardCrypto)] → Specification fn (ConwayGovState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (ConwayGovState (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (DRepPulsingState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → Specification fn (DRepPulsingState (ConwayEra StandardCrypto)) Source #

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

conformsTo ∷ DRepPulsingState (ConwayEra StandardCrypto) → TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → DRepPulsingState (ConwayEra StandardCrypto) → [DRepPulsingState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (DRepPulsingState (ConwayEra StandardCrypto)) → TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (DRepPulsingState (ConwayEra StandardCrypto)) → [DRepPulsingState (ConwayEra StandardCrypto)] → Specification fn (DRepPulsingState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (DRepPulsingState (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → Specification fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

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

conformsTo ∷ PulsingSnapshot (ConwayEra StandardCrypto) → TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → PulsingSnapshot (ConwayEra StandardCrypto) → [PulsingSnapshot (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (PulsingSnapshot (ConwayEra StandardCrypto)) → TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PulsingSnapshot (ConwayEra StandardCrypto)) → [PulsingSnapshot (ConwayEra StandardCrypto)] → Specification fn (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (PulsingSnapshot (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (EnactState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (EnactState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (EnactState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (EnactState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → Specification fn (EnactState (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → GenT m (EnactState (ConwayEra StandardCrypto)) Source #

conformsTo ∷ EnactState (ConwayEra StandardCrypto) → TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → EnactState (ConwayEra StandardCrypto) → [EnactState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (EnactState (ConwayEra StandardCrypto)) → TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (EnactState (ConwayEra StandardCrypto)) → [EnactState (ConwayEra StandardCrypto)] → Specification fn (EnactState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (EnactState (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (RatifyEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (RatifyEnv (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → Specification fn (RatifyEnv (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → GenT m (RatifyEnv (ConwayEra StandardCrypto)) Source #

conformsTo ∷ RatifyEnv (ConwayEra StandardCrypto) → TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → RatifyEnv (ConwayEra StandardCrypto) → [RatifyEnv (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (RatifyEnv (ConwayEra StandardCrypto)) → TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (RatifyEnv (ConwayEra StandardCrypto)) → [RatifyEnv (ConwayEra StandardCrypto)] → Specification fn (RatifyEnv (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (RatifyEnv (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (RatifySignal (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → Specification fn (RatifySignal (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → GenT m (RatifySignal (ConwayEra StandardCrypto)) Source #

conformsTo ∷ RatifySignal (ConwayEra StandardCrypto) → TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → RatifySignal (ConwayEra StandardCrypto) → [RatifySignal (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (RatifySignal (ConwayEra StandardCrypto)) → TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (RatifySignal (ConwayEra StandardCrypto)) → [RatifySignal (ConwayEra StandardCrypto)] → Specification fn (RatifySignal (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (RatifySignal (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (RatifyState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → Specification fn (RatifyState (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → GenT m (RatifyState (ConwayEra StandardCrypto)) Source #

conformsTo ∷ RatifyState (ConwayEra StandardCrypto) → TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → RatifyState (ConwayEra StandardCrypto) → [RatifyState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (RatifyState (ConwayEra StandardCrypto)) → TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (RatifyState (ConwayEra StandardCrypto)) → [RatifyState (ConwayEra StandardCrypto)] → Specification fn (RatifyState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (RatifyState (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (Committee (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (Committee (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (Committee (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (Committee (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (Committee (ConwayEra StandardCrypto)) → TypeSpec fn (Committee (ConwayEra StandardCrypto)) → Specification fn (Committee (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Committee (ConwayEra StandardCrypto)) → GenT m (Committee (ConwayEra StandardCrypto)) Source #

conformsTo ∷ Committee (ConwayEra StandardCrypto) → TypeSpec fn (Committee (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Committee (ConwayEra StandardCrypto)) → Committee (ConwayEra StandardCrypto) → [Committee (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (Committee (ConwayEra StandardCrypto)) → TypeSpec fn (Committee (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Committee (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Committee (ConwayEra StandardCrypto)) → [Committee (ConwayEra StandardCrypto)] → Specification fn (Committee (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (Committee (ConwayEra StandardCrypto))) 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 #

Methods

emptySpec ∷ TypeSpec fn (Constitution era) Source #

combineSpec ∷ TypeSpec fn (Constitution era) → TypeSpec fn (Constitution era) → Specification fn (Constitution era) Source #

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

conformsTo ∷ Constitution era → TypeSpec fn (Constitution era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Constitution era) → Constitution era → [Constitution era] Source #

toPreds ∷ Term fn (Constitution era) → TypeSpec fn (Constitution era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Constitution era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Constitution era) → [Constitution era] → Specification fn (Constitution era) Source #

prerequisites ∷ Evidence (Prerequisites fn (Constitution era)) Source #

(IsConwayUniv fn, EraPParams era, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (GovAction era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovAction era) Source #

type Prerequisites fn (GovAction era) Source #

Methods

emptySpec ∷ TypeSpec fn (GovAction era) Source #

combineSpec ∷ TypeSpec fn (GovAction era) → TypeSpec fn (GovAction era) → Specification fn (GovAction era) Source #

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

conformsTo ∷ GovAction era → TypeSpec fn (GovAction era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovAction era) → GovAction era → [GovAction era] Source #

toPreds ∷ Term fn (GovAction era) → TypeSpec fn (GovAction era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovAction era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GovAction era) → [GovAction era] → Specification fn (GovAction era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (GovActionId c) Source #

combineSpec ∷ TypeSpec fn (GovActionId c) → TypeSpec fn (GovActionId c) → Specification fn (GovActionId c) Source #

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

conformsTo ∷ GovActionId c → TypeSpec fn (GovActionId c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovActionId c) → GovActionId c → [GovActionId c] Source #

toPreds ∷ Term fn (GovActionId c) → TypeSpec fn (GovActionId c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovActionId c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GovActionId c) → [GovActionId c] → Specification fn (GovActionId c) Source #

prerequisites ∷ Evidence (Prerequisites fn (GovActionId c)) Source #

IsConwayUniv fn ⇒ HasSpec fn (GovActionState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (GovActionState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → Specification fn (GovActionState (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → GenT m (GovActionState (ConwayEra StandardCrypto)) Source #

conformsTo ∷ GovActionState (ConwayEra StandardCrypto) → TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → GovActionState (ConwayEra StandardCrypto) → [GovActionState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (GovActionState (ConwayEra StandardCrypto)) → TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GovActionState (ConwayEra StandardCrypto)) → [GovActionState (ConwayEra StandardCrypto)] → Specification fn (GovActionState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (GovActionState (ConwayEra StandardCrypto))) Source #

(Era era, EraPParams era, IsConwayUniv fn, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (GovProcedures era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovProcedures era) Source #

type Prerequisites fn (GovProcedures era) Source #

Methods

emptySpec ∷ TypeSpec fn (GovProcedures era) Source #

combineSpec ∷ TypeSpec fn (GovProcedures era) → TypeSpec fn (GovProcedures era) → Specification fn (GovProcedures era) Source #

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

conformsTo ∷ GovProcedures era → TypeSpec fn (GovProcedures era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovProcedures era) → GovProcedures era → [GovProcedures era] Source #

toPreds ∷ Term fn (GovProcedures era) → TypeSpec fn (GovProcedures era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovProcedures era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GovProcedures era) → [GovProcedures era] → Specification fn (GovProcedures era) Source #

prerequisites ∷ Evidence (Prerequisites fn (GovProcedures era)) Source #

(IsConwayUniv fn, EraPParams era, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (ProposalProcedure era) Source # 
Instance details

Associated Types

type TypeSpec fn (ProposalProcedure era) Source #

type Prerequisites fn (ProposalProcedure era) Source #

Methods

emptySpec ∷ TypeSpec fn (ProposalProcedure era) Source #

combineSpec ∷ TypeSpec fn (ProposalProcedure era) → TypeSpec fn (ProposalProcedure era) → Specification fn (ProposalProcedure era) Source #

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

conformsTo ∷ ProposalProcedure era → TypeSpec fn (ProposalProcedure era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ProposalProcedure era) → ProposalProcedure era → [ProposalProcedure era] Source #

toPreds ∷ Term fn (ProposalProcedure era) → TypeSpec fn (ProposalProcedure era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ProposalProcedure era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ProposalProcedure era) → [ProposalProcedure era] → Specification fn (ProposalProcedure era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Voter c) Source #

combineSpec ∷ TypeSpec fn (Voter c) → TypeSpec fn (Voter c) → Specification fn (Voter c) Source #

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

conformsTo ∷ Voter c → TypeSpec fn (Voter c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Voter c) → Voter c → [Voter c] Source #

toPreds ∷ Term fn (Voter c) → TypeSpec fn (Voter c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Voter c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Voter c) → [Voter c] → Specification fn (Voter c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (VotingProcedure era) Source #

combineSpec ∷ TypeSpec fn (VotingProcedure era) → TypeSpec fn (VotingProcedure era) → Specification fn (VotingProcedure era) Source #

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

conformsTo ∷ VotingProcedure era → TypeSpec fn (VotingProcedure era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (VotingProcedure era) → VotingProcedure era → [VotingProcedure era] Source #

toPreds ∷ Term fn (VotingProcedure era) → TypeSpec fn (VotingProcedure era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (VotingProcedure era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (VotingProcedure era) → [VotingProcedure era] → Specification fn (VotingProcedure era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (VotingProcedures era) Source #

combineSpec ∷ TypeSpec fn (VotingProcedures era) → TypeSpec fn (VotingProcedures era) → Specification fn (VotingProcedures era) Source #

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

conformsTo ∷ VotingProcedures era → TypeSpec fn (VotingProcedures era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (VotingProcedures era) → VotingProcedures era → [VotingProcedures era] Source #

toPreds ∷ Term fn (VotingProcedures era) → TypeSpec fn (VotingProcedures era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (VotingProcedures era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (VotingProcedures era) → [VotingProcedures era] → Specification fn (VotingProcedures era) Source #

prerequisites ∷ Evidence (Prerequisites fn (VotingProcedures era)) Source #

IsConwayUniv fn ⇒ HasSpec fn (Proposals (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (Proposals (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (Proposals (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (Proposals (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → Specification fn (Proposals (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → GenT m (Proposals (ConwayEra StandardCrypto)) Source #

conformsTo ∷ Proposals (ConwayEra StandardCrypto) → TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → Proposals (ConwayEra StandardCrypto) → [Proposals (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (Proposals (ConwayEra StandardCrypto)) → TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Proposals (ConwayEra StandardCrypto)) → [Proposals (ConwayEra StandardCrypto)] → Specification fn (Proposals (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (Proposals (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (CertEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (CertEnv (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → Specification fn (CertEnv (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → GenT m (CertEnv (ConwayEra StandardCrypto)) Source #

conformsTo ∷ CertEnv (ConwayEra StandardCrypto) → TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → CertEnv (ConwayEra StandardCrypto) → [CertEnv (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (CertEnv (ConwayEra StandardCrypto)) → TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (CertEnv (ConwayEra StandardCrypto)) → [CertEnv (ConwayEra StandardCrypto)] → Specification fn (CertEnv (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (CertEnv (ConwayEra StandardCrypto))) 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 #

Methods

emptySpec ∷ TypeSpec fn (ConwayDelegEnv era) Source #

combineSpec ∷ TypeSpec fn (ConwayDelegEnv era) → TypeSpec fn (ConwayDelegEnv era) → Specification fn (ConwayDelegEnv era) Source #

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

conformsTo ∷ ConwayDelegEnv era → TypeSpec fn (ConwayDelegEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayDelegEnv era) → ConwayDelegEnv era → [ConwayDelegEnv era] Source #

toPreds ∷ Term fn (ConwayDelegEnv era) → TypeSpec fn (ConwayDelegEnv era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayDelegEnv era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ConwayDelegEnv era) → [ConwayDelegEnv era] → Specification fn (ConwayDelegEnv era) Source #

prerequisites ∷ Evidence (Prerequisites fn (ConwayDelegEnv era)) Source #

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

Associated Types

type TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (EnactSignal (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → Specification fn (EnactSignal (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → GenT m (EnactSignal (ConwayEra StandardCrypto)) Source #

conformsTo ∷ EnactSignal (ConwayEra StandardCrypto) → TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → EnactSignal (ConwayEra StandardCrypto) → [EnactSignal (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (EnactSignal (ConwayEra StandardCrypto)) → TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (EnactSignal (ConwayEra StandardCrypto)) → [EnactSignal (ConwayEra StandardCrypto)] → Specification fn (EnactSignal (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (EnactSignal (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (GovEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (GovEnv (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → Specification fn (GovEnv (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → GenT m (GovEnv (ConwayEra StandardCrypto)) Source #

conformsTo ∷ GovEnv (ConwayEra StandardCrypto) → TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → GovEnv (ConwayEra StandardCrypto) → [GovEnv (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (GovEnv (ConwayEra StandardCrypto)) → TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GovEnv (ConwayEra StandardCrypto)) → [GovEnv (ConwayEra StandardCrypto)] → Specification fn (GovEnv (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (GovEnv (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → Specification fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

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

conformsTo ∷ ConwayGovCertEnv (ConwayEra StandardCrypto) → TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → ConwayGovCertEnv (ConwayEra StandardCrypto) → [ConwayGovCertEnv (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) → [ConwayGovCertEnv (ConwayEra StandardCrypto)] → Specification fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (ConwayGovCertEnv (ConwayEra StandardCrypto))) Source #

(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

emptySpec ∷ TypeSpec fn (ConwayTxBody (ConwayEra c)) Source #

combineSpec ∷ TypeSpec fn (ConwayTxBody (ConwayEra c)) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Specification fn (ConwayTxBody (ConwayEra c)) Source #

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

conformsTo ∷ ConwayTxBody (ConwayEra c) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayTxBody (ConwayEra c)) → ConwayTxBody (ConwayEra c) → [ConwayTxBody (ConwayEra c)] Source #

toPreds ∷ Term fn (ConwayTxBody (ConwayEra c)) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayTxBody (ConwayEra c)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (ConwayDelegCert c) Source #

combineSpec ∷ TypeSpec fn (ConwayDelegCert c) → TypeSpec fn (ConwayDelegCert c) → Specification fn (ConwayDelegCert c) Source #

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

conformsTo ∷ ConwayDelegCert c → TypeSpec fn (ConwayDelegCert c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayDelegCert c) → ConwayDelegCert c → [ConwayDelegCert c] Source #

toPreds ∷ Term fn (ConwayDelegCert c) → TypeSpec fn (ConwayDelegCert c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayDelegCert c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ConwayDelegCert c) → [ConwayDelegCert c] → Specification fn (ConwayDelegCert c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (ConwayGovCert c) Source #

combineSpec ∷ TypeSpec fn (ConwayGovCert c) → TypeSpec fn (ConwayGovCert c) → Specification fn (ConwayGovCert c) Source #

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

conformsTo ∷ ConwayGovCert c → TypeSpec fn (ConwayGovCert c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayGovCert c) → ConwayGovCert c → [ConwayGovCert c] Source #

toPreds ∷ Term fn (ConwayGovCert c) → TypeSpec fn (ConwayGovCert c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayGovCert c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ConwayGovCert c) → [ConwayGovCert c] → Specification fn (ConwayGovCert c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (ConwayTxCert era) Source #

combineSpec ∷ TypeSpec fn (ConwayTxCert era) → TypeSpec fn (ConwayTxCert era) → Specification fn (ConwayTxCert era) Source #

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

conformsTo ∷ ConwayTxCert era → TypeSpec fn (ConwayTxCert era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayTxCert era) → ConwayTxCert era → [ConwayTxCert era] Source #

toPreds ∷ Term fn (ConwayTxCert era) → TypeSpec fn (ConwayTxCert era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayTxCert era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ConwayTxCert era) → [ConwayTxCert era] → Specification fn (ConwayTxCert era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Delegatee c) Source #

combineSpec ∷ TypeSpec fn (Delegatee c) → TypeSpec fn (Delegatee c) → Specification fn (Delegatee c) Source #

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

conformsTo ∷ Delegatee c → TypeSpec fn (Delegatee c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Delegatee c) → Delegatee c → [Delegatee c] Source #

toPreds ∷ Term fn (Delegatee c) → TypeSpec fn (Delegatee c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Delegatee c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Delegatee c) → [Delegatee c] → Specification fn (Delegatee c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Addr c) Source #

combineSpec ∷ TypeSpec fn (Addr c) → TypeSpec fn (Addr c) → Specification fn (Addr c) Source #

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

conformsTo ∷ Addr c → TypeSpec fn (Addr c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Addr c) → Addr c → [Addr c] Source #

toPreds ∷ Term fn (Addr c) → TypeSpec fn (Addr c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Addr c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Addr c) → [Addr c] → Specification fn (Addr c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (BootstrapAddress c) Source #

combineSpec ∷ TypeSpec fn (BootstrapAddress c) → TypeSpec fn (BootstrapAddress c) → Specification fn (BootstrapAddress c) Source #

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

conformsTo ∷ BootstrapAddress c → TypeSpec fn (BootstrapAddress c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (BootstrapAddress c) → BootstrapAddress c → [BootstrapAddress c] Source #

toPreds ∷ Term fn (BootstrapAddress c) → TypeSpec fn (BootstrapAddress c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (BootstrapAddress c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (BootstrapAddress c) → [BootstrapAddress c] → Specification fn (BootstrapAddress c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (CompactAddr c) Source #

combineSpec ∷ TypeSpec fn (CompactAddr c) → TypeSpec fn (CompactAddr c) → Specification fn (CompactAddr c) Source #

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

conformsTo ∷ CompactAddr c → TypeSpec fn (CompactAddr c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (CompactAddr c) → CompactAddr c → [CompactAddr c] Source #

toPreds ∷ Term fn (CompactAddr c) → TypeSpec fn (CompactAddr c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (CompactAddr c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (CompactAddr c) → [CompactAddr c] → Specification fn (CompactAddr c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (RewardAccount c) Source #

combineSpec ∷ TypeSpec fn (RewardAccount c) → TypeSpec fn (RewardAccount c) → Specification fn (RewardAccount c) Source #

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

conformsTo ∷ RewardAccount c → TypeSpec fn (RewardAccount c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (RewardAccount c) → RewardAccount c → [RewardAccount c] Source #

toPreds ∷ Term fn (RewardAccount c) → TypeSpec fn (RewardAccount c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (RewardAccount c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (RewardAccount c) → [RewardAccount c] → Specification fn (RewardAccount c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Withdrawals c) Source #

combineSpec ∷ TypeSpec fn (Withdrawals c) → TypeSpec fn (Withdrawals c) → Specification fn (Withdrawals c) Source #

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

conformsTo ∷ Withdrawals c → TypeSpec fn (Withdrawals c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Withdrawals c) → Withdrawals c → [Withdrawals c] Source #

toPreds ∷ Term fn (Withdrawals c) → TypeSpec fn (Withdrawals c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Withdrawals c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Withdrawals c) → [Withdrawals c] → Specification fn (Withdrawals c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (AuxiliaryDataHash c) Source #

combineSpec ∷ TypeSpec fn (AuxiliaryDataHash c) → TypeSpec fn (AuxiliaryDataHash c) → Specification fn (AuxiliaryDataHash c) Source #

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

conformsTo ∷ AuxiliaryDataHash c → TypeSpec fn (AuxiliaryDataHash c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (AuxiliaryDataHash c) → AuxiliaryDataHash c → [AuxiliaryDataHash c] Source #

toPreds ∷ Term fn (AuxiliaryDataHash c) → TypeSpec fn (AuxiliaryDataHash c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (AuxiliaryDataHash c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (AuxiliaryDataHash c) → [AuxiliaryDataHash c] → Specification fn (AuxiliaryDataHash c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Anchor c) Source #

combineSpec ∷ TypeSpec fn (Anchor c) → TypeSpec fn (Anchor c) → Specification fn (Anchor c) Source #

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

conformsTo ∷ Anchor c → TypeSpec fn (Anchor c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Anchor c) → Anchor c → [Anchor c] Source #

toPreds ∷ Term fn (Anchor c) → TypeSpec fn (Anchor c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Anchor c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Anchor c) → [Anchor c] → Specification fn (Anchor c) Source #

prerequisites ∷ Evidence (Prerequisites fn (Anchor 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 #

Methods

emptySpec ∷ TypeSpec fn (CertState era) Source #

combineSpec ∷ TypeSpec fn (CertState era) → TypeSpec fn (CertState era) → Specification fn (CertState era) Source #

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

conformsTo ∷ CertState era → TypeSpec fn (CertState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (CertState era) → CertState era → [CertState era] Source #

toPreds ∷ Term fn (CertState era) → TypeSpec fn (CertState era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (CertState era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (CertState era) → [CertState era] → Specification fn (CertState era) Source #

prerequisites ∷ Evidence (Prerequisites fn (CertState era)) Source #

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

Associated Types

type TypeSpec fn (CommitteeAuthorization c) Source #

type Prerequisites fn (CommitteeAuthorization c) Source #

Methods

emptySpec ∷ TypeSpec fn (CommitteeAuthorization c) Source #

combineSpec ∷ TypeSpec fn (CommitteeAuthorization c) → TypeSpec fn (CommitteeAuthorization c) → Specification fn (CommitteeAuthorization c) Source #

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

conformsTo ∷ CommitteeAuthorization c → TypeSpec fn (CommitteeAuthorization c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (CommitteeAuthorization c) → CommitteeAuthorization c → [CommitteeAuthorization c] Source #

toPreds ∷ Term fn (CommitteeAuthorization c) → TypeSpec fn (CommitteeAuthorization c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (CommitteeAuthorization c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (CommitteeState era) Source #

combineSpec ∷ TypeSpec fn (CommitteeState era) → TypeSpec fn (CommitteeState era) → Specification fn (CommitteeState era) Source #

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

conformsTo ∷ CommitteeState era → TypeSpec fn (CommitteeState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (CommitteeState era) → CommitteeState era → [CommitteeState era] Source #

toPreds ∷ Term fn (CommitteeState era) → TypeSpec fn (CommitteeState era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (CommitteeState era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (CommitteeState era) → [CommitteeState era] → Specification fn (CommitteeState era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (DState era) Source #

combineSpec ∷ TypeSpec fn (DState era) → TypeSpec fn (DState era) → Specification fn (DState era) Source #

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

conformsTo ∷ DState era → TypeSpec fn (DState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (DState era) → DState era → [DState era] Source #

toPreds ∷ Term fn (DState era) → TypeSpec fn (DState era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (DState era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (DState era) → [DState era] → Specification fn (DState era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (FutureGenDeleg c) Source #

combineSpec ∷ TypeSpec fn (FutureGenDeleg c) → TypeSpec fn (FutureGenDeleg c) → Specification fn (FutureGenDeleg c) Source #

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

conformsTo ∷ FutureGenDeleg c → TypeSpec fn (FutureGenDeleg c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (FutureGenDeleg c) → FutureGenDeleg c → [FutureGenDeleg c] Source #

toPreds ∷ Term fn (FutureGenDeleg c) → TypeSpec fn (FutureGenDeleg c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (FutureGenDeleg c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (FutureGenDeleg c) → [FutureGenDeleg c] → Specification fn (FutureGenDeleg c) Source #

prerequisites ∷ Evidence (Prerequisites fn (FutureGenDeleg c)) Source #

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

Associated Types

type TypeSpec fn (InstantaneousRewards c) Source #

type Prerequisites fn (InstantaneousRewards c) Source #

Methods

emptySpec ∷ TypeSpec fn (InstantaneousRewards c) Source #

combineSpec ∷ TypeSpec fn (InstantaneousRewards c) → TypeSpec fn (InstantaneousRewards c) → Specification fn (InstantaneousRewards c) Source #

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

conformsTo ∷ InstantaneousRewards c → TypeSpec fn (InstantaneousRewards c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (InstantaneousRewards c) → InstantaneousRewards c → [InstantaneousRewards c] Source #

toPreds ∷ Term fn (InstantaneousRewards c) → TypeSpec fn (InstantaneousRewards c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (InstantaneousRewards c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (InstantaneousRewards c) → [InstantaneousRewards c] → Specification fn (InstantaneousRewards c) Source #

prerequisites ∷ Evidence (Prerequisites fn (InstantaneousRewards c)) Source #

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

Associated Types

type TypeSpec fn (PState era) Source #

type Prerequisites fn (PState era) Source #

Methods

emptySpec ∷ TypeSpec fn (PState era) Source #

combineSpec ∷ TypeSpec fn (PState era) → TypeSpec fn (PState era) → Specification fn (PState era) Source #

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

conformsTo ∷ PState era → TypeSpec fn (PState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PState era) → PState era → [PState era] Source #

toPreds ∷ Term fn (PState era) → TypeSpec fn (PState era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PState era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PState era) → [PState era] → Specification fn (PState era) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (VState era) Source #

combineSpec ∷ TypeSpec fn (VState era) → TypeSpec fn (VState era) → Specification fn (VState era) Source #

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

conformsTo ∷ VState era → TypeSpec fn (VState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (VState era) → VState era → [VState era] Source #

toPreds ∷ Term fn (VState era) → TypeSpec fn (VState era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (VState era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (VState era) → [VState era] → Specification fn (VState era) Source #

prerequisites ∷ Evidence (Prerequisites fn (VState era)) Source #

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

Associated Types

type TypeSpec fn (CompactForm a) Source #

type Prerequisites fn (CompactForm a) Source #

Methods

emptySpec ∷ TypeSpec fn (CompactForm a) Source #

combineSpec ∷ TypeSpec fn (CompactForm a) → TypeSpec fn (CompactForm a) → Specification fn (CompactForm a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (CompactForm a) → GenT m (CompactForm a) Source #

conformsTo ∷ CompactForm a → TypeSpec fn (CompactForm a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (CompactForm a) → CompactForm a → [CompactForm a] Source #

toPreds ∷ Term fn (CompactForm a) → TypeSpec fn (CompactForm a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (CompactForm a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (CompactForm a) → [CompactForm a] → Specification fn (CompactForm a) Source #

prerequisites ∷ Evidence (Prerequisites fn (CompactForm a)) Source #

IsConwayUniv fn ⇒ HasSpec fn (PParams (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (PParams (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (PParams (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Specification fn (PParams (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → GenT m (PParams (ConwayEra StandardCrypto)) Source #

conformsTo ∷ PParams (ConwayEra StandardCrypto) → TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → PParams (ConwayEra StandardCrypto) → [PParams (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (PParams (ConwayEra StandardCrypto)) → TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PParams (ConwayEra StandardCrypto)) → [PParams (ConwayEra StandardCrypto)] → Specification fn (PParams (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (PParams (ConwayEra StandardCrypto))) Source #

(IsConwayUniv fn, EraPParams era, HasSimpleRep (PParamsHKD StrictMaybe era), TypeSpec fn (SimpleRep (PParamsHKD StrictMaybe era)) ~ TypeSpec fn (PParamsHKD StrictMaybe era), HasSpec fn (SimpleRep (PParamsHKD StrictMaybe era)), Show (TypeSpec fn (PParamsHKD StrictMaybe era))) ⇒ HasSpec fn (PParamsUpdate era) Source # 
Instance details

Associated Types

type TypeSpec fn (PParamsUpdate era) Source #

type Prerequisites fn (PParamsUpdate era) Source #

Methods

emptySpec ∷ TypeSpec fn (PParamsUpdate era) Source #

combineSpec ∷ TypeSpec fn (PParamsUpdate era) → TypeSpec fn (PParamsUpdate era) → Specification fn (PParamsUpdate era) Source #

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

conformsTo ∷ PParamsUpdate era → TypeSpec fn (PParamsUpdate era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PParamsUpdate era) → PParamsUpdate era → [PParamsUpdate era] Source #

toPreds ∷ Term fn (PParamsUpdate era) → TypeSpec fn (PParamsUpdate era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PParamsUpdate era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PParamsUpdate era) → [PParamsUpdate era] → Specification fn (PParamsUpdate era) Source #

prerequisites ∷ Evidence (Prerequisites fn (PParamsUpdate era)) 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 #

Methods

emptySpec ∷ TypeSpec fn (PoolCert c) Source #

combineSpec ∷ TypeSpec fn (PoolCert c) → TypeSpec fn (PoolCert c) → Specification fn (PoolCert c) Source #

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

conformsTo ∷ PoolCert c → TypeSpec fn (PoolCert c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PoolCert c) → PoolCert c → [PoolCert c] Source #

toPreds ∷ Term fn (PoolCert c) → TypeSpec fn (PoolCert c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PoolCert c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PoolCert c) → [PoolCert c] → Specification fn (PoolCert c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (StakeReference c) Source #

combineSpec ∷ TypeSpec fn (StakeReference c) → TypeSpec fn (StakeReference c) → Specification fn (StakeReference c) Source #

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

conformsTo ∷ StakeReference c → TypeSpec fn (StakeReference c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (StakeReference c) → StakeReference c → [StakeReference c] Source #

toPreds ∷ Term fn (StakeReference c) → TypeSpec fn (StakeReference c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (StakeReference c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (StakeReference c) → [StakeReference c] → Specification fn (StakeReference c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (DRep c) Source #

combineSpec ∷ TypeSpec fn (DRep c) → TypeSpec fn (DRep c) → Specification fn (DRep c) Source #

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

conformsTo ∷ DRep c → TypeSpec fn (DRep c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (DRep c) → DRep c → [DRep c] Source #

toPreds ∷ Term fn (DRep c) → TypeSpec fn (DRep c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (DRep c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (DRep c) → [DRep c] → Specification fn (DRep c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (DRepState c) Source #

combineSpec ∷ TypeSpec fn (DRepState c) → TypeSpec fn (DRepState c) → Specification fn (DRepState c) Source #

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

conformsTo ∷ DRepState c → TypeSpec fn (DRepState c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (DRepState c) → DRepState c → [DRepState c] Source #

toPreds ∷ Term fn (DRepState c) → TypeSpec fn (DRepState c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (DRepState c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (DRepState c) → [DRepState c] → Specification fn (DRepState c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (SnapShot c) Source #

combineSpec ∷ TypeSpec fn (SnapShot c) → TypeSpec fn (SnapShot c) → Specification fn (SnapShot c) Source #

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

conformsTo ∷ SnapShot c → TypeSpec fn (SnapShot c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (SnapShot c) → SnapShot c → [SnapShot c] Source #

toPreds ∷ Term fn (SnapShot c) → TypeSpec fn (SnapShot c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (SnapShot c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (SnapShot c) → [SnapShot c] → Specification fn (SnapShot c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (SnapShots c) Source #

combineSpec ∷ TypeSpec fn (SnapShots c) → TypeSpec fn (SnapShots c) → Specification fn (SnapShots c) Source #

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

conformsTo ∷ SnapShots c → TypeSpec fn (SnapShots c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (SnapShots c) → SnapShots c → [SnapShots c] Source #

toPreds ∷ Term fn (SnapShots c) → TypeSpec fn (SnapShots c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (SnapShots c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (SnapShots c) → [SnapShots c] → Specification fn (SnapShots c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Stake c) Source #

combineSpec ∷ TypeSpec fn (Stake c) → TypeSpec fn (Stake c) → Specification fn (Stake c) Source #

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

conformsTo ∷ Stake c → TypeSpec fn (Stake c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Stake c) → Stake c → [Stake c] Source #

toPreds ∷ Term fn (Stake c) → TypeSpec fn (Stake c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Stake c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Stake c) → [Stake c] → Specification fn (Stake c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (NoUpdate a) Source #

combineSpec ∷ TypeSpec fn (NoUpdate a) → TypeSpec fn (NoUpdate a) → Specification fn (NoUpdate a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (NoUpdate a) → GenT m (NoUpdate a) Source #

conformsTo ∷ NoUpdate a → TypeSpec fn (NoUpdate a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (NoUpdate a) → NoUpdate a → [NoUpdate a] Source #

toPreds ∷ Term fn (NoUpdate a) → TypeSpec fn (NoUpdate a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (NoUpdate a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (NoUpdate a) → [NoUpdate a] → Specification fn (NoUpdate a) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (ScriptHash c) Source #

combineSpec ∷ TypeSpec fn (ScriptHash c) → TypeSpec fn (ScriptHash c) → Specification fn (ScriptHash c) Source #

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

conformsTo ∷ ScriptHash c → TypeSpec fn (ScriptHash c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ScriptHash c) → ScriptHash c → [ScriptHash c] Source #

toPreds ∷ Term fn (ScriptHash c) → TypeSpec fn (ScriptHash c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ScriptHash c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (ScriptHash c) → [ScriptHash c] → Specification fn (ScriptHash c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (BootstrapWitness c) Source #

combineSpec ∷ TypeSpec fn (BootstrapWitness c) → TypeSpec fn (BootstrapWitness c) → Specification fn (BootstrapWitness c) Source #

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

conformsTo ∷ BootstrapWitness c → TypeSpec fn (BootstrapWitness c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (BootstrapWitness c) → BootstrapWitness c → [BootstrapWitness c] Source #

toPreds ∷ Term fn (BootstrapWitness c) → TypeSpec fn (BootstrapWitness c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (BootstrapWitness c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (BootstrapWitness c) → [BootstrapWitness c] → Specification fn (BootstrapWitness c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (GenDelegPair c) Source #

combineSpec ∷ TypeSpec fn (GenDelegPair c) → TypeSpec fn (GenDelegPair c) → Specification fn (GenDelegPair c) Source #

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

conformsTo ∷ GenDelegPair c → TypeSpec fn (GenDelegPair c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GenDelegPair c) → GenDelegPair c → [GenDelegPair c] Source #

toPreds ∷ Term fn (GenDelegPair c) → TypeSpec fn (GenDelegPair c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GenDelegPair c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GenDelegPair c) → [GenDelegPair c] → Specification fn (GenDelegPair c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (GenDelegs c) Source #

combineSpec ∷ TypeSpec fn (GenDelegs c) → TypeSpec fn (GenDelegs c) → Specification fn (GenDelegs c) Source #

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

conformsTo ∷ GenDelegs c → TypeSpec fn (GenDelegs c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GenDelegs c) → GenDelegs c → [GenDelegs c] Source #

toPreds ∷ Term fn (GenDelegs c) → TypeSpec fn (GenDelegs c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GenDelegs c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GenDelegs c) → [GenDelegs c] → Specification fn (GenDelegs c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (BinaryData era) Source #

combineSpec ∷ TypeSpec fn (BinaryData era) → TypeSpec fn (BinaryData era) → Specification fn (BinaryData era) Source #

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

conformsTo ∷ BinaryData era → TypeSpec fn (BinaryData era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (BinaryData era) → BinaryData era → [BinaryData era] Source #

toPreds ∷ Term fn (BinaryData era) → TypeSpec fn (BinaryData era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (BinaryData era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (BinaryData era) → [BinaryData era] → Specification fn (BinaryData era) Source #

prerequisites ∷ Evidence (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

emptySpec ∷ TypeSpec fn (Data era) Source #

combineSpec ∷ TypeSpec fn (Data era) → TypeSpec fn (Data era) → Specification fn (Data era) Source #

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

conformsTo ∷ Data era → TypeSpec fn (Data era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Data era) → Data era → [Data era] Source #

toPreds ∷ Term fn (Data era) → TypeSpec fn (Data era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Data era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Datum era) Source #

combineSpec ∷ TypeSpec fn (Datum era) → TypeSpec fn (Datum era) → Specification fn (Datum era) Source #

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

conformsTo ∷ Datum era → TypeSpec fn (Datum era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Datum era) → Datum era → [Datum era] Source #

toPreds ∷ Term fn (Datum era) → TypeSpec fn (Datum era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Datum era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Datum era) → [Datum era] → Specification fn (Datum era) Source #

prerequisites ∷ Evidence (Prerequisites fn (Datum era)) Source #

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

Associated Types

type TypeSpec fn (IndividualPoolStake c) Source #

type Prerequisites fn (IndividualPoolStake c) Source #

Methods

emptySpec ∷ TypeSpec fn (IndividualPoolStake c) Source #

combineSpec ∷ TypeSpec fn (IndividualPoolStake c) → TypeSpec fn (IndividualPoolStake c) → Specification fn (IndividualPoolStake c) Source #

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

conformsTo ∷ IndividualPoolStake c → TypeSpec fn (IndividualPoolStake c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (IndividualPoolStake c) → IndividualPoolStake c → [IndividualPoolStake c] Source #

toPreds ∷ Term fn (IndividualPoolStake c) → TypeSpec fn (IndividualPoolStake c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (IndividualPoolStake c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (IndividualPoolStake c) → [IndividualPoolStake c] → Specification fn (IndividualPoolStake c) Source #

prerequisites ∷ Evidence (Prerequisites fn (IndividualPoolStake c)) Source #

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

Methods

emptySpec ∷ TypeSpec fn (PoolDistr c) Source #

combineSpec ∷ TypeSpec fn (PoolDistr c) → TypeSpec fn (PoolDistr c) → Specification fn (PoolDistr c) Source #

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

conformsTo ∷ PoolDistr c → TypeSpec fn (PoolDistr c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PoolDistr c) → PoolDistr c → [PoolDistr c] Source #

toPreds ∷ Term fn (PoolDistr c) → TypeSpec fn (PoolDistr c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PoolDistr c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PoolDistr c) → [PoolDistr c] → Specification fn (PoolDistr c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (PoolParams c) Source #

combineSpec ∷ TypeSpec fn (PoolParams c) → TypeSpec fn (PoolParams c) → Specification fn (PoolParams c) Source #

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

conformsTo ∷ PoolParams c → TypeSpec fn (PoolParams c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PoolParams c) → PoolParams c → [PoolParams c] Source #

toPreds ∷ Term fn (PoolParams c) → TypeSpec fn (PoolParams c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PoolParams c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PoolParams c) → [PoolParams c] → Specification fn (PoolParams c) Source #

prerequisites ∷ Evidence (Prerequisites fn (PoolParams 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 #

Methods

emptySpec ∷ TypeSpec fn (TxId c) Source #

combineSpec ∷ TypeSpec fn (TxId c) → TypeSpec fn (TxId c) → Specification fn (TxId c) Source #

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

conformsTo ∷ TxId c → TypeSpec fn (TxId c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (TxId c) → TxId c → [TxId c] Source #

toPreds ∷ Term fn (TxId c) → TypeSpec fn (TxId c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (TxId c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (TxId c) → [TxId c] → Specification fn (TxId c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (TxIn c) Source #

combineSpec ∷ TypeSpec fn (TxIn c) → TypeSpec fn (TxIn c) → Specification fn (TxIn c) Source #

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

conformsTo ∷ TxIn c → TypeSpec fn (TxIn c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (TxIn c) → TxIn c → [TxIn c] Source #

toPreds ∷ Term fn (TxIn c) → TypeSpec fn (TxIn c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (TxIn c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (TxIn c) → [TxIn c] → Specification fn (TxIn c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (UMap c) Source #

combineSpec ∷ TypeSpec fn (UMap c) → TypeSpec fn (UMap c) → Specification fn (UMap c) Source #

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

conformsTo ∷ UMap c → TypeSpec fn (UMap c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (UMap c) → UMap c → [UMap c] Source #

toPreds ∷ Term fn (UMap c) → TypeSpec fn (UMap c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (UMap c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (UMap c) → [UMap c] → Specification fn (UMap c) Source #

prerequisites ∷ Evidence (Prerequisites fn (UMap c)) Source #

IsConwayUniv fn ⇒ HasSpec fn (UTxO (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (UTxO (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (UTxO (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (UTxO (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → Specification fn (UTxO (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → GenT m (UTxO (ConwayEra StandardCrypto)) Source #

conformsTo ∷ UTxO (ConwayEra StandardCrypto) → TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → UTxO (ConwayEra StandardCrypto) → [UTxO (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (UTxO (ConwayEra StandardCrypto)) → TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (UTxO (ConwayEra StandardCrypto)) → [UTxO (ConwayEra StandardCrypto)] → Specification fn (UTxO (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (UTxO (ConwayEra StandardCrypto))) 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 #

Methods

emptySpec ∷ TypeSpec fn (MaryValue c) Source #

combineSpec ∷ TypeSpec fn (MaryValue c) → TypeSpec fn (MaryValue c) → Specification fn (MaryValue c) Source #

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

conformsTo ∷ MaryValue c → TypeSpec fn (MaryValue c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (MaryValue c) → MaryValue c → [MaryValue c] Source #

toPreds ∷ Term fn (MaryValue c) → TypeSpec fn (MaryValue c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (MaryValue c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (MaryValue c) → [MaryValue c] → Specification fn (MaryValue c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (MultiAsset c) Source #

combineSpec ∷ TypeSpec fn (MultiAsset c) → TypeSpec fn (MultiAsset c) → Specification fn (MultiAsset c) Source #

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

conformsTo ∷ MultiAsset c → TypeSpec fn (MultiAsset c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (MultiAsset c) → MultiAsset c → [MultiAsset c] Source #

toPreds ∷ Term fn (MultiAsset c) → TypeSpec fn (MultiAsset c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (MultiAsset c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (MultiAsset c) → [MultiAsset c] → Specification fn (MultiAsset c) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (PolicyID c) Source #

combineSpec ∷ TypeSpec fn (PolicyID c) → TypeSpec fn (PolicyID c) → Specification fn (PolicyID c) Source #

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

conformsTo ∷ PolicyID c → TypeSpec fn (PolicyID c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PolicyID c) → PolicyID c → [PolicyID c] Source #

toPreds ∷ Term fn (PolicyID c) → TypeSpec fn (PolicyID c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PolicyID c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PolicyID c) → [PolicyID c] → Specification fn (PolicyID c) Source #

prerequisites ∷ Evidence (Prerequisites fn (PolicyID c)) Source #

IsConwayUniv fn ⇒ HasSpec fn (FuturePParams (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (FuturePParams (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → Specification fn (FuturePParams (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → GenT m (FuturePParams (ConwayEra StandardCrypto)) Source #

conformsTo ∷ FuturePParams (ConwayEra StandardCrypto) → TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → FuturePParams (ConwayEra StandardCrypto) → [FuturePParams (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (FuturePParams (ConwayEra StandardCrypto)) → TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (FuturePParams (ConwayEra StandardCrypto)) → [FuturePParams (ConwayEra StandardCrypto)] → Specification fn (FuturePParams (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (FuturePParams (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (EpochState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (EpochState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (EpochState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (EpochState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → Specification fn (EpochState (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → GenT m (EpochState (ConwayEra StandardCrypto)) Source #

conformsTo ∷ EpochState (ConwayEra StandardCrypto) → TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → EpochState (ConwayEra StandardCrypto) → [EpochState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (EpochState (ConwayEra StandardCrypto)) → TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (EpochState (ConwayEra StandardCrypto)) → [EpochState (ConwayEra StandardCrypto)] → Specification fn (EpochState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (EpochState (ConwayEra StandardCrypto))) 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 #

Methods

emptySpec ∷ TypeSpec fn (IncrementalStake c) Source #

combineSpec ∷ TypeSpec fn (IncrementalStake c) → TypeSpec fn (IncrementalStake c) → Specification fn (IncrementalStake c) Source #

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

conformsTo ∷ IncrementalStake c → TypeSpec fn (IncrementalStake c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (IncrementalStake c) → IncrementalStake c → [IncrementalStake c] Source #

toPreds ∷ Term fn (IncrementalStake c) → TypeSpec fn (IncrementalStake c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (IncrementalStake c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (IncrementalStake c) → [IncrementalStake c] → Specification fn (IncrementalStake c) Source #

prerequisites ∷ Evidence (Prerequisites fn (IncrementalStake c)) Source #

IsConwayUniv fn ⇒ HasSpec fn (LedgerState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (LedgerState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → Specification fn (LedgerState (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → GenT m (LedgerState (ConwayEra StandardCrypto)) Source #

conformsTo ∷ LedgerState (ConwayEra StandardCrypto) → TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → LedgerState (ConwayEra StandardCrypto) → [LedgerState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (LedgerState (ConwayEra StandardCrypto)) → TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (LedgerState (ConwayEra StandardCrypto)) → [LedgerState (ConwayEra StandardCrypto)] → Specification fn (LedgerState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (LedgerState (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (UTxOState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (UTxOState (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → Specification fn (UTxOState (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → GenT m (UTxOState (ConwayEra StandardCrypto)) Source #

conformsTo ∷ UTxOState (ConwayEra StandardCrypto) → TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → UTxOState (ConwayEra StandardCrypto) → [UTxOState (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (UTxOState (ConwayEra StandardCrypto)) → TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (UTxOState (ConwayEra StandardCrypto)) → [UTxOState (ConwayEra StandardCrypto)] → Specification fn (UTxOState (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (UTxOState (ConwayEra StandardCrypto))) 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 #

Methods

emptySpec ∷ TypeSpec fn (NonMyopic c) Source #

combineSpec ∷ TypeSpec fn (NonMyopic c) → TypeSpec fn (NonMyopic c) → Specification fn (NonMyopic c) Source #

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

conformsTo ∷ NonMyopic c → TypeSpec fn (NonMyopic c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (NonMyopic c) → NonMyopic c → [NonMyopic c] Source #

toPreds ∷ Term fn (NonMyopic c) → TypeSpec fn (NonMyopic c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (NonMyopic c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (NonMyopic c) → [NonMyopic c] → Specification fn (NonMyopic c) Source #

prerequisites ∷ Evidence (Prerequisites fn (NonMyopic c)) 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 #

Methods

emptySpec ∷ TypeSpec fn (LedgerEnv era) Source #

combineSpec ∷ TypeSpec fn (LedgerEnv era) → TypeSpec fn (LedgerEnv era) → Specification fn (LedgerEnv era) Source #

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

conformsTo ∷ LedgerEnv era → TypeSpec fn (LedgerEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (LedgerEnv era) → LedgerEnv era → [LedgerEnv era] Source #

toPreds ∷ Term fn (LedgerEnv era) → TypeSpec fn (LedgerEnv era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (LedgerEnv era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (LedgerEnv era) → [LedgerEnv era] → Specification fn (LedgerEnv era) Source #

prerequisites ∷ Evidence (Prerequisites fn (LedgerEnv era)) Source #

IsConwayUniv fn ⇒ HasSpec fn (PoolEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (PoolEnv (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → Specification fn (PoolEnv (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → GenT m (PoolEnv (ConwayEra StandardCrypto)) Source #

conformsTo ∷ PoolEnv (ConwayEra StandardCrypto) → TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → PoolEnv (ConwayEra StandardCrypto) → [PoolEnv (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (PoolEnv (ConwayEra StandardCrypto)) → TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (PoolEnv (ConwayEra StandardCrypto)) → [PoolEnv (ConwayEra StandardCrypto)] → Specification fn (PoolEnv (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (PoolEnv (ConwayEra StandardCrypto))) Source #

IsConwayUniv fn ⇒ HasSpec fn (UtxoEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) Source #

type Prerequisites fn (UtxoEnv (ConwayEra StandardCrypto)) Source #

Methods

emptySpec ∷ TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) Source #

combineSpec ∷ TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → Specification fn (UtxoEnv (ConwayEra StandardCrypto)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → GenT m (UtxoEnv (ConwayEra StandardCrypto)) Source #

conformsTo ∷ UtxoEnv (ConwayEra StandardCrypto) → TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → UtxoEnv (ConwayEra StandardCrypto) → [UtxoEnv (ConwayEra StandardCrypto)] Source #

toPreds ∷ Term fn (UtxoEnv (ConwayEra StandardCrypto)) → TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (UtxoEnv (ConwayEra StandardCrypto)) → [UtxoEnv (ConwayEra StandardCrypto)] → Specification fn (UtxoEnv (ConwayEra StandardCrypto)) Source #

prerequisites ∷ Evidence (Prerequisites fn (UtxoEnv (ConwayEra StandardCrypto))) Source #

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

Associated Types

type TypeSpec fn (StrictMaybe a) Source #

type Prerequisites fn (StrictMaybe a) Source #

Methods

emptySpec ∷ TypeSpec fn (StrictMaybe a) Source #

combineSpec ∷ TypeSpec fn (StrictMaybe a) → TypeSpec fn (StrictMaybe a) → Specification fn (StrictMaybe a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (StrictMaybe a) → GenT m (StrictMaybe a) Source #

conformsTo ∷ StrictMaybe a → TypeSpec fn (StrictMaybe a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (StrictMaybe a) → StrictMaybe a → [StrictMaybe a] Source #

toPreds ∷ Term fn (StrictMaybe a) → TypeSpec fn (StrictMaybe a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (StrictMaybe a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (StrictMaybe a) → [StrictMaybe a] → Specification fn (StrictMaybe a) Source #

prerequisites ∷ Evidence (Prerequisites fn (StrictMaybe a)) 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 #

Methods

emptySpec ∷ TypeSpec fn (StrictSeq a) Source #

combineSpec ∷ TypeSpec fn (StrictSeq a) → TypeSpec fn (StrictSeq a) → Specification fn (StrictSeq a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (StrictSeq a) → GenT m (StrictSeq a) Source #

conformsTo ∷ StrictSeq a → TypeSpec fn (StrictSeq a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (StrictSeq a) → StrictSeq a → [StrictSeq a] Source #

toPreds ∷ Term fn (StrictSeq a) → TypeSpec fn (StrictSeq a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (StrictSeq a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (StrictSeq a) → [StrictSeq a] → Specification fn (StrictSeq a) Source #

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Seq a) Source #

combineSpec ∷ TypeSpec fn (Seq a) → TypeSpec fn (Seq a) → Specification fn (Seq a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Seq a) → GenT m (Seq a) Source #

conformsTo ∷ Seq a → TypeSpec fn (Seq a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Seq a) → Seq a → [Seq a] Source #

toPreds ∷ Term fn (Seq a) → TypeSpec fn (Seq a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Seq a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Seq a) → [Seq a] → Specification fn (Seq a) Source #

prerequisites ∷ Evidence (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

emptySpec ∷ TypeSpec fn (Hash a b) Source #

combineSpec ∷ TypeSpec fn (Hash a b) → TypeSpec fn (Hash a b) → Specification fn (Hash a b) Source #

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

conformsTo ∷ Hash a b → TypeSpec fn (Hash a b) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Hash a b) → Hash a b → [Hash a b] Source #

toPreds ∷ Term fn (Hash a b) → TypeSpec fn (Hash a b) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Hash a b) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (Prerequisites fn (Hash a b)) Source #

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

Associated Types

type TypeSpec fn (AbstractHash Blake2b_224 b) Source #

type Prerequisites fn (AbstractHash Blake2b_224 b) Source #

Methods

emptySpec ∷ TypeSpec fn (AbstractHash Blake2b_224 b) Source #

combineSpec ∷ TypeSpec fn (AbstractHash Blake2b_224 b) → TypeSpec fn (AbstractHash Blake2b_224 b) → Specification fn (AbstractHash Blake2b_224 b) Source #

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

conformsTo ∷ AbstractHash Blake2b_224 b → TypeSpec fn (AbstractHash Blake2b_224 b) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (AbstractHash Blake2b_224 b) → AbstractHash Blake2b_224 b → [AbstractHash Blake2b_224 b] Source #

toPreds ∷ Term fn (AbstractHash Blake2b_224 b) → TypeSpec fn (AbstractHash Blake2b_224 b) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (AbstractHash Blake2b_224 b) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (GovPurposeId p era) Source #

combineSpec ∷ TypeSpec fn (GovPurposeId p era) → TypeSpec fn (GovPurposeId p era) → Specification fn (GovPurposeId p era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (GovPurposeId p era) → GenT m (GovPurposeId p era) Source #

conformsTo ∷ GovPurposeId p era → TypeSpec fn (GovPurposeId p era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovPurposeId p era) → GovPurposeId p era → [GovPurposeId p era] Source #

toPreds ∷ Term fn (GovPurposeId p era) → TypeSpec fn (GovPurposeId p era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovPurposeId p era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (GovPurposeId p era) → [GovPurposeId p era] → Specification fn (GovPurposeId p era) Source #

prerequisites ∷ Evidence (Prerequisites fn (GovPurposeId p era)) Source #

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

Associated Types

type TypeSpec fn (GovRelation StrictMaybe era) Source #

type Prerequisites fn (GovRelation StrictMaybe era) Source #

Methods

emptySpec ∷ TypeSpec fn (GovRelation StrictMaybe era) Source #

combineSpec ∷ TypeSpec fn (GovRelation StrictMaybe era) → TypeSpec fn (GovRelation StrictMaybe era) → Specification fn (GovRelation StrictMaybe era) Source #

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

conformsTo ∷ GovRelation StrictMaybe era → TypeSpec fn (GovRelation StrictMaybe era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovRelation StrictMaybe era) → GovRelation StrictMaybe era → [GovRelation StrictMaybe era] Source #

toPreds ∷ Term fn (GovRelation StrictMaybe era) → TypeSpec fn (GovRelation StrictMaybe era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovRelation StrictMaybe era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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

emptySpec ∷ TypeSpec fn (ConwayPParams Identity era) Source #

combineSpec ∷ TypeSpec fn (ConwayPParams Identity era) → TypeSpec fn (ConwayPParams Identity era) → Specification fn (ConwayPParams Identity era) Source #

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

conformsTo ∷ ConwayPParams Identity era → TypeSpec fn (ConwayPParams Identity era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayPParams Identity era) → ConwayPParams Identity era → [ConwayPParams Identity era] Source #

toPreds ∷ Term fn (ConwayPParams Identity era) → TypeSpec fn (ConwayPParams Identity era) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayPParams Identity era) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (Prerequisites fn (ConwayPParams Identity era)) Source #

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

Associated Types

type TypeSpec fn (ConwayPParams StrictMaybe c) Source #

type Prerequisites fn (ConwayPParams StrictMaybe c) Source #

Methods

emptySpec ∷ TypeSpec fn (ConwayPParams StrictMaybe c) Source #

combineSpec ∷ TypeSpec fn (ConwayPParams StrictMaybe c) → TypeSpec fn (ConwayPParams StrictMaybe c) → Specification fn (ConwayPParams StrictMaybe c) Source #

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

conformsTo ∷ ConwayPParams StrictMaybe c → TypeSpec fn (ConwayPParams StrictMaybe c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c → [ConwayPParams StrictMaybe c] Source #

toPreds ∷ Term fn (ConwayPParams StrictMaybe c) → TypeSpec fn (ConwayPParams StrictMaybe c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (ConwayPParams StrictMaybe c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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 #

Methods

emptySpec ∷ TypeSpec fn (Credential r c) Source #

combineSpec ∷ TypeSpec fn (Credential r c) → TypeSpec fn (Credential r c) → Specification fn (Credential r c) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (Credential r c) → GenT m (Credential r c) Source #

conformsTo ∷ Credential r c → TypeSpec fn (Credential r c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (Credential r c) → Credential r c → [Credential r c] Source #

toPreds ∷ Term fn (Credential r c) → TypeSpec fn (Credential r c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (Credential r c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (Credential r c) → [Credential r c] → Specification fn (Credential r c) Source #

prerequisites ∷ Evidence (Prerequisites fn (Credential r c)) Source #

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

Associated Types

type TypeSpec fn (KeyHash r c) Source #

type Prerequisites fn (KeyHash r c) Source #

Methods

emptySpec ∷ TypeSpec fn (KeyHash r c) Source #

combineSpec ∷ TypeSpec fn (KeyHash r c) → TypeSpec fn (KeyHash r c) → Specification fn (KeyHash r c) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (KeyHash r c) → GenT m (KeyHash r c) Source #

conformsTo ∷ KeyHash r c → TypeSpec fn (KeyHash r c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (KeyHash r c) → KeyHash r c → [KeyHash r c] Source #

toPreds ∷ Term fn (KeyHash r c) → TypeSpec fn (KeyHash r c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (KeyHash r c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (KeyHash r c) → [KeyHash r c] → Specification fn (KeyHash r c) Source #

prerequisites ∷ Evidence (Prerequisites fn (KeyHash 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 #

Methods

emptySpec ∷ TypeSpec fn (WitVKey r c) Source #

combineSpec ∷ TypeSpec fn (WitVKey r c) → TypeSpec fn (WitVKey r c) → Specification fn (WitVKey r c) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (WitVKey r c) → GenT m (WitVKey r c) Source #

conformsTo ∷ WitVKey r c → TypeSpec fn (WitVKey r c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (WitVKey r c) → WitVKey r c → [WitVKey r c] Source #

toPreds ∷ Term fn (WitVKey r c) → TypeSpec fn (WitVKey r c) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (WitVKey r c) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (WitVKey r c) → [WitVKey r c] → Specification fn (WitVKey r c) Source #

prerequisites ∷ Evidence (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

emptySpec ∷ TypeSpec fn (SafeHash c index) Source #

combineSpec ∷ TypeSpec fn (SafeHash c index) → TypeSpec fn (SafeHash c index) → Specification fn (SafeHash c index) Source #

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

conformsTo ∷ SafeHash c index → TypeSpec fn (SafeHash c index) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (SafeHash c index) → SafeHash c index → [SafeHash c index] Source #

toPreds ∷ Term fn (SafeHash c index) → TypeSpec fn (SafeHash c index) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (SafeHash c index) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (Prerequisites fn (SafeHash c index)) Source #

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

Associated Types

type TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

type Prerequisites fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

Methods

emptySpec ∷ TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

combineSpec ∷ TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → Specification fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

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

conformsTo ∷ DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto)) → TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto)) → [DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))] Source #

toPreds ∷ Term fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → [DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))] → Specification fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

prerequisites ∷ Evidence (Prerequisites fn (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto)))) Source #

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

Methods

emptySpec ∷ TypeSpec fn (THKD tag Identity a) Source #

combineSpec ∷ TypeSpec fn (THKD tag Identity a) → TypeSpec fn (THKD tag Identity a) → Specification fn (THKD tag Identity a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (THKD tag Identity a) → GenT m (THKD tag Identity a) Source #

conformsTo ∷ THKD tag Identity a → TypeSpec fn (THKD tag Identity a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (THKD tag Identity a) → THKD tag Identity a → [THKD tag Identity a] Source #

toPreds ∷ Term fn (THKD tag Identity a) → TypeSpec fn (THKD tag Identity a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (THKD tag Identity a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (THKD tag Identity a) → [THKD tag Identity a] → Specification fn (THKD tag Identity a) Source #

prerequisites ∷ Evidence (Prerequisites fn (THKD tag Identity a)) Source #

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

Methods

emptySpec ∷ TypeSpec fn (THKD tag StrictMaybe a) Source #

combineSpec ∷ TypeSpec fn (THKD tag StrictMaybe a) → TypeSpec fn (THKD tag StrictMaybe a) → Specification fn (THKD tag StrictMaybe a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (THKD tag StrictMaybe a) → GenT m (THKD tag StrictMaybe a) Source #

conformsTo ∷ THKD tag StrictMaybe a → TypeSpec fn (THKD tag StrictMaybe a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (THKD tag StrictMaybe a) → THKD tag StrictMaybe a → [THKD tag StrictMaybe a] Source #

toPreds ∷ Term fn (THKD tag StrictMaybe a) → TypeSpec fn (THKD tag StrictMaybe a) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (THKD tag StrictMaybe a) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecOpt ∷ TypeSpec fn (THKD tag StrictMaybe a) → [THKD tag StrictMaybe a] → Specification fn (THKD tag StrictMaybe a) Source #

prerequisites ∷ Evidence (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

emptySpec ∷ TypeSpec fn (VMap vk vv k v) Source #

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

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

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

shrinkWithTypeSpec ∷ TypeSpec fn (VMap vk vv k v) → VMap vk vv k v → [VMap vk vv k v] Source #

toPreds ∷ Term fn (VMap vk vv k v) → TypeSpec fn (VMap vk vv k v) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (VMap vk vv k v) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

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

prerequisites ∷ Evidence (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 #

Methods

toSimpleRep ∷ OSet a → SimpleRep (OSet a) Source #

fromSimpleRep ∷ SimpleRep (OSet a) → OSet a Source #

HasSimpleRep (AlonzoScript era) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoScript era) Source #

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

Methods

toSimpleRep ∷ AlonzoScript era → SimpleRep (AlonzoScript era) Source #

fromSimpleRep ∷ SimpleRep (AlonzoScript era) → AlonzoScript era Source #

HasSimpleRep (AlonzoTx (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTx (ConwayEra StandardCrypto)) Source #

type TheSop (AlonzoTx (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ AlonzoTx (ConwayEra StandardCrypto) → SimpleRep (AlonzoTx (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTx (ConwayEra StandardCrypto)) → AlonzoTx (ConwayEra StandardCrypto) Source #

HasSimpleRep (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

type TheSop (AlonzoTxAuxData (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ AlonzoTxAuxData (ConwayEra StandardCrypto) → SimpleRep (AlonzoTxAuxData (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTxAuxData (ConwayEra StandardCrypto)) → AlonzoTxAuxData (ConwayEra StandardCrypto) Source #

HasSimpleRep (AlonzoTxWits (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

type TheSop (AlonzoTxWits (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ AlonzoTxWits (ConwayEra StandardCrypto) → SimpleRep (AlonzoTxWits (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTxWits (ConwayEra StandardCrypto)) → AlonzoTxWits (ConwayEra StandardCrypto) 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 #

Methods

toSimpleRep ∷ BabbageTxOut era → SimpleRep (BabbageTxOut era) Source #

fromSimpleRep ∷ SimpleRep (BabbageTxOut era) → BabbageTxOut era Source #

HasSimpleRep (Sized a) Source # 
Instance details

Associated Types

type SimpleRep (Sized a) Source #

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

Methods

toSimpleRep ∷ Sized a → SimpleRep (Sized a) Source #

fromSimpleRep ∷ SimpleRep (Sized a) → Sized a Source #

HasSimpleRep (ConwayGovState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovState (ConwayEra StandardCrypto)) Source #

type TheSop (ConwayGovState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayGovState (ConwayEra StandardCrypto) → SimpleRep (ConwayGovState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovState (ConwayEra StandardCrypto)) → ConwayGovState (ConwayEra StandardCrypto) Source #

HasSimpleRep (DRepPulsingState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (DRepPulsingState (ConwayEra StandardCrypto)) Source #

type TheSop (DRepPulsingState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ DRepPulsingState (ConwayEra StandardCrypto) → SimpleRep (DRepPulsingState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (DRepPulsingState (ConwayEra StandardCrypto)) → DRepPulsingState (ConwayEra StandardCrypto) Source #

HasSimpleRep (PulsingSnapshot (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

type TheSop (PulsingSnapshot (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ PulsingSnapshot (ConwayEra StandardCrypto) → SimpleRep (PulsingSnapshot (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (PulsingSnapshot (ConwayEra StandardCrypto)) → PulsingSnapshot (ConwayEra StandardCrypto) Source #

HasSimpleRep (EnactState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (EnactState (ConwayEra StandardCrypto)) Source #

type TheSop (EnactState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ EnactState (ConwayEra StandardCrypto) → SimpleRep (EnactState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (EnactState (ConwayEra StandardCrypto)) → EnactState (ConwayEra StandardCrypto) Source #

HasSimpleRep (RatifyEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (RatifyEnv (ConwayEra StandardCrypto)) Source #

type TheSop (RatifyEnv (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ RatifyEnv (ConwayEra StandardCrypto) → SimpleRep (RatifyEnv (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (RatifyEnv (ConwayEra StandardCrypto)) → RatifyEnv (ConwayEra StandardCrypto) Source #

HasSimpleRep (RatifySignal (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (RatifySignal (ConwayEra StandardCrypto)) Source #

type TheSop (RatifySignal (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ RatifySignal (ConwayEra StandardCrypto) → SimpleRep (RatifySignal (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (RatifySignal (ConwayEra StandardCrypto)) → RatifySignal (ConwayEra StandardCrypto) Source #

HasSimpleRep (RatifyState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (RatifyState (ConwayEra StandardCrypto)) Source #

type TheSop (RatifyState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ RatifyState (ConwayEra StandardCrypto) → SimpleRep (RatifyState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (RatifyState (ConwayEra StandardCrypto)) → RatifyState (ConwayEra StandardCrypto) Source #

HasSimpleRep (Committee (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (Committee (ConwayEra StandardCrypto)) Source #

type TheSop (Committee (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ Committee (ConwayEra StandardCrypto) → SimpleRep (Committee (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (Committee (ConwayEra StandardCrypto)) → Committee (ConwayEra StandardCrypto) Source #

HasSimpleRep (Constitution era) Source # 
Instance details

Associated Types

type SimpleRep (Constitution era) Source #

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

Methods

toSimpleRep ∷ Constitution era → SimpleRep (Constitution era) Source #

fromSimpleRep ∷ SimpleRep (Constitution era) → Constitution era Source #

HasSimpleRep (GovAction era) Source # 
Instance details

Associated Types

type SimpleRep (GovAction era) Source #

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

Methods

toSimpleRep ∷ GovAction era → SimpleRep (GovAction era) Source #

fromSimpleRep ∷ SimpleRep (GovAction era) → GovAction era Source #

HasSimpleRep (GovActionId c) Source # 
Instance details

Associated Types

type SimpleRep (GovActionId c) Source #

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

Methods

toSimpleRep ∷ GovActionId c → SimpleRep (GovActionId c) Source #

fromSimpleRep ∷ SimpleRep (GovActionId c) → GovActionId c Source #

HasSimpleRep (GovActionState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (GovActionState (ConwayEra StandardCrypto)) Source #

type TheSop (GovActionState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ GovActionState (ConwayEra StandardCrypto) → SimpleRep (GovActionState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (GovActionState (ConwayEra StandardCrypto)) → GovActionState (ConwayEra StandardCrypto) Source #

HasSimpleRep (GovProcedures era) Source # 
Instance details

Associated Types

type SimpleRep (GovProcedures era) Source #

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

Methods

toSimpleRep ∷ GovProcedures era → SimpleRep (GovProcedures era) Source #

fromSimpleRep ∷ SimpleRep (GovProcedures era) → GovProcedures era Source #

HasSimpleRep (ProposalProcedure era) Source # 
Instance details

Associated Types

type SimpleRep (ProposalProcedure era) Source #

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

Methods

toSimpleRep ∷ ProposalProcedure era → SimpleRep (ProposalProcedure era) Source #

fromSimpleRep ∷ SimpleRep (ProposalProcedure era) → ProposalProcedure era Source #

HasSimpleRep (Voter c) Source # 
Instance details

Associated Types

type SimpleRep (Voter c) Source #

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

Methods

toSimpleRep ∷ Voter c → SimpleRep (Voter c) Source #

fromSimpleRep ∷ SimpleRep (Voter c) → Voter c Source #

HasSimpleRep (VotingProcedure era) Source # 
Instance details

Associated Types

type SimpleRep (VotingProcedure era) Source #

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

Methods

toSimpleRep ∷ VotingProcedure era → SimpleRep (VotingProcedure era) Source #

fromSimpleRep ∷ SimpleRep (VotingProcedure era) → VotingProcedure era Source #

HasSimpleRep (VotingProcedures era) Source # 
Instance details

Associated Types

type SimpleRep (VotingProcedures era) Source #

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

Methods

toSimpleRep ∷ VotingProcedures era → SimpleRep (VotingProcedures era) Source #

fromSimpleRep ∷ SimpleRep (VotingProcedures era) → VotingProcedures era Source #

HasSimpleRep (Proposals (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (Proposals (ConwayEra StandardCrypto)) Source #

type TheSop (Proposals (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ Proposals (ConwayEra StandardCrypto) → SimpleRep (Proposals (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (Proposals (ConwayEra StandardCrypto)) → Proposals (ConwayEra StandardCrypto) Source #

HasSimpleRep (CertEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (CertEnv (ConwayEra StandardCrypto)) Source #

type TheSop (CertEnv (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ CertEnv (ConwayEra StandardCrypto) → SimpleRep (CertEnv (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (CertEnv (ConwayEra StandardCrypto)) → CertEnv (ConwayEra StandardCrypto) Source #

HasSimpleRep (ConwayDelegEnv era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayDelegEnv era) Source #

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

Methods

toSimpleRep ∷ ConwayDelegEnv era → SimpleRep (ConwayDelegEnv era) Source #

fromSimpleRep ∷ SimpleRep (ConwayDelegEnv era) → ConwayDelegEnv era Source #

HasSimpleRep (EnactSignal (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (EnactSignal (ConwayEra StandardCrypto)) Source #

type TheSop (EnactSignal (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ EnactSignal (ConwayEra StandardCrypto) → SimpleRep (EnactSignal (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (EnactSignal (ConwayEra StandardCrypto)) → EnactSignal (ConwayEra StandardCrypto) Source #

HasSimpleRep (GovEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (GovEnv (ConwayEra StandardCrypto)) Source #

type TheSop (GovEnv (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ GovEnv (ConwayEra StandardCrypto) → SimpleRep (GovEnv (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (GovEnv (ConwayEra StandardCrypto)) → GovEnv (ConwayEra StandardCrypto) Source #

HasSimpleRep (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

type TheSop (ConwayGovCertEnv (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayGovCertEnv (ConwayEra StandardCrypto) → SimpleRep (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovCertEnv (ConwayEra StandardCrypto)) → ConwayGovCertEnv (ConwayEra StandardCrypto) Source #

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

Associated Types

type SimpleRep (ConwayTxBody (ConwayEra c)) Source #

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

Methods

toSimpleRep ∷ ConwayTxBody (ConwayEra c) → SimpleRep (ConwayTxBody (ConwayEra c)) Source #

fromSimpleRep ∷ SimpleRep (ConwayTxBody (ConwayEra c)) → ConwayTxBody (ConwayEra c) Source #

HasSimpleRep (ConwayDelegCert c) Source # 
Instance details

Associated Types

type SimpleRep (ConwayDelegCert c) Source #

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

Methods

toSimpleRep ∷ ConwayDelegCert c → SimpleRep (ConwayDelegCert c) Source #

fromSimpleRep ∷ SimpleRep (ConwayDelegCert c) → ConwayDelegCert c Source #

HasSimpleRep (ConwayGovCert c) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovCert c) Source #

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

Methods

toSimpleRep ∷ ConwayGovCert c → SimpleRep (ConwayGovCert c) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovCert c) → ConwayGovCert c Source #

HasSimpleRep (ConwayTxCert era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayTxCert era) Source #

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

Methods

toSimpleRep ∷ ConwayTxCert era → SimpleRep (ConwayTxCert era) Source #

fromSimpleRep ∷ SimpleRep (ConwayTxCert era) → ConwayTxCert era Source #

HasSimpleRep (Delegatee c) Source # 
Instance details

Associated Types

type SimpleRep (Delegatee c) Source #

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

Methods

toSimpleRep ∷ Delegatee c → SimpleRep (Delegatee c) Source #

fromSimpleRep ∷ SimpleRep (Delegatee c) → Delegatee c Source #

HasSimpleRep (Addr c) Source # 
Instance details

Associated Types

type SimpleRep (Addr c) Source #

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

Methods

toSimpleRep ∷ Addr c → SimpleRep (Addr c) Source #

fromSimpleRep ∷ SimpleRep (Addr c) → Addr c Source #

HasSimpleRep (BootstrapAddress c) Source # 
Instance details

Associated Types

type SimpleRep (BootstrapAddress c) Source #

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

Methods

toSimpleRep ∷ BootstrapAddress c → SimpleRep (BootstrapAddress c) Source #

fromSimpleRep ∷ SimpleRep (BootstrapAddress c) → BootstrapAddress c Source #

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

Associated Types

type SimpleRep (CompactAddr c) Source #

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

Methods

toSimpleRep ∷ CompactAddr c → SimpleRep (CompactAddr c) Source #

fromSimpleRep ∷ SimpleRep (CompactAddr c) → CompactAddr c Source #

HasSimpleRep (RewardAccount c) Source # 
Instance details

Associated Types

type SimpleRep (RewardAccount c) Source #

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

Methods

toSimpleRep ∷ RewardAccount c → SimpleRep (RewardAccount c) Source #

fromSimpleRep ∷ SimpleRep (RewardAccount c) → RewardAccount c Source #

HasSimpleRep (Withdrawals c) Source # 
Instance details

Associated Types

type SimpleRep (Withdrawals c) Source #

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

Methods

toSimpleRep ∷ Withdrawals c → SimpleRep (Withdrawals c) Source #

fromSimpleRep ∷ SimpleRep (Withdrawals c) → Withdrawals c Source #

HasSimpleRep (AuxiliaryDataHash c) Source # 
Instance details

Associated Types

type SimpleRep (AuxiliaryDataHash c) Source #

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

Methods

toSimpleRep ∷ AuxiliaryDataHash c → SimpleRep (AuxiliaryDataHash c) Source #

fromSimpleRep ∷ SimpleRep (AuxiliaryDataHash c) → AuxiliaryDataHash c Source #

HasSimpleRep (Anchor c) Source # 
Instance details

Associated Types

type SimpleRep (Anchor c) Source #

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

Methods

toSimpleRep ∷ Anchor c → SimpleRep (Anchor c) Source #

fromSimpleRep ∷ SimpleRep (Anchor c) → Anchor c Source #

HasSimpleRep (CertState era) Source # 
Instance details

Associated Types

type SimpleRep (CertState era) Source #

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

Methods

toSimpleRep ∷ CertState era → SimpleRep (CertState era) Source #

fromSimpleRep ∷ SimpleRep (CertState era) → CertState era Source #

HasSimpleRep (CommitteeAuthorization c) Source # 
Instance details

Associated Types

type SimpleRep (CommitteeAuthorization c) Source #

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

Methods

toSimpleRep ∷ CommitteeAuthorization c → SimpleRep (CommitteeAuthorization c) Source #

fromSimpleRep ∷ SimpleRep (CommitteeAuthorization c) → CommitteeAuthorization c Source #

HasSimpleRep (CommitteeState era) Source # 
Instance details

Associated Types

type SimpleRep (CommitteeState era) Source #

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

Methods

toSimpleRep ∷ CommitteeState era → SimpleRep (CommitteeState era) Source #

fromSimpleRep ∷ SimpleRep (CommitteeState era) → CommitteeState era Source #

HasSimpleRep (DState era) Source # 
Instance details

Associated Types

type SimpleRep (DState era) Source #

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

Methods

toSimpleRep ∷ DState era → SimpleRep (DState era) Source #

fromSimpleRep ∷ SimpleRep (DState era) → DState era Source #

HasSimpleRep (FutureGenDeleg c) Source # 
Instance details

Associated Types

type SimpleRep (FutureGenDeleg c) Source #

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

Methods

toSimpleRep ∷ FutureGenDeleg c → SimpleRep (FutureGenDeleg c) Source #

fromSimpleRep ∷ SimpleRep (FutureGenDeleg c) → FutureGenDeleg c Source #

HasSimpleRep (InstantaneousRewards c) Source # 
Instance details

Associated Types

type SimpleRep (InstantaneousRewards c) Source #

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

Methods

toSimpleRep ∷ InstantaneousRewards c → SimpleRep (InstantaneousRewards c) Source #

fromSimpleRep ∷ SimpleRep (InstantaneousRewards c) → InstantaneousRewards c Source #

HasSimpleRep (PState era) Source # 
Instance details

Associated Types

type SimpleRep (PState era) Source #

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

Methods

toSimpleRep ∷ PState era → SimpleRep (PState era) Source #

fromSimpleRep ∷ SimpleRep (PState era) → PState era Source #

HasSimpleRep (VState era) Source # 
Instance details

Associated Types

type SimpleRep (VState era) Source #

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

Methods

toSimpleRep ∷ VState era → SimpleRep (VState era) Source #

fromSimpleRep ∷ SimpleRep (VState era) → VState era Source #

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

Associated Types

type SimpleRep (CompactForm a) Source #

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

Methods

toSimpleRep ∷ CompactForm a → SimpleRep (CompactForm a) Source #

fromSimpleRep ∷ SimpleRep (CompactForm a) → CompactForm a Source #

HasSimpleRep (PParams (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (PParams (ConwayEra StandardCrypto)) Source #

type TheSop (PParams (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ PParams (ConwayEra StandardCrypto) → SimpleRep (PParams (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (PParams (ConwayEra StandardCrypto)) → PParams (ConwayEra StandardCrypto) Source #

HasSimpleRep (PParamsHKD StrictMaybe era) ⇒ HasSimpleRep (PParamsUpdate era) Source # 
Instance details

Associated Types

type SimpleRep (PParamsUpdate era) Source #

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

Methods

toSimpleRep ∷ PParamsUpdate era → SimpleRep (PParamsUpdate era) Source #

fromSimpleRep ∷ SimpleRep (PParamsUpdate era) → PParamsUpdate era Source #

HasSimpleRep (PoolCert c) Source # 
Instance details

Associated Types

type SimpleRep (PoolCert c) Source #

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

Methods

toSimpleRep ∷ PoolCert c → SimpleRep (PoolCert c) Source #

fromSimpleRep ∷ SimpleRep (PoolCert c) → PoolCert c Source #

HasSimpleRep (StakeReference c) Source # 
Instance details

Associated Types

type SimpleRep (StakeReference c) Source #

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

Methods

toSimpleRep ∷ StakeReference c → SimpleRep (StakeReference c) Source #

fromSimpleRep ∷ SimpleRep (StakeReference c) → StakeReference c Source #

HasSimpleRep (DRep c) Source # 
Instance details

Associated Types

type SimpleRep (DRep c) Source #

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

Methods

toSimpleRep ∷ DRep c → SimpleRep (DRep c) Source #

fromSimpleRep ∷ SimpleRep (DRep c) → DRep c Source #

HasSimpleRep (DRepState c) Source # 
Instance details

Associated Types

type SimpleRep (DRepState c) Source #

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

Methods

toSimpleRep ∷ DRepState c → SimpleRep (DRepState c) Source #

fromSimpleRep ∷ SimpleRep (DRepState c) → DRepState c Source #

HasSimpleRep (SnapShot c) Source # 
Instance details

Associated Types

type SimpleRep (SnapShot c) Source #

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

Methods

toSimpleRep ∷ SnapShot c → SimpleRep (SnapShot c) Source #

fromSimpleRep ∷ SimpleRep (SnapShot c) → SnapShot c Source #

HasSimpleRep (SnapShots c) Source # 
Instance details

Associated Types

type SimpleRep (SnapShots c) Source #

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

Methods

toSimpleRep ∷ SnapShots c → SimpleRep (SnapShots c) Source #

fromSimpleRep ∷ SimpleRep (SnapShots c) → SnapShots c Source #

HasSimpleRep (Stake c) Source # 
Instance details

Associated Types

type SimpleRep (Stake c) Source #

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

Methods

toSimpleRep ∷ Stake c → SimpleRep (Stake c) Source #

fromSimpleRep ∷ SimpleRep (Stake c) → Stake c Source #

HasSimpleRep (NoUpdate a) Source # 
Instance details

Associated Types

type SimpleRep (NoUpdate a) Source #

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

Methods

toSimpleRep ∷ NoUpdate a → SimpleRep (NoUpdate a) Source #

fromSimpleRep ∷ SimpleRep (NoUpdate a) → NoUpdate a Source #

HasSimpleRep (ScriptHash c) Source # 
Instance details

Associated Types

type SimpleRep (ScriptHash c) Source #

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

Methods

toSimpleRep ∷ ScriptHash c → SimpleRep (ScriptHash c) Source #

fromSimpleRep ∷ SimpleRep (ScriptHash c) → ScriptHash c Source #

HasSimpleRep (GenDelegPair c) Source # 
Instance details

Associated Types

type SimpleRep (GenDelegPair c) Source #

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

Methods

toSimpleRep ∷ GenDelegPair c → SimpleRep (GenDelegPair c) Source #

fromSimpleRep ∷ SimpleRep (GenDelegPair c) → GenDelegPair c Source #

HasSimpleRep (GenDelegs c) Source # 
Instance details

Associated Types

type SimpleRep (GenDelegs c) Source #

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

Methods

toSimpleRep ∷ GenDelegs c → SimpleRep (GenDelegs c) Source #

fromSimpleRep ∷ SimpleRep (GenDelegs c) → GenDelegs c Source #

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

Associated Types

type SimpleRep (BinaryData era) Source #

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

Methods

toSimpleRep ∷ BinaryData era → SimpleRep (BinaryData era) Source #

fromSimpleRep ∷ SimpleRep (BinaryData era) → BinaryData era Source #

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

Associated Types

type SimpleRep (Data era) Source #

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

Methods

toSimpleRep ∷ Data era → SimpleRep (Data era) Source #

fromSimpleRep ∷ SimpleRep (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

toSimpleRep ∷ Datum era → SimpleRep (Datum era) Source #

fromSimpleRep ∷ SimpleRep (Datum era) → Datum era Source #

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

Associated Types

type SimpleRep (IndividualPoolStake c) Source #

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

Methods

toSimpleRep ∷ IndividualPoolStake c → SimpleRep (IndividualPoolStake c) Source #

fromSimpleRep ∷ SimpleRep (IndividualPoolStake c) → IndividualPoolStake c Source #

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

Associated Types

type SimpleRep (PoolDistr c) Source #

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

Methods

toSimpleRep ∷ PoolDistr c → SimpleRep (PoolDistr c) Source #

fromSimpleRep ∷ SimpleRep (PoolDistr c) → PoolDistr c Source #

HasSimpleRep (PoolParams c) Source # 
Instance details

Associated Types

type SimpleRep (PoolParams c) Source #

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

Methods

toSimpleRep ∷ PoolParams c → SimpleRep (PoolParams c) Source #

fromSimpleRep ∷ SimpleRep (PoolParams c) → PoolParams c Source #

HasSimpleRep (TxId c) Source # 
Instance details

Associated Types

type SimpleRep (TxId c) Source #

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

Methods

toSimpleRep ∷ TxId c → SimpleRep (TxId c) Source #

fromSimpleRep ∷ SimpleRep (TxId c) → TxId c Source #

HasSimpleRep (TxIn c) Source # 
Instance details

Associated Types

type SimpleRep (TxIn c) Source #

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

Methods

toSimpleRep ∷ TxIn c → SimpleRep (TxIn c) Source #

fromSimpleRep ∷ SimpleRep (TxIn c) → TxIn c Source #

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

Associated Types

type SimpleRep (UMap c) Source #

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

Methods

toSimpleRep ∷ UMap c → SimpleRep (UMap c) Source #

fromSimpleRep ∷ SimpleRep (UMap c) → UMap c Source #

HasSimpleRep (UTxO (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (UTxO (ConwayEra StandardCrypto)) Source #

type TheSop (UTxO (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ UTxO (ConwayEra StandardCrypto) → SimpleRep (UTxO (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (UTxO (ConwayEra StandardCrypto)) → UTxO (ConwayEra StandardCrypto) Source #

HasSimpleRep (MaryValue c) Source # 
Instance details

Associated Types

type SimpleRep (MaryValue c) Source #

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

Methods

toSimpleRep ∷ MaryValue c → SimpleRep (MaryValue c) Source #

fromSimpleRep ∷ SimpleRep (MaryValue c) → MaryValue c Source #

HasSimpleRep (MultiAsset c) Source # 
Instance details

Associated Types

type SimpleRep (MultiAsset c) Source #

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

Methods

toSimpleRep ∷ MultiAsset c → SimpleRep (MultiAsset c) Source #

fromSimpleRep ∷ SimpleRep (MultiAsset c) → MultiAsset c Source #

HasSimpleRep (PolicyID c) Source # 
Instance details

Associated Types

type SimpleRep (PolicyID c) Source #

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

Methods

toSimpleRep ∷ PolicyID c → SimpleRep (PolicyID c) Source #

fromSimpleRep ∷ SimpleRep (PolicyID c) → PolicyID c Source #

HasSimpleRep (FuturePParams (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (FuturePParams (ConwayEra StandardCrypto)) Source #

type TheSop (FuturePParams (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ FuturePParams (ConwayEra StandardCrypto) → SimpleRep (FuturePParams (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (FuturePParams (ConwayEra StandardCrypto)) → FuturePParams (ConwayEra StandardCrypto) Source #

HasSimpleRep (EpochState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (EpochState (ConwayEra StandardCrypto)) Source #

type TheSop (EpochState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ EpochState (ConwayEra StandardCrypto) → SimpleRep (EpochState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (EpochState (ConwayEra StandardCrypto)) → EpochState (ConwayEra StandardCrypto) Source #

HasSimpleRep (IncrementalStake c) Source # 
Instance details

Associated Types

type SimpleRep (IncrementalStake c) Source #

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

Methods

toSimpleRep ∷ IncrementalStake c → SimpleRep (IncrementalStake c) Source #

fromSimpleRep ∷ SimpleRep (IncrementalStake c) → IncrementalStake c Source #

HasSimpleRep (LedgerState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (LedgerState (ConwayEra StandardCrypto)) Source #

type TheSop (LedgerState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ LedgerState (ConwayEra StandardCrypto) → SimpleRep (LedgerState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (LedgerState (ConwayEra StandardCrypto)) → LedgerState (ConwayEra StandardCrypto) Source #

HasSimpleRep (UTxOState (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (UTxOState (ConwayEra StandardCrypto)) Source #

type TheSop (UTxOState (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ UTxOState (ConwayEra StandardCrypto) → SimpleRep (UTxOState (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (UTxOState (ConwayEra StandardCrypto)) → UTxOState (ConwayEra StandardCrypto) Source #

HasSimpleRep (NonMyopic c) Source # 
Instance details

Associated Types

type SimpleRep (NonMyopic c) Source #

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

Methods

toSimpleRep ∷ NonMyopic c → SimpleRep (NonMyopic c) Source #

fromSimpleRep ∷ SimpleRep (NonMyopic c) → NonMyopic c Source #

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

Associated Types

type SimpleRep (LedgerEnv era) Source #

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

Methods

toSimpleRep ∷ LedgerEnv era → SimpleRep (LedgerEnv era) Source #

fromSimpleRep ∷ SimpleRep (LedgerEnv era) → LedgerEnv era Source #

HasSimpleRep (PoolEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (PoolEnv (ConwayEra StandardCrypto)) Source #

type TheSop (PoolEnv (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolEnv (ConwayEra StandardCrypto) → SimpleRep (PoolEnv (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (PoolEnv (ConwayEra StandardCrypto)) → PoolEnv (ConwayEra StandardCrypto) Source #

HasSimpleRep (UtxoEnv (ConwayEra StandardCrypto)) Source # 
Instance details

Associated Types

type SimpleRep (UtxoEnv (ConwayEra StandardCrypto)) Source #

type TheSop (UtxoEnv (ConwayEra StandardCrypto)) ∷ [Type] Source #

Methods

toSimpleRep ∷ UtxoEnv (ConwayEra StandardCrypto) → SimpleRep (UtxoEnv (ConwayEra StandardCrypto)) Source #

fromSimpleRep ∷ SimpleRep (UtxoEnv (ConwayEra StandardCrypto)) → UtxoEnv (ConwayEra StandardCrypto) Source #

HasSimpleRep (StrictMaybe a) Source # 
Instance details

Associated Types

type SimpleRep (StrictMaybe a) Source #

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

Methods

toSimpleRep ∷ StrictMaybe a → SimpleRep (StrictMaybe a) Source #

fromSimpleRep ∷ SimpleRep (StrictMaybe a) → StrictMaybe a Source #

HasSimpleRep (StrictSeq a) Source # 
Instance details

Associated Types

type SimpleRep (StrictSeq a) Source #

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

Methods

toSimpleRep ∷ StrictSeq a → SimpleRep (StrictSeq a) Source #

fromSimpleRep ∷ SimpleRep (StrictSeq a) → StrictSeq a Source #

HasSimpleRep (Seq a) Source # 
Instance details

Associated Types

type SimpleRep (Seq a) Source #

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

Methods

toSimpleRep ∷ Seq a → SimpleRep (Seq a) Source #

fromSimpleRep ∷ SimpleRep (Seq a) → Seq a Source #

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

Methods

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

forAllToList ∷ OSet 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 #

Methods

toSimpleRep ∷ GovPurposeId p era → SimpleRep (GovPurposeId p era) Source #

fromSimpleRep ∷ SimpleRep (GovPurposeId p era) → GovPurposeId p era Source #

HasSimpleRep (GovRelation StrictMaybe era) Source # 
Instance details

Associated Types

type SimpleRep (GovRelation StrictMaybe era) Source #

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

Methods

toSimpleRep ∷ GovRelation StrictMaybe era → SimpleRep (GovRelation StrictMaybe era) Source #

fromSimpleRep ∷ SimpleRep (GovRelation StrictMaybe era) → GovRelation StrictMaybe era Source #

HasSimpleRep (ConwayPParams Identity era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayPParams Identity era) Source #

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

Methods

toSimpleRep ∷ ConwayPParams Identity era → SimpleRep (ConwayPParams Identity era) Source #

fromSimpleRep ∷ SimpleRep (ConwayPParams Identity era) → ConwayPParams Identity era Source #

HasSimpleRep (ConwayPParams StrictMaybe c) Source # 
Instance details

Associated Types

type SimpleRep (ConwayPParams StrictMaybe c) Source #

type TheSop (ConwayPParams StrictMaybe c) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayPParams StrictMaybe c → SimpleRep (ConwayPParams StrictMaybe c) Source #

fromSimpleRep ∷ SimpleRep (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c Source #

HasSimpleRep (Credential r c) Source # 
Instance details

Associated Types

type SimpleRep (Credential r c) Source #

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

Methods

toSimpleRep ∷ Credential r c → SimpleRep (Credential r c) Source #

fromSimpleRep ∷ SimpleRep (Credential r c) → Credential r c Source #

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

Associated Types

type SimpleRep (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

type TheSop (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) ∷ [Type] Source #

Methods

toSimpleRep ∷ DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto)) → SimpleRep (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) Source #

fromSimpleRep ∷ SimpleRep (DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto))) → DRepPulser (ConwayEra StandardCrypto) Identity (RatifyState (ConwayEra StandardCrypto)) Source #

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 #

Methods

toSimpleRep ∷ THKD tag Identity a → SimpleRep (THKD tag Identity a) Source #

fromSimpleRep ∷ SimpleRep (THKD tag Identity a) → THKD tag Identity a 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 #

Methods

toSimpleRep ∷ THKD tag StrictMaybe a → SimpleRep (THKD tag StrictMaybe a) Source #

fromSimpleRep ∷ SimpleRep (THKD tag StrictMaybe a) → THKD tag StrictMaybe a 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

toSimpleRep ∷ VMap vk vv k v → SimpleRep (VMap vk vv k v) Source #

fromSimpleRep ∷ SimpleRep (VMap vk vv k v) → VMap vk vv k v Source #