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

Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger

Description

This module provides the necessary instances of HasSpec and HasSimpleRep to write specs for the environments, states, and signals in the STS rules of the Ledger. Note some simple types used in the PParams (Coin, EpochInterval, etc.) have their instances defined in Test.Cardano.Ledger.Constrained.Conway.Instances.Basic and they are reexported here.

Documentation

type ConwayFn = Fix (OneofL ConwayUnivFns) Source #

data StringFn (fn ∷ [Type] → Type → Type) as b Source #

Instances

Instances details
FunctionLike (StringFn fn) Source # 
Instance details

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

Methods

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

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

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

Methods

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

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

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

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

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

Methods

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.Ledger

Methods

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

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

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

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

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

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

cScriptHashObj ∷ (IsConwayUniv fn, Typeable r, Crypto c) ⇒ Term fn (ScriptHash c) → Term fn (Credential r c) 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), IsNormalType (Script era)) ⇒ Term fn (BabbageTxOut era) → Term fn (Value era) Source #

pProcDeposit_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure Conway) → Term fn Coin Source #

pProcGovAction_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (ProposalProcedure Conway) → Term fn (GovAction Conway) Source #

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

gasId_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (GovActionId StandardCrypto) Source #

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

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

gasProposalProcedure_ ∷ (EraSpecPParams Conway, IsConwayUniv fn) ⇒ Term fn (GovActionState Conway) → Term fn (ProposalProcedure Conway) Source #

data ProposalsSplit Source #

Constructors

ProposalsSplit 

Fields

Instances

Instances details
Generic ProposalsSplit Source # 
Instance details

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

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.Ledger

Methods

showsPrec ∷ Int → ProposalsSplit → ShowS Source #

show ∷ ProposalsSplit → String Source #

showList ∷ [ProposalsSplit] → ShowS Source #

DecCBOR ProposalsSplit Source # 
Instance details

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

Methods

decCBOR ∷ Decoder s ProposalsSplit Source #

dropCBOR ∷ Proxy ProposalsSplit → Decoder s () Source #

label ∷ Proxy ProposalsSplit → Text Source #

EncCBOR ProposalsSplit Source # 
Instance details

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

Methods

encCBOR ∷ ProposalsSplit → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ProposalsSplit → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ProposalsSplit] → Size Source #

NFData ProposalsSplit Source # 
Instance details

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

Methods

rnf ∷ ProposalsSplit → () Source #

Eq ProposalsSplit Source # 
Instance details

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

Methods

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

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

ToExpr ProposalsSplit Source # 
Instance details

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

Methods

toExpr ∷ ProposalsSplit → Expr Source #

listToExpr ∷ [ProposalsSplit] → Expr Source #

type Rep ProposalsSplit Source # 
Instance details

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

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

genProposalsSplit ∷ Integer → Gen ProposalsSplit Source #

proposalSplitSum ∷ ProposalsSplit → Integer Source #

coerce_ ∷ ∀ a b fn. (Member (CoerceFn fn) fn, HasSpec fn a, HasSpec fn b, CoercibleLike a b) ⇒ Term fn a → Term fn b Source #

toDelta_ ∷ (HasSpec fn Coin, HasSpec fn DeltaCoin, Member (CoinFn fn) fn) ⇒ Term fn Coin → Term fn DeltaCoin Source #

module Test.Cardano.Ledger.Constrained.Conway.Instances.Basic

Orphan instances

Num DeltaCoin Source # 
Instance details

Methods

(+) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source #

(-) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source #

(*) ∷ DeltaCoin → DeltaCoin → DeltaCoin Source #

negate ∷ DeltaCoin → DeltaCoin Source #

abs ∷ DeltaCoin → DeltaCoin Source #

signum ∷ DeltaCoin → DeltaCoin Source #

fromInteger ∷ Integer → DeltaCoin 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 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 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 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 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 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 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 RewardType Source # 
Instance details

Associated Types

type SimpleRep RewardType Source #

type TheSop RewardType ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardType → SimpleRep RewardType Source #

fromSimpleRep ∷ SimpleRep RewardType → RewardType 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 StakeShare Source # 
Instance details

Associated Types

type SimpleRep StakeShare Source #

type TheSop StakeShare ∷ [Type] Source #

Methods

toSimpleRep ∷ StakeShare → SimpleRep StakeShare Source #

fromSimpleRep ∷ SimpleRep StakeShare → StakeShare Source #

HasSimpleRep MIRPot Source # 
Instance details

Associated Types

type SimpleRep MIRPot Source #

type TheSop MIRPot ∷ [Type] Source #

Methods

toSimpleRep ∷ MIRPot → SimpleRep MIRPot Source #

fromSimpleRep ∷ SimpleRep MIRPot → MIRPot 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 DeltaCoin Source # 
Instance details

Methods

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

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

theZero ∷ DeltaCoin 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 #

typeSpecHasError ∷ TypeSpec fn ByteString → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn ByteString → BinaryShow Source #

monadConformsTo ∷ ByteString → TypeSpec fn ByteString → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn ShortByteString → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn ShortByteString → BinaryShow Source #

monadConformsTo ∷ ShortByteString → TypeSpec fn ShortByteString → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn ValidityInterval → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn ValidityInterval → BinaryShow Source #

monadConformsTo ∷ ValidityInterval → TypeSpec fn ValidityInterval → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn IsValid → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn IsValid → BinaryShow Source #

monadConformsTo ∷ IsValid → TypeSpec fn IsValid → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Addr28Extra → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Addr28Extra → BinaryShow Source #

monadConformsTo ∷ Addr28Extra → TypeSpec fn Addr28Extra → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn DataHash32 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn DataHash32 → BinaryShow Source #

monadConformsTo ∷ DataHash32 → TypeSpec fn DataHash32 → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn CoinPerByte → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn CoinPerByte → BinaryShow Source #

monadConformsTo ∷ CoinPerByte → TypeSpec fn CoinPerByte → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn AddrType → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn AddrType → BinaryShow Source #

monadConformsTo ∷ AddrType → TypeSpec fn AddrType → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn NetworkMagic → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn NetworkMagic → BinaryShow Source #

monadConformsTo ∷ NetworkMagic → TypeSpec fn NetworkMagic → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn GovActionIx → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn GovActionIx → BinaryShow Source #

monadConformsTo ∷ GovActionIx → TypeSpec fn GovActionIx → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn GovActionPurpose → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn GovActionPurpose → BinaryShow Source #

monadConformsTo ∷ GovActionPurpose → TypeSpec fn GovActionPurpose → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Vote → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Vote → BinaryShow Source #

monadConformsTo ∷ Vote → TypeSpec fn Vote → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn CertIx → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn CertIx → BinaryShow Source #

monadConformsTo ∷ CertIx → TypeSpec fn CertIx → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Network → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Network → BinaryShow Source #

monadConformsTo ∷ Network → TypeSpec fn Network → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn Port → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Port → BinaryShow Source #

monadConformsTo ∷ Port → TypeSpec fn Port → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn TxIx → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn TxIx → BinaryShow Source #

monadConformsTo ∷ TxIx → TypeSpec fn TxIx → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn Url → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Url → BinaryShow Source #

monadConformsTo ∷ Url → TypeSpec fn Url → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn DeltaCoin → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn DeltaCoin → BinaryShow Source #

monadConformsTo ∷ DeltaCoin → TypeSpec fn DeltaCoin → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Ptr → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Ptr → BinaryShow Source #

monadConformsTo ∷ Ptr → TypeSpec fn Ptr → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Metadatum → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Metadatum → BinaryShow Source #

monadConformsTo ∷ Metadatum → TypeSpec fn Metadatum → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn CostModel → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn CostModel → BinaryShow Source #

monadConformsTo ∷ CostModel → TypeSpec fn CostModel → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn Language → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Language → BinaryShow Source #

monadConformsTo ∷ Language → TypeSpec fn Language → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn PoolMetadata → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn PoolMetadata → BinaryShow Source #

monadConformsTo ∷ PoolMetadata → TypeSpec fn PoolMetadata → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn StakePoolRelay → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn StakePoolRelay → BinaryShow Source #

monadConformsTo ∷ StakePoolRelay → TypeSpec fn StakePoolRelay → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn StakePoolRelay) Source #

IsConwayUniv fn ⇒ HasSpec fn RewardType Source # 
Instance details

Associated Types

type TypeSpec fn RewardType Source #

type Prerequisites fn RewardType Source #

Methods

emptySpec ∷ TypeSpec fn RewardType Source #

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

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

conformsTo ∷ RewardType → TypeSpec fn RewardType → Bool Source #

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

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

cardinalTypeSpec ∷ TypeSpec fn RewardType → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn RewardType → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn RewardType → BinaryShow Source #

monadConformsTo ∷ RewardType → TypeSpec fn RewardType → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn RDPair → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn RDPair → BinaryShow Source #

monadConformsTo ∷ RDPair → TypeSpec fn RDPair → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn AssetName → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn AssetName → BinaryShow Source #

monadConformsTo ∷ AssetName → TypeSpec fn AssetName → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn AccountState → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn AccountState → BinaryShow Source #

monadConformsTo ∷ AccountState → TypeSpec fn AccountState → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Likelihood → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Likelihood → BinaryShow Source #

monadConformsTo ∷ Likelihood → TypeSpec fn Likelihood → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn LogWeight → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn LogWeight → BinaryShow Source #

monadConformsTo ∷ LogWeight → TypeSpec fn LogWeight → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn LogWeight) Source #

IsConwayUniv fn ⇒ HasSpec fn StakeShare Source # 
Instance details

Associated Types

type TypeSpec fn StakeShare Source #

type Prerequisites fn StakeShare Source #

Methods

emptySpec ∷ TypeSpec fn StakeShare Source #

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

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

conformsTo ∷ StakeShare → TypeSpec fn StakeShare → Bool Source #

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

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

cardinalTypeSpec ∷ TypeSpec fn StakeShare → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn StakeShare → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn StakeShare → BinaryShow Source #

monadConformsTo ∷ StakeShare → TypeSpec fn StakeShare → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn StakeShare) Source #

IsConwayUniv fn ⇒ HasSpec fn MIRPot Source # 
Instance details

Associated Types

type TypeSpec fn MIRPot Source #

type Prerequisites fn MIRPot Source #

Methods

emptySpec ∷ TypeSpec fn MIRPot Source #

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

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

conformsTo ∷ MIRPot → TypeSpec fn MIRPot → Bool Source #

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

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

cardinalTypeSpec ∷ TypeSpec fn MIRPot → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn MIRPot → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn MIRPot → BinaryShow Source #

monadConformsTo ∷ MIRPot → TypeSpec fn MIRPot → Writer [String] Bool Source #

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

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

typeSpecHasError ∷ TypeSpec fn EpochNo → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn EpochNo → BinaryShow Source #

monadConformsTo ∷ EpochNo → TypeSpec fn EpochNo → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn SlotNo → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn SlotNo → BinaryShow Source #

monadConformsTo ∷ SlotNo → TypeSpec fn SlotNo → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Data → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Data → BinaryShow Source #

monadConformsTo ∷ Data → TypeSpec fn Data → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Text → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Text → BinaryShow Source #

monadConformsTo ∷ Text → TypeSpec fn Text → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn Char → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn Char → BinaryShow Source #

monadConformsTo ∷ Char → TypeSpec fn Char → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn Char) Source #

IsConwayUniv fn ⇒ NumLike fn DeltaCoin Source # 
Instance details

Methods

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

negateSpec ∷ TypeSpec fn DeltaCoin → Specification fn DeltaCoin Source #

safeSubtract ∷ DeltaCoin → DeltaCoin → Maybe DeltaCoin Source #

IsConwayUniv fn ⇒ NumLike fn EpochNo Source # 
Instance details

Methods

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

negateSpec ∷ TypeSpec fn EpochNo → Specification fn EpochNo Source #

safeSubtract ∷ EpochNo → EpochNo → Maybe EpochNo Source #

IsConwayUniv fn ⇒ OrdLike fn DeltaCoin Source # 
Instance details

Methods

leqSpec ∷ DeltaCoin → Specification fn DeltaCoin Source #

ltSpec ∷ DeltaCoin → Specification fn DeltaCoin Source #

geqSpec ∷ DeltaCoin → Specification fn DeltaCoin Source #

gtSpec ∷ DeltaCoin → Specification fn DeltaCoin 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 ~ Conway, EraSpecPParams Conway) ⇒ 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 #

typeSpecHasError ∷ TypeSpec fn (OSet a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (OSet a) → BinaryShow Source #

monadConformsTo ∷ OSet a → TypeSpec fn (OSet a) → Writer [String] Bool 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), AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (Timelock era) Source # 
Instance details

Associated Types

type TypeSpec fn (Timelock era) Source #

type Prerequisites fn (Timelock era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (Timelock era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Timelock era) → BinaryShow Source #

monadConformsTo ∷ Timelock era → TypeSpec fn (Timelock era) → Writer [String] Bool Source #

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

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

(Era era, IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (AllegraTxAuxData era) Source # 
Instance details

Associated Types

type TypeSpec fn (AllegraTxAuxData era) Source #

type Prerequisites fn (AllegraTxAuxData era) Source #

Methods

emptySpec ∷ TypeSpec fn (AllegraTxAuxData era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (AllegraTxAuxData era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AllegraTxAuxData era) → BinaryShow Source #

monadConformsTo ∷ AllegraTxAuxData era → TypeSpec fn (AllegraTxAuxData era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (AlonzoScript era) Source #

type Prerequisites fn (AlonzoScript era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (AlonzoScript era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AlonzoScript era) → BinaryShow Source #

monadConformsTo ∷ AlonzoScript era → TypeSpec fn (AlonzoScript era) → Writer [String] Bool Source #

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

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

(EraSpecPParams era, IsConwayUniv fn, HasSpec fn (TxBody era), HasSpec fn (TxWits era), HasSpec fn (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec fn (AlonzoTx era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTx era) Source #

type Prerequisites fn (AlonzoTx era) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTx era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (AlonzoTx era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AlonzoTx era) → BinaryShow Source #

monadConformsTo ∷ AlonzoTx era → TypeSpec fn (AlonzoTx era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (AlonzoTxAuxData era) Source #

type Prerequisites fn (AlonzoTxAuxData era) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTxAuxData era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (AlonzoTxAuxData era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AlonzoTxAuxData era) → BinaryShow Source #

monadConformsTo ∷ AlonzoTxAuxData era → TypeSpec fn (AlonzoTxAuxData era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (AlonzoTxOut era) Source #

type Prerequisites fn (AlonzoTxOut era) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTxOut era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (AlonzoTxOut era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AlonzoTxOut era) → BinaryShow Source #

monadConformsTo ∷ AlonzoTxOut era → TypeSpec fn (AlonzoTxOut era) → Writer [String] Bool Source #

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

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

(AlonzoEraScript era, IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTxWits era) Source # 
Instance details

Associated Types

type TypeSpec fn (AlonzoTxWits era) Source #

type Prerequisites fn (AlonzoTxWits era) Source #

Methods

emptySpec ∷ TypeSpec fn (AlonzoTxWits era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (AlonzoTxWits era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AlonzoTxWits era) → BinaryShow Source #

monadConformsTo ∷ AlonzoTxWits era → TypeSpec fn (AlonzoTxWits era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (BabbageTxOut era) Source #

type Prerequisites fn (BabbageTxOut era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (BabbageTxOut era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (BabbageTxOut era) → BinaryShow Source #

monadConformsTo ∷ BabbageTxOut era → TypeSpec fn (BabbageTxOut era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Sized a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Sized a) → BinaryShow Source #

monadConformsTo ∷ Sized a → TypeSpec fn (Sized a) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (ConwayGovState Conway) Source #

type Prerequisites fn (ConwayGovState Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (ConwayGovState Conway) Source #

combineSpec ∷ TypeSpec fn (ConwayGovState Conway) → TypeSpec fn (ConwayGovState Conway) → Specification fn (ConwayGovState Conway) Source #

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

conformsTo ∷ ConwayGovState Conway → TypeSpec fn (ConwayGovState Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ConwayGovState Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayGovState Conway) → BinaryShow Source #

monadConformsTo ∷ ConwayGovState Conway → TypeSpec fn (ConwayGovState Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (ConwayGovState Conway)) Source #

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

Associated Types

type TypeSpec fn (DRepPulsingState Conway) Source #

type Prerequisites fn (DRepPulsingState Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (DRepPulsingState Conway) Source #

combineSpec ∷ TypeSpec fn (DRepPulsingState Conway) → TypeSpec fn (DRepPulsingState Conway) → Specification fn (DRepPulsingState Conway) Source #

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

conformsTo ∷ DRepPulsingState Conway → TypeSpec fn (DRepPulsingState Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (DRepPulsingState Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (DRepPulsingState Conway) → BinaryShow Source #

monadConformsTo ∷ DRepPulsingState Conway → TypeSpec fn (DRepPulsingState Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (DRepPulsingState Conway)) Source #

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

Associated Types

type TypeSpec fn (PulsingSnapshot Conway) Source #

type Prerequisites fn (PulsingSnapshot Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (PulsingSnapshot Conway) Source #

combineSpec ∷ TypeSpec fn (PulsingSnapshot Conway) → TypeSpec fn (PulsingSnapshot Conway) → Specification fn (PulsingSnapshot Conway) Source #

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

conformsTo ∷ PulsingSnapshot Conway → TypeSpec fn (PulsingSnapshot Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (PulsingSnapshot Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PulsingSnapshot Conway) → BinaryShow Source #

monadConformsTo ∷ PulsingSnapshot Conway → TypeSpec fn (PulsingSnapshot Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (PulsingSnapshot Conway)) Source #

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (EnactState era) Source # 
Instance details

Associated Types

type TypeSpec fn (EnactState era) Source #

type Prerequisites fn (EnactState era) Source #

Methods

emptySpec ∷ TypeSpec fn (EnactState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (EnactState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (EnactState era) → BinaryShow Source #

monadConformsTo ∷ EnactState era → TypeSpec fn (EnactState era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (RatifyEnv era) Source #

type Prerequisites fn (RatifyEnv era) Source #

Methods

emptySpec ∷ TypeSpec fn (RatifyEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (RatifyEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RatifyEnv era) → BinaryShow Source #

monadConformsTo ∷ RatifyEnv era → TypeSpec fn (RatifyEnv era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (RatifySignal Conway) Source #

type Prerequisites fn (RatifySignal Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (RatifySignal Conway) Source #

combineSpec ∷ TypeSpec fn (RatifySignal Conway) → TypeSpec fn (RatifySignal Conway) → Specification fn (RatifySignal Conway) Source #

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

conformsTo ∷ RatifySignal Conway → TypeSpec fn (RatifySignal Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (RatifySignal Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RatifySignal Conway) → BinaryShow Source #

monadConformsTo ∷ RatifySignal Conway → TypeSpec fn (RatifySignal Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (RatifySignal Conway)) Source #

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

Associated Types

type TypeSpec fn (RatifyState Conway) Source #

type Prerequisites fn (RatifyState Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (RatifyState Conway) Source #

combineSpec ∷ TypeSpec fn (RatifyState Conway) → TypeSpec fn (RatifyState Conway) → Specification fn (RatifyState Conway) Source #

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

conformsTo ∷ RatifyState Conway → TypeSpec fn (RatifyState Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (RatifyState Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RatifyState Conway) → BinaryShow Source #

monadConformsTo ∷ RatifyState Conway → TypeSpec fn (RatifyState Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (RatifyState Conway)) Source #

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

Associated Types

type TypeSpec fn (Committee era) Source #

type Prerequisites fn (Committee era) Source #

Methods

emptySpec ∷ TypeSpec fn (Committee era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (Committee era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Committee era) → BinaryShow Source #

monadConformsTo ∷ Committee era → TypeSpec fn (Committee era) → Writer [String] Bool Source #

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

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

(IsConwayUniv fn, EraPParams era) ⇒ HasSpec fn (Constitution era) Source # 
Instance details

Associated Types

type TypeSpec fn (Constitution era) Source #

type Prerequisites fn (Constitution era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (Constitution era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Constitution era) → BinaryShow Source #

monadConformsTo ∷ Constitution era → TypeSpec fn (Constitution era) → Writer [String] Bool Source #

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

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

(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (GovAction era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovAction era) Source #

type Prerequisites fn (GovAction era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (GovAction era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovAction era) → BinaryShow Source #

monadConformsTo ∷ GovAction era → TypeSpec fn (GovAction era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (GovActionId c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovActionId c) → BinaryShow Source #

monadConformsTo ∷ GovActionId c → TypeSpec fn (GovActionId c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (GovActionState era) Source #

type Prerequisites fn (GovActionState era) Source #

Methods

emptySpec ∷ TypeSpec fn (GovActionState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (GovActionState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovActionState era) → BinaryShow Source #

monadConformsTo ∷ GovActionState era → TypeSpec fn (GovActionState era) → Writer [String] Bool Source #

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

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

(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (ProposalProcedure era) Source # 
Instance details

Associated Types

type TypeSpec fn (ProposalProcedure era) Source #

type Prerequisites fn (ProposalProcedure era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (ProposalProcedure era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ProposalProcedure era) → BinaryShow Source #

monadConformsTo ∷ ProposalProcedure era → TypeSpec fn (ProposalProcedure era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Voter c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Voter c) → BinaryShow Source #

monadConformsTo ∷ Voter c → TypeSpec fn (Voter c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (VotingProcedure era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (VotingProcedure era) → BinaryShow Source #

monadConformsTo ∷ VotingProcedure era → TypeSpec fn (VotingProcedure era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (VotingProcedures era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (VotingProcedures era) → BinaryShow Source #

monadConformsTo ∷ VotingProcedures era → TypeSpec fn (VotingProcedures era) → Writer [String] Bool Source #

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

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

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (Proposals era) Source # 
Instance details

Associated Types

type TypeSpec fn (Proposals era) Source #

type Prerequisites fn (Proposals era) Source #

Methods

emptySpec ∷ TypeSpec fn (Proposals era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (Proposals era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Proposals era) → BinaryShow Source #

monadConformsTo ∷ Proposals era → TypeSpec fn (Proposals era) → Writer [String] Bool Source #

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

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

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (CertEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (CertEnv era) Source #

type Prerequisites fn (CertEnv era) Source #

Methods

emptySpec ∷ TypeSpec fn (CertEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (CertEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CertEnv era) → BinaryShow Source #

monadConformsTo ∷ CertEnv era → TypeSpec fn (CertEnv era) → Writer [String] Bool Source #

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

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

(IsConwayUniv fn, EraSpecPParams era, HasSpec fn (Tx era)) ⇒ HasSpec fn (CertsEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (CertsEnv era) Source #

type Prerequisites fn (CertsEnv era) Source #

Methods

emptySpec ∷ TypeSpec fn (CertsEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (CertsEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CertsEnv era) → BinaryShow Source #

monadConformsTo ∷ CertsEnv era → TypeSpec fn (CertsEnv era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (ConwayDelegEnv era) Source #

type Prerequisites fn (ConwayDelegEnv era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (ConwayDelegEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayDelegEnv era) → BinaryShow Source #

monadConformsTo ∷ ConwayDelegEnv era → TypeSpec fn (ConwayDelegEnv era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (EnactSignal Conway) Source #

type Prerequisites fn (EnactSignal Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (EnactSignal Conway) Source #

combineSpec ∷ TypeSpec fn (EnactSignal Conway) → TypeSpec fn (EnactSignal Conway) → Specification fn (EnactSignal Conway) Source #

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

conformsTo ∷ EnactSignal Conway → TypeSpec fn (EnactSignal Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (EnactSignal Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (EnactSignal Conway) → BinaryShow Source #

monadConformsTo ∷ EnactSignal Conway → TypeSpec fn (EnactSignal Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (EnactSignal Conway)) Source #

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (GovEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (GovEnv era) Source #

type Prerequisites fn (GovEnv era) Source #

Methods

emptySpec ∷ TypeSpec fn (GovEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (GovEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovEnv era) → BinaryShow Source #

monadConformsTo ∷ GovEnv era → TypeSpec fn (GovEnv era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (GovSignal Conway) Source #

type Prerequisites fn (GovSignal Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (GovSignal Conway) Source #

combineSpec ∷ TypeSpec fn (GovSignal Conway) → TypeSpec fn (GovSignal Conway) → Specification fn (GovSignal Conway) Source #

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

conformsTo ∷ GovSignal Conway → TypeSpec fn (GovSignal Conway) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec fn (GovSignal Conway) → GovSignal Conway → [GovSignal Conway] Source #

toPreds ∷ Term fn (GovSignal Conway) → TypeSpec fn (GovSignal Conway) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (GovSignal Conway) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (GovSignal Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovSignal Conway) → BinaryShow Source #

monadConformsTo ∷ GovSignal Conway → TypeSpec fn (GovSignal Conway) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec fn (GovSignal Conway) → [GovSignal Conway] → Specification fn (GovSignal Conway) Source #

prerequisites ∷ Evidence (Prerequisites fn (GovSignal Conway)) Source #

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

Associated Types

type TypeSpec fn (ConwayGovCertEnv Conway) Source #

type Prerequisites fn (ConwayGovCertEnv Conway) Source #

Methods

emptySpec ∷ TypeSpec fn (ConwayGovCertEnv Conway) Source #

combineSpec ∷ TypeSpec fn (ConwayGovCertEnv Conway) → TypeSpec fn (ConwayGovCertEnv Conway) → Specification fn (ConwayGovCertEnv Conway) Source #

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

conformsTo ∷ ConwayGovCertEnv Conway → TypeSpec fn (ConwayGovCertEnv Conway) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ConwayGovCertEnv Conway) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayGovCertEnv Conway) → BinaryShow Source #

monadConformsTo ∷ ConwayGovCertEnv Conway → TypeSpec fn (ConwayGovCertEnv Conway) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (ConwayGovCertEnv Conway)) Source #

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

Associated Types

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

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

Methods

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 #

typeSpecHasError ∷ TypeSpec fn (ConwayTxBody (ConwayEra c)) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayTxBody (ConwayEra c)) → BinaryShow Source #

monadConformsTo ∷ ConwayTxBody (ConwayEra c) → TypeSpec fn (ConwayTxBody (ConwayEra c)) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (ConwayDelegCert c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayDelegCert c) → BinaryShow Source #

monadConformsTo ∷ ConwayDelegCert c → TypeSpec fn (ConwayDelegCert c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (ConwayGovCert c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayGovCert c) → BinaryShow Source #

monadConformsTo ∷ ConwayGovCert c → TypeSpec fn (ConwayGovCert c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (ConwayTxCert era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayTxCert era) → BinaryShow Source #

monadConformsTo ∷ ConwayTxCert era → TypeSpec fn (ConwayTxCert era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Delegatee c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Delegatee c) → BinaryShow Source #

monadConformsTo ∷ Delegatee c → TypeSpec fn (Delegatee c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Addr c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Addr c) → BinaryShow Source #

monadConformsTo ∷ Addr c → TypeSpec fn (Addr c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (BootstrapAddress c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (BootstrapAddress c) → BinaryShow Source #

monadConformsTo ∷ BootstrapAddress c → TypeSpec fn (BootstrapAddress c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (CompactAddr c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CompactAddr c) → BinaryShow Source #

monadConformsTo ∷ CompactAddr c → TypeSpec fn (CompactAddr c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (RewardAccount c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RewardAccount c) → BinaryShow Source #

monadConformsTo ∷ RewardAccount c → TypeSpec fn (RewardAccount c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Withdrawals c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Withdrawals c) → BinaryShow Source #

monadConformsTo ∷ Withdrawals c → TypeSpec fn (Withdrawals c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (AuxiliaryDataHash c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AuxiliaryDataHash c) → BinaryShow Source #

monadConformsTo ∷ AuxiliaryDataHash c → TypeSpec fn (AuxiliaryDataHash c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Anchor c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Anchor c) → BinaryShow Source #

monadConformsTo ∷ Anchor c → TypeSpec fn (Anchor c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (BlocksMade c) Source #

type Prerequisites fn (BlocksMade c) Source #

Methods

emptySpec ∷ TypeSpec fn (BlocksMade c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (BlocksMade c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (BlocksMade c) → BinaryShow Source #

monadConformsTo ∷ BlocksMade c → TypeSpec fn (BlocksMade c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (CertState era) Source #

type Prerequisites fn (CertState era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (CertState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CertState era) → BinaryShow Source #

monadConformsTo ∷ CertState era → TypeSpec fn (CertState era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (CommitteeAuthorization c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CommitteeAuthorization c) → BinaryShow Source #

monadConformsTo ∷ CommitteeAuthorization c → TypeSpec fn (CommitteeAuthorization c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (CommitteeState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CommitteeState era) → BinaryShow Source #

monadConformsTo ∷ CommitteeState era → TypeSpec fn (CommitteeState era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (DState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (DState era) → BinaryShow Source #

monadConformsTo ∷ DState era → TypeSpec fn (DState era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (FutureGenDeleg c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (FutureGenDeleg c) → BinaryShow Source #

monadConformsTo ∷ FutureGenDeleg c → TypeSpec fn (FutureGenDeleg c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (InstantaneousRewards c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (InstantaneousRewards c) → BinaryShow Source #

monadConformsTo ∷ InstantaneousRewards c → TypeSpec fn (InstantaneousRewards c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (PState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PState era) → BinaryShow Source #

monadConformsTo ∷ PState era → TypeSpec fn (PState era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (VState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (VState era) → BinaryShow Source #

monadConformsTo ∷ VState era → TypeSpec fn (VState era) → Writer [String] Bool 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, HasSimpleRep a, HasSpec fn (SimpleRep a), Show (TypeSpec fn (SimpleRep a))) ⇒ HasSpec fn (CompactForm a) Source # 
Instance details

Associated Types

type TypeSpec fn (CompactForm a) Source #

type Prerequisites fn (CompactForm a) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (CompactForm a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (CompactForm a) → BinaryShow Source #

monadConformsTo ∷ CompactForm a → TypeSpec fn (CompactForm a) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (PoolCert c) Source #

type Prerequisites fn (PoolCert c) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (PoolCert c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PoolCert c) → BinaryShow Source #

monadConformsTo ∷ PoolCert c → TypeSpec fn (PoolCert c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (StakeReference c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (StakeReference c) → BinaryShow Source #

monadConformsTo ∷ StakeReference c → TypeSpec fn (StakeReference c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (DRep c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (DRep c) → BinaryShow Source #

monadConformsTo ∷ DRep c → TypeSpec fn (DRep c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (DRepState c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (DRepState c) → BinaryShow Source #

monadConformsTo ∷ DRepState c → TypeSpec fn (DRepState c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (SnapShot c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (SnapShot c) → BinaryShow Source #

monadConformsTo ∷ SnapShot c → TypeSpec fn (SnapShot c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (SnapShots c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (SnapShots c) → BinaryShow Source #

monadConformsTo ∷ SnapShots c → TypeSpec fn (SnapShots c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Stake c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Stake c) → BinaryShow Source #

monadConformsTo ∷ Stake c → TypeSpec fn (Stake c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (NoUpdate a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (NoUpdate a) → BinaryShow Source #

monadConformsTo ∷ NoUpdate a → TypeSpec fn (NoUpdate a) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (ScriptHash c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ScriptHash c) → BinaryShow Source #

monadConformsTo ∷ ScriptHash c → TypeSpec fn (ScriptHash c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (BootstrapWitness c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (BootstrapWitness c) → BinaryShow Source #

monadConformsTo ∷ BootstrapWitness c → TypeSpec fn (BootstrapWitness c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (GenDelegPair c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GenDelegPair c) → BinaryShow Source #

monadConformsTo ∷ GenDelegPair c → TypeSpec fn (GenDelegPair c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (GenDelegs c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GenDelegs c) → BinaryShow Source #

monadConformsTo ∷ GenDelegs c → TypeSpec fn (GenDelegs c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (BinaryData era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (BinaryData era) → BinaryShow Source #

monadConformsTo ∷ BinaryData era → TypeSpec fn (BinaryData era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Data era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Data era) → BinaryShow Source #

monadConformsTo ∷ Data era → TypeSpec fn (Data era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Datum era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Datum era) → BinaryShow Source #

monadConformsTo ∷ Datum era → TypeSpec fn (Datum era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (IndividualPoolStake c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (IndividualPoolStake c) → BinaryShow Source #

monadConformsTo ∷ IndividualPoolStake c → TypeSpec fn (IndividualPoolStake c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (PoolDistr c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PoolDistr c) → BinaryShow Source #

monadConformsTo ∷ PoolDistr c → TypeSpec fn (PoolDistr c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (PoolParams c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PoolParams c) → BinaryShow Source #

monadConformsTo ∷ PoolParams c → TypeSpec fn (PoolParams c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (Reward c) Source #

type Prerequisites fn (Reward c) Source #

Methods

emptySpec ∷ TypeSpec fn (Reward c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (Reward c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Reward c) → BinaryShow Source #

monadConformsTo ∷ Reward c → TypeSpec fn (Reward c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (TxId c) Source #

type Prerequisites fn (TxId c) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (TxId c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (TxId c) → BinaryShow Source #

monadConformsTo ∷ TxId c → TypeSpec fn (TxId c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (TxIn c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (TxIn c) → BinaryShow Source #

monadConformsTo ∷ TxIn c → TypeSpec fn (TxIn c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (UMap c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (UMap c) → BinaryShow Source #

monadConformsTo ∷ UMap c → TypeSpec fn (UMap c) → Writer [String] Bool Source #

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

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

(Era era, HasSpec fn (TxOut era), IsNormalType (TxOut era), IsConwayUniv fn) ⇒ HasSpec fn (UTxO era) Source # 
Instance details

Associated Types

type TypeSpec fn (UTxO era) Source #

type Prerequisites fn (UTxO era) Source #

Methods

emptySpec ∷ TypeSpec fn (UTxO era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (UTxO era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (UTxO era) → BinaryShow Source #

monadConformsTo ∷ UTxO era → TypeSpec fn (UTxO era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (MaryValue c) Source #

type Prerequisites fn (MaryValue c) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (MaryValue c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (MaryValue c) → BinaryShow Source #

monadConformsTo ∷ MaryValue c → TypeSpec fn (MaryValue c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (MultiAsset c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (MultiAsset c) → BinaryShow Source #

monadConformsTo ∷ MultiAsset c → TypeSpec fn (MultiAsset c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (PolicyID c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PolicyID c) → BinaryShow Source #

monadConformsTo ∷ PolicyID c → TypeSpec fn (PolicyID c) → Writer [String] Bool Source #

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

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

(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (ShelleyGovState era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyGovState era) Source #

type Prerequisites fn (ShelleyGovState era) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyGovState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyGovState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyGovState era) → BinaryShow Source #

monadConformsTo ∷ ShelleyGovState era → TypeSpec fn (ShelleyGovState era) → Writer [String] Bool Source #

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

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

(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era)) ⇒ HasSpec fn (EpochState era) Source # 
Instance details

Associated Types

type TypeSpec fn (EpochState era) Source #

type Prerequisites fn (EpochState era) Source #

Methods

emptySpec ∷ TypeSpec fn (EpochState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (EpochState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (EpochState era) → BinaryShow Source #

monadConformsTo ∷ EpochState era → TypeSpec fn (EpochState era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (IncrementalStake c) Source #

type Prerequisites fn (IncrementalStake c) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (IncrementalStake c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (IncrementalStake c) → BinaryShow Source #

monadConformsTo ∷ IncrementalStake c → TypeSpec fn (IncrementalStake c) → Writer [String] Bool Source #

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

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

(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era)) ⇒ HasSpec fn (LedgerState era) Source # 
Instance details

Associated Types

type TypeSpec fn (LedgerState era) Source #

type Prerequisites fn (LedgerState era) Source #

Methods

emptySpec ∷ TypeSpec fn (LedgerState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (LedgerState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (LedgerState era) → BinaryShow Source #

monadConformsTo ∷ LedgerState era → TypeSpec fn (LedgerState era) → Writer [String] Bool Source #

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

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

(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), HasSpec fn (StashedAVVMAddresses era)) ⇒ HasSpec fn (NewEpochState era) Source # 
Instance details

Associated Types

type TypeSpec fn (NewEpochState era) Source #

type Prerequisites fn (NewEpochState era) Source #

Methods

emptySpec ∷ TypeSpec fn (NewEpochState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (NewEpochState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (NewEpochState era) → BinaryShow Source #

monadConformsTo ∷ NewEpochState era → TypeSpec fn (NewEpochState era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (UTxOState era) Source #

type Prerequisites fn (UTxOState era) Source #

Methods

emptySpec ∷ TypeSpec fn (UTxOState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (UTxOState era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (UTxOState era) → BinaryShow Source #

monadConformsTo ∷ UTxOState era → TypeSpec fn (UTxOState era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (NonMyopic c) Source #

type Prerequisites fn (NonMyopic c) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (NonMyopic c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (NonMyopic c) → BinaryShow Source #

monadConformsTo ∷ NonMyopic c → TypeSpec fn (NonMyopic c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (FreeVars StandardCrypto) Source #

type Prerequisites fn (FreeVars StandardCrypto) Source #

Methods

emptySpec ∷ TypeSpec fn (FreeVars StandardCrypto) Source #

combineSpec ∷ TypeSpec fn (FreeVars StandardCrypto) → TypeSpec fn (FreeVars StandardCrypto) → Specification fn (FreeVars StandardCrypto) Source #

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

conformsTo ∷ FreeVars StandardCrypto → TypeSpec fn (FreeVars StandardCrypto) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (FreeVars StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (FreeVars StandardCrypto) → BinaryShow Source #

monadConformsTo ∷ FreeVars StandardCrypto → TypeSpec fn (FreeVars StandardCrypto) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (FreeVars StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (Pulser StandardCrypto) Source #

type Prerequisites fn (Pulser StandardCrypto) Source #

Methods

emptySpec ∷ TypeSpec fn (Pulser StandardCrypto) Source #

combineSpec ∷ TypeSpec fn (Pulser StandardCrypto) → TypeSpec fn (Pulser StandardCrypto) → Specification fn (Pulser StandardCrypto) Source #

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

conformsTo ∷ Pulser StandardCrypto → TypeSpec fn (Pulser StandardCrypto) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (Pulser StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Pulser StandardCrypto) → BinaryShow Source #

monadConformsTo ∷ Pulser StandardCrypto → TypeSpec fn (Pulser StandardCrypto) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (Pulser StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (PulsingRewUpdate c) Source #

type Prerequisites fn (PulsingRewUpdate c) Source #

Methods

emptySpec ∷ TypeSpec fn (PulsingRewUpdate c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (PulsingRewUpdate c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PulsingRewUpdate c) → BinaryShow Source #

monadConformsTo ∷ PulsingRewUpdate c → TypeSpec fn (PulsingRewUpdate c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (RewardAns StandardCrypto) Source #

type Prerequisites fn (RewardAns StandardCrypto) Source #

Methods

emptySpec ∷ TypeSpec fn (RewardAns StandardCrypto) Source #

combineSpec ∷ TypeSpec fn (RewardAns StandardCrypto) → TypeSpec fn (RewardAns StandardCrypto) → Specification fn (RewardAns StandardCrypto) Source #

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

conformsTo ∷ RewardAns StandardCrypto → TypeSpec fn (RewardAns StandardCrypto) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (RewardAns StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RewardAns StandardCrypto) → BinaryShow Source #

monadConformsTo ∷ RewardAns StandardCrypto → TypeSpec fn (RewardAns StandardCrypto) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (RewardAns StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (RewardSnapShot StandardCrypto) Source #

type Prerequisites fn (RewardSnapShot StandardCrypto) Source #

Methods

emptySpec ∷ TypeSpec fn (RewardSnapShot StandardCrypto) Source #

combineSpec ∷ TypeSpec fn (RewardSnapShot StandardCrypto) → TypeSpec fn (RewardSnapShot StandardCrypto) → Specification fn (RewardSnapShot StandardCrypto) Source #

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

conformsTo ∷ RewardSnapShot StandardCrypto → TypeSpec fn (RewardSnapShot StandardCrypto) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (RewardSnapShot StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RewardSnapShot StandardCrypto) → BinaryShow Source #

monadConformsTo ∷ RewardSnapShot StandardCrypto → TypeSpec fn (RewardSnapShot StandardCrypto) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (RewardSnapShot StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (RewardUpdate c) Source #

type Prerequisites fn (RewardUpdate c) Source #

Methods

emptySpec ∷ TypeSpec fn (RewardUpdate c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (RewardUpdate c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (RewardUpdate c) → BinaryShow Source #

monadConformsTo ∷ RewardUpdate c → TypeSpec fn (RewardUpdate c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (LeaderOnlyReward StandardCrypto) Source #

type Prerequisites fn (LeaderOnlyReward StandardCrypto) Source #

Methods

emptySpec ∷ TypeSpec fn (LeaderOnlyReward StandardCrypto) Source #

combineSpec ∷ TypeSpec fn (LeaderOnlyReward StandardCrypto) → TypeSpec fn (LeaderOnlyReward StandardCrypto) → Specification fn (LeaderOnlyReward StandardCrypto) Source #

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

conformsTo ∷ LeaderOnlyReward StandardCrypto → TypeSpec fn (LeaderOnlyReward StandardCrypto) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (LeaderOnlyReward StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (LeaderOnlyReward StandardCrypto) → BinaryShow Source #

monadConformsTo ∷ LeaderOnlyReward StandardCrypto → TypeSpec fn (LeaderOnlyReward StandardCrypto) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (LeaderOnlyReward StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (PoolRewardInfo StandardCrypto) Source #

type Prerequisites fn (PoolRewardInfo StandardCrypto) Source #

Methods

emptySpec ∷ TypeSpec fn (PoolRewardInfo StandardCrypto) Source #

combineSpec ∷ TypeSpec fn (PoolRewardInfo StandardCrypto) → TypeSpec fn (PoolRewardInfo StandardCrypto) → Specification fn (PoolRewardInfo StandardCrypto) Source #

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

conformsTo ∷ PoolRewardInfo StandardCrypto → TypeSpec fn (PoolRewardInfo StandardCrypto) → Bool Source #

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (PoolRewardInfo StandardCrypto) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PoolRewardInfo StandardCrypto) → BinaryShow Source #

monadConformsTo ∷ PoolRewardInfo StandardCrypto → TypeSpec fn (PoolRewardInfo StandardCrypto) → Writer [String] Bool Source #

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

prerequisites ∷ Evidence (Prerequisites fn (PoolRewardInfo StandardCrypto)) Source #

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

Associated Types

type TypeSpec fn (LedgerEnv era) Source #

type Prerequisites fn (LedgerEnv era) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (LedgerEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (LedgerEnv era) → BinaryShow Source #

monadConformsTo ∷ LedgerEnv era → TypeSpec fn (LedgerEnv era) → Writer [String] Bool Source #

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

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

(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (PoolEnv era) Source # 
Instance details

Associated Types

type TypeSpec fn (PoolEnv era) Source #

type Prerequisites fn (PoolEnv era) Source #

Methods

emptySpec ∷ TypeSpec fn (PoolEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (PoolEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (PoolEnv era) → BinaryShow Source #

monadConformsTo ∷ PoolEnv era → TypeSpec fn (PoolEnv era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (UtxoEnv era) Source #

type Prerequisites fn (UtxoEnv era) Source #

Methods

emptySpec ∷ TypeSpec fn (UtxoEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (UtxoEnv era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (UtxoEnv era) → BinaryShow Source #

monadConformsTo ∷ UtxoEnv era → TypeSpec fn (UtxoEnv era) → Writer [String] Bool Source #

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

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

(EraSpecPParams era, IsConwayUniv fn, HasSpec fn (TxBody era), HasSpec fn (TxWits era), HasSpec fn (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec fn (ShelleyTx era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTx era) Source #

type Prerequisites fn (ShelleyTx era) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyTx era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyTx era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyTx era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTx era → TypeSpec fn (ShelleyTx era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (ShelleyTxAuxData era) Source #

type Prerequisites fn (ShelleyTxAuxData era) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyTxAuxData era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyTxAuxData era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyTxAuxData era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxAuxData era → TypeSpec fn (ShelleyTxAuxData era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (GenesisDelegCert c) Source #

type Prerequisites fn (GenesisDelegCert c) Source #

Methods

emptySpec ∷ TypeSpec fn (GenesisDelegCert c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (GenesisDelegCert c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GenesisDelegCert c) → BinaryShow Source #

monadConformsTo ∷ GenesisDelegCert c → TypeSpec fn (GenesisDelegCert c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (MIRCert c) Source #

type Prerequisites fn (MIRCert c) Source #

Methods

emptySpec ∷ TypeSpec fn (MIRCert c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (MIRCert c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (MIRCert c) → BinaryShow Source #

monadConformsTo ∷ MIRCert c → TypeSpec fn (MIRCert c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (MIRTarget c) Source #

type Prerequisites fn (MIRTarget c) Source #

Methods

emptySpec ∷ TypeSpec fn (MIRTarget c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (MIRTarget c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (MIRTarget c) → BinaryShow Source #

monadConformsTo ∷ MIRTarget c → TypeSpec fn (MIRTarget c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (ShelleyDelegCert c) Source #

type Prerequisites fn (ShelleyDelegCert c) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyDelegCert c) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyDelegCert c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyDelegCert c) → BinaryShow Source #

monadConformsTo ∷ ShelleyDelegCert c → TypeSpec fn (ShelleyDelegCert c) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (ShelleyTxCert era) Source #

type Prerequisites fn (ShelleyTxCert era) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyTxCert era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyTxCert era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyTxCert era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxCert era → TypeSpec fn (ShelleyTxCert era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (ShelleyTxOut era) Source #

type Prerequisites fn (ShelleyTxOut era) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyTxOut era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyTxOut era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyTxOut era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxOut era → TypeSpec fn (ShelleyTxOut era) → Writer [String] Bool Source #

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

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

(EraScript era, IsConwayUniv fn) ⇒ HasSpec fn (ShelleyTxWits era) Source # 
Instance details

Associated Types

type TypeSpec fn (ShelleyTxWits era) Source #

type Prerequisites fn (ShelleyTxWits era) Source #

Methods

emptySpec ∷ TypeSpec fn (ShelleyTxWits era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (ShelleyTxWits era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ShelleyTxWits era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxWits era → TypeSpec fn (ShelleyTxWits era) → Writer [String] Bool Source #

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

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

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

Associated Types

type TypeSpec fn (StrictSeq a) Source #

type Prerequisites fn (StrictSeq a) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (StrictSeq a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (StrictSeq a) → BinaryShow Source #

monadConformsTo ∷ StrictSeq a → TypeSpec fn (StrictSeq a) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Seq a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Seq a) → BinaryShow Source #

monadConformsTo ∷ Seq a → TypeSpec fn (Seq a) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Hash a b) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Hash a b) → BinaryShow Source #

monadConformsTo ∷ Hash a b → TypeSpec fn (Hash a b) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (AbstractHash Blake2b_224 b) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (AbstractHash Blake2b_224 b) → BinaryShow Source #

monadConformsTo ∷ AbstractHash Blake2b_224 b → TypeSpec fn (AbstractHash Blake2b_224 b) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (GovPurposeId p era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovPurposeId p era) → BinaryShow Source #

monadConformsTo ∷ GovPurposeId p era → TypeSpec fn (GovPurposeId p era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (GovRelation StrictMaybe era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (GovRelation StrictMaybe era) → BinaryShow Source #

monadConformsTo ∷ GovRelation StrictMaybe era → TypeSpec fn (GovRelation StrictMaybe era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (ConwayPParams Identity era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayPParams Identity era) → BinaryShow Source #

monadConformsTo ∷ ConwayPParams Identity era → TypeSpec fn (ConwayPParams Identity era) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (ConwayPParams StrictMaybe c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (ConwayPParams StrictMaybe c) → BinaryShow Source #

monadConformsTo ∷ ConwayPParams StrictMaybe c → TypeSpec fn (ConwayPParams StrictMaybe c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (Credential r c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (Credential r c) → BinaryShow Source #

monadConformsTo ∷ Credential r c → TypeSpec fn (Credential r c) → Writer [String] Bool 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, 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 #

typeSpecHasError ∷ TypeSpec fn (WitVKey r c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (WitVKey r c) → BinaryShow Source #

monadConformsTo ∷ WitVKey r c → TypeSpec fn (WitVKey r c) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (SafeHash c index) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (SafeHash c index) → BinaryShow Source #

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

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

prerequisites ∷ Evidence (Prerequisites fn (SafeHash c index)) Source #

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

Associated Types

type TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) Source #

type Prerequisites fn (DRepPulser Conway Identity (RatifyState Conway)) Source #

Methods

emptySpec ∷ TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) Source #

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

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

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

shrinkWithTypeSpec ∷ TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) → DRepPulser Conway Identity (RatifyState Conway) → [DRepPulser Conway Identity (RatifyState Conway)] Source #

toPreds ∷ Term fn (DRepPulser Conway Identity (RatifyState Conway)) → TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) → Pred fn Source #

cardinalTypeSpec ∷ TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) → Specification fn Integer Source #

cardinalTrueSpec ∷ Specification fn Integer Source #

typeSpecHasError ∷ TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (DRepPulser Conway Identity (RatifyState Conway)) → BinaryShow Source #

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

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

prerequisites ∷ Evidence (Prerequisites fn (DRepPulser Conway Identity (RatifyState Conway))) Source #

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

Associated Types

type TypeSpec fn (THKD tag Identity a) Source #

type Prerequisites fn (THKD tag Identity a) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (THKD tag Identity a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (THKD tag Identity a) → BinaryShow Source #

monadConformsTo ∷ THKD tag Identity a → TypeSpec fn (THKD tag Identity a) → Writer [String] Bool 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, IsNormalType a, Typeable tag, HasSpec fn a) ⇒ HasSpec fn (THKD tag StrictMaybe a) Source # 
Instance details

Associated Types

type TypeSpec fn (THKD tag StrictMaybe a) Source #

type Prerequisites fn (THKD tag StrictMaybe a) Source #

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 #

typeSpecHasError ∷ TypeSpec fn (THKD tag StrictMaybe a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (THKD tag StrictMaybe a) → BinaryShow Source #

monadConformsTo ∷ THKD tag StrictMaybe a → TypeSpec fn (THKD tag StrictMaybe a) → Writer [String] Bool 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 #

typeSpecHasError ∷ TypeSpec fn (VMap vk vv k v) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec fn (VMap vk vv k v) → BinaryShow Source #

monadConformsTo ∷ VMap vk vv k v → TypeSpec fn (VMap vk vv k v) → Writer [String] Bool 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 #

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

Associated Types

type SimpleRep (AllegraTxAuxData era) Source #

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

Methods

toSimpleRep ∷ AllegraTxAuxData era → SimpleRep (AllegraTxAuxData era) Source #

fromSimpleRep ∷ SimpleRep (AllegraTxAuxData era) → AllegraTxAuxData era 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 #

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

Associated Types

type SimpleRep (AlonzoTx era) Source #

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

Methods

toSimpleRep ∷ AlonzoTx era → SimpleRep (AlonzoTx era) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTx era) → AlonzoTx era Source #

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

Associated Types

type SimpleRep (AlonzoTxAuxData era) Source #

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

Methods

toSimpleRep ∷ AlonzoTxAuxData era → SimpleRep (AlonzoTxAuxData era) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTxAuxData era) → AlonzoTxAuxData era Source #

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

Associated Types

type SimpleRep (AlonzoTxOut era) Source #

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

Methods

toSimpleRep ∷ AlonzoTxOut era → SimpleRep (AlonzoTxOut era) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTxOut era) → AlonzoTxOut era Source #

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

Associated Types

type SimpleRep (AlonzoTxWits era) Source #

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

Methods

toSimpleRep ∷ AlonzoTxWits era → SimpleRep (AlonzoTxWits era) Source #

fromSimpleRep ∷ SimpleRep (AlonzoTxWits era) → AlonzoTxWits era 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 Conway) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovState Conway) Source #

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

Methods

toSimpleRep ∷ ConwayGovState Conway → SimpleRep (ConwayGovState Conway) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovState Conway) → ConwayGovState Conway Source #

HasSimpleRep (DRepPulsingState Conway) Source # 
Instance details

Associated Types

type SimpleRep (DRepPulsingState Conway) Source #

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

Methods

toSimpleRep ∷ DRepPulsingState Conway → SimpleRep (DRepPulsingState Conway) Source #

fromSimpleRep ∷ SimpleRep (DRepPulsingState Conway) → DRepPulsingState Conway Source #

HasSimpleRep (PulsingSnapshot Conway) Source # 
Instance details

Associated Types

type SimpleRep (PulsingSnapshot Conway) Source #

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

Methods

toSimpleRep ∷ PulsingSnapshot Conway → SimpleRep (PulsingSnapshot Conway) Source #

fromSimpleRep ∷ SimpleRep (PulsingSnapshot Conway) → PulsingSnapshot Conway Source #

HasSimpleRep (EnactState era) Source # 
Instance details

Associated Types

type SimpleRep (EnactState era) Source #

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

Methods

toSimpleRep ∷ EnactState era → SimpleRep (EnactState era) Source #

fromSimpleRep ∷ SimpleRep (EnactState era) → EnactState era Source #

HasSimpleRep (RatifyEnv era) Source # 
Instance details

Associated Types

type SimpleRep (RatifyEnv era) Source #

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

Methods

toSimpleRep ∷ RatifyEnv era → SimpleRep (RatifyEnv era) Source #

fromSimpleRep ∷ SimpleRep (RatifyEnv era) → RatifyEnv era Source #

HasSimpleRep (RatifySignal Conway) Source # 
Instance details

Associated Types

type SimpleRep (RatifySignal Conway) Source #

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

Methods

toSimpleRep ∷ RatifySignal Conway → SimpleRep (RatifySignal Conway) Source #

fromSimpleRep ∷ SimpleRep (RatifySignal Conway) → RatifySignal Conway Source #

HasSimpleRep (RatifyState Conway) Source # 
Instance details

Associated Types

type SimpleRep (RatifyState Conway) Source #

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

Methods

toSimpleRep ∷ RatifyState Conway → SimpleRep (RatifyState Conway) Source #

fromSimpleRep ∷ SimpleRep (RatifyState Conway) → RatifyState Conway Source #

HasSimpleRep (Committee era) Source # 
Instance details

Associated Types

type SimpleRep (Committee era) Source #

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

Methods

toSimpleRep ∷ Committee era → SimpleRep (Committee era) Source #

fromSimpleRep ∷ SimpleRep (Committee era) → Committee era 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 era) Source # 
Instance details

Associated Types

type SimpleRep (GovActionState era) Source #

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

Methods

toSimpleRep ∷ GovActionState era → SimpleRep (GovActionState era) Source #

fromSimpleRep ∷ SimpleRep (GovActionState era) → GovActionState 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 #

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

Associated Types

type SimpleRep (Proposals era) Source #

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

Methods

toSimpleRep ∷ Proposals era → SimpleRep (Proposals era) Source #

fromSimpleRep ∷ SimpleRep (Proposals era) → Proposals era Source #

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

Associated Types

type SimpleRep (CertEnv era) Source #

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

Methods

toSimpleRep ∷ CertEnv era → SimpleRep (CertEnv era) Source #

fromSimpleRep ∷ SimpleRep (CertEnv era) → CertEnv era Source #

HasSimpleRep (CertsEnv era) Source # 
Instance details

Associated Types

type SimpleRep (CertsEnv era) Source #

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

Methods

toSimpleRep ∷ CertsEnv era → SimpleRep (CertsEnv era) Source #

fromSimpleRep ∷ SimpleRep (CertsEnv era) → CertsEnv era 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 Conway) Source # 
Instance details

Associated Types

type SimpleRep (EnactSignal Conway) Source #

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

Methods

toSimpleRep ∷ EnactSignal Conway → SimpleRep (EnactSignal Conway) Source #

fromSimpleRep ∷ SimpleRep (EnactSignal Conway) → EnactSignal Conway Source #

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

Associated Types

type SimpleRep (GovEnv era) Source #

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

Methods

toSimpleRep ∷ GovEnv era → SimpleRep (GovEnv era) Source #

fromSimpleRep ∷ SimpleRep (GovEnv era) → GovEnv era Source #

HasSimpleRep (GovSignal era) Source # 
Instance details

Associated Types

type SimpleRep (GovSignal era) Source #

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

Methods

toSimpleRep ∷ GovSignal era → SimpleRep (GovSignal era) Source #

fromSimpleRep ∷ SimpleRep (GovSignal era) → GovSignal era Source #

HasSimpleRep (ConwayGovCertEnv Conway) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovCertEnv Conway) Source #

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

Methods

toSimpleRep ∷ ConwayGovCertEnv Conway → SimpleRep (ConwayGovCertEnv Conway) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovCertEnv Conway) → ConwayGovCertEnv Conway 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 #

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

Associated Types

type SimpleRep (BlocksMade c) Source #

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

Methods

toSimpleRep ∷ BlocksMade c → SimpleRep (BlocksMade c) Source #

fromSimpleRep ∷ SimpleRep (BlocksMade c) → BlocksMade 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 #

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

Associated Types

type SimpleRep (CompactForm a) Source #

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

Methods

toSimpleRep ∷ CompactForm a → SimpleRep (CompactForm a) Source #

fromSimpleRep ∷ SimpleRep (CompactForm a) → CompactForm a 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 #

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

Associated Types

type SimpleRep (Reward c) Source #

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

Methods

toSimpleRep ∷ Reward c → SimpleRep (Reward c) Source #

fromSimpleRep ∷ SimpleRep (Reward c) → Reward 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 era) Source # 
Instance details

Associated Types

type SimpleRep (UTxO era) Source #

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

Methods

toSimpleRep ∷ UTxO era → SimpleRep (UTxO era) Source #

fromSimpleRep ∷ SimpleRep (UTxO era) → UTxO era 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 (ShelleyGovState era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyGovState era) Source #

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

Methods

toSimpleRep ∷ ShelleyGovState era → SimpleRep (ShelleyGovState era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyGovState era) → ShelleyGovState era Source #

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

Associated Types

type SimpleRep (EpochState era) Source #

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

Methods

toSimpleRep ∷ EpochState era → SimpleRep (EpochState era) Source #

fromSimpleRep ∷ SimpleRep (EpochState era) → EpochState era 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 #

EraTxOut era ⇒ HasSimpleRep (LedgerState era) Source # 
Instance details

Associated Types

type SimpleRep (LedgerState era) Source #

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

Methods

toSimpleRep ∷ LedgerState era → SimpleRep (LedgerState era) Source #

fromSimpleRep ∷ SimpleRep (LedgerState era) → LedgerState era Source #

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

Associated Types

type SimpleRep (NewEpochState era) Source #

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

Methods

toSimpleRep ∷ NewEpochState era → SimpleRep (NewEpochState era) Source #

fromSimpleRep ∷ SimpleRep (NewEpochState era) → NewEpochState era Source #

HasSimpleRep (UTxOState era) Source # 
Instance details

Associated Types

type SimpleRep (UTxOState era) Source #

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

Methods

toSimpleRep ∷ UTxOState era → SimpleRep (UTxOState era) Source #

fromSimpleRep ∷ SimpleRep (UTxOState era) → UTxOState era 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 #

HasSimpleRep (FreeVars StandardCrypto) Source # 
Instance details

Associated Types

type SimpleRep (FreeVars StandardCrypto) Source #

type TheSop (FreeVars StandardCrypto) ∷ [Type] Source #

Methods

toSimpleRep ∷ FreeVars StandardCrypto → SimpleRep (FreeVars StandardCrypto) Source #

fromSimpleRep ∷ SimpleRep (FreeVars StandardCrypto) → FreeVars StandardCrypto Source #

HasSimpleRep (Pulser c) Source # 
Instance details

Associated Types

type SimpleRep (Pulser c) Source #

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

Methods

toSimpleRep ∷ Pulser c → SimpleRep (Pulser c) Source #

fromSimpleRep ∷ SimpleRep (Pulser c) → Pulser c Source #

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

Associated Types

type SimpleRep (PulsingRewUpdate c) Source #

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

Methods

toSimpleRep ∷ PulsingRewUpdate c → SimpleRep (PulsingRewUpdate c) Source #

fromSimpleRep ∷ SimpleRep (PulsingRewUpdate c) → PulsingRewUpdate c Source #

HasSimpleRep (RewardAns StandardCrypto) Source # 
Instance details

Associated Types

type SimpleRep (RewardAns StandardCrypto) Source #

type TheSop (RewardAns StandardCrypto) ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardAns StandardCrypto → SimpleRep (RewardAns StandardCrypto) Source #

fromSimpleRep ∷ SimpleRep (RewardAns StandardCrypto) → RewardAns StandardCrypto Source #

HasSimpleRep (RewardSnapShot StandardCrypto) Source # 
Instance details

Associated Types

type SimpleRep (RewardSnapShot StandardCrypto) Source #

type TheSop (RewardSnapShot StandardCrypto) ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardSnapShot StandardCrypto → SimpleRep (RewardSnapShot StandardCrypto) Source #

fromSimpleRep ∷ SimpleRep (RewardSnapShot StandardCrypto) → RewardSnapShot StandardCrypto Source #

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

Associated Types

type SimpleRep (RewardUpdate c) Source #

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

Methods

toSimpleRep ∷ RewardUpdate c → SimpleRep (RewardUpdate c) Source #

fromSimpleRep ∷ SimpleRep (RewardUpdate c) → RewardUpdate c Source #

HasSimpleRep (LeaderOnlyReward StandardCrypto) Source # 
Instance details

Associated Types

type SimpleRep (LeaderOnlyReward StandardCrypto) Source #

type TheSop (LeaderOnlyReward StandardCrypto) ∷ [Type] Source #

Methods

toSimpleRep ∷ LeaderOnlyReward StandardCrypto → SimpleRep (LeaderOnlyReward StandardCrypto) Source #

fromSimpleRep ∷ SimpleRep (LeaderOnlyReward StandardCrypto) → LeaderOnlyReward StandardCrypto Source #

HasSimpleRep (PoolRewardInfo StandardCrypto) Source # 
Instance details

Associated Types

type SimpleRep (PoolRewardInfo StandardCrypto) Source #

type TheSop (PoolRewardInfo StandardCrypto) ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolRewardInfo StandardCrypto → SimpleRep (PoolRewardInfo StandardCrypto) Source #

fromSimpleRep ∷ SimpleRep (PoolRewardInfo StandardCrypto) → PoolRewardInfo StandardCrypto 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 era) Source # 
Instance details

Associated Types

type SimpleRep (PoolEnv era) Source #

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

Methods

toSimpleRep ∷ PoolEnv era → SimpleRep (PoolEnv era) Source #

fromSimpleRep ∷ SimpleRep (PoolEnv era) → PoolEnv era Source #

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

Associated Types

type SimpleRep (UtxoEnv era) Source #

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

Methods

toSimpleRep ∷ UtxoEnv era → SimpleRep (UtxoEnv era) Source #

fromSimpleRep ∷ SimpleRep (UtxoEnv era) → UtxoEnv era Source #

EraSpecPParams era ⇒ HasSimpleRep (ShelleyTx era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTx era) Source #

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

Methods

toSimpleRep ∷ ShelleyTx era → SimpleRep (ShelleyTx era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyTx era) → ShelleyTx era Source #

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

Associated Types

type SimpleRep (ShelleyTxAuxData era) Source #

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

Methods

toSimpleRep ∷ ShelleyTxAuxData era → SimpleRep (ShelleyTxAuxData era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyTxAuxData era) → ShelleyTxAuxData era Source #

HasSimpleRep (GenesisDelegCert c) Source # 
Instance details

Associated Types

type SimpleRep (GenesisDelegCert c) Source #

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

Methods

toSimpleRep ∷ GenesisDelegCert c → SimpleRep (GenesisDelegCert c) Source #

fromSimpleRep ∷ SimpleRep (GenesisDelegCert c) → GenesisDelegCert c Source #

HasSimpleRep (MIRCert c) Source # 
Instance details

Associated Types

type SimpleRep (MIRCert c) Source #

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

Methods

toSimpleRep ∷ MIRCert c → SimpleRep (MIRCert c) Source #

fromSimpleRep ∷ SimpleRep (MIRCert c) → MIRCert c Source #

HasSimpleRep (MIRTarget c) Source # 
Instance details

Associated Types

type SimpleRep (MIRTarget c) Source #

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

Methods

toSimpleRep ∷ MIRTarget c → SimpleRep (MIRTarget c) Source #

fromSimpleRep ∷ SimpleRep (MIRTarget c) → MIRTarget c Source #

HasSimpleRep (ShelleyDelegCert c) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyDelegCert c) Source #

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

Methods

toSimpleRep ∷ ShelleyDelegCert c → SimpleRep (ShelleyDelegCert c) Source #

fromSimpleRep ∷ SimpleRep (ShelleyDelegCert c) → ShelleyDelegCert c Source #

HasSimpleRep (ShelleyTxCert era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyTxCert era) Source #

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

Methods

toSimpleRep ∷ ShelleyTxCert era → SimpleRep (ShelleyTxCert era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyTxCert era) → ShelleyTxCert era Source #

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

Associated Types

type SimpleRep (ShelleyTxOut era) Source #

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

Methods

toSimpleRep ∷ ShelleyTxOut era → SimpleRep (ShelleyTxOut era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyTxOut era) → ShelleyTxOut era Source #

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

Associated Types

type SimpleRep (ShelleyTxWits era) Source #

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

Methods

toSimpleRep ∷ ShelleyTxWits era → SimpleRep (ShelleyTxWits era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyTxWits era) → ShelleyTxWits era 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 Conway Identity (RatifyState Conway)) Source # 
Instance details

Associated Types

type SimpleRep (DRepPulser Conway Identity (RatifyState Conway)) Source #

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

Methods

toSimpleRep ∷ DRepPulser Conway Identity (RatifyState Conway) → SimpleRep (DRepPulser Conway Identity (RatifyState Conway)) Source #

fromSimpleRep ∷ SimpleRep (DRepPulser Conway Identity (RatifyState Conway)) → DRepPulser Conway Identity (RatifyState Conway) 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 #