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

data StringW ∷ [Type] → Type → Type Source #

Instances

Instances details
Logic StringW Source #

In this instance there is no way to bring the type variable s into scope so we introduce some local functions that have a signature that bring it into scope.

Instance details

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

Methods

propagateTypeSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → TypeSpec b → [b] → Specification a Source #

propagateMemberSpec ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → NonEmpty b → Specification a Source #

propagate ∷ ∀ (as ∷ [Type]) b a. (AppRequires StringW as b, HasSpec a) ⇒ StringW as b → ListCtx Value as (HOLE a) → Specification b → Specification a Source #

rewriteRules ∷ ∀ (dom ∷ [Type]) rng. (TypeList dom, Typeable dom, HasSpec rng, All HasSpec dom) ⇒ StringW dom rng → List Term dom → Evidence (AppRequires StringW dom rng) → Maybe (Term rng) Source #

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

saturate ∷ ∀ (dom ∷ [Type]). StringW dom Bool → List Term dom → [Pred] Source #

Semantics StringW Source # 
Instance details

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

Methods

semantics ∷ ∀ (d ∷ [Type]) r. StringW d r → FunTy d r Source #

Syntax StringW Source # 
Instance details

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

Methods

inFix ∷ ∀ (dom ∷ [Type]) rng. StringW dom rng → Bool Source #

prettyWit ∷ ∀ (dom ∷ [Type]) rng ann. (All HasSpec dom, HasSpec rng) ⇒ StringW dom rng → List Term dom → Int → Maybe (Doc ann) Source #

Show (StringW as b) Source # 
Instance details

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

Methods

showsPrec ∷ Int → StringW as b → ShowS #

show ∷ StringW as b → String #

showList ∷ [StringW as b] → ShowS #

Eq (StringW as b) Source # 
Instance details

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

Methods

(==) ∷ StringW as b → StringW as b → Bool #

(/=) ∷ StringW as b → StringW as b → Bool #

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

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

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

cKeyHashObj ∷ Typeable r ⇒ Term (KeyHash r) → Term (Credential r) Source #

cScriptHashObj ∷ Typeable r ⇒ Term ScriptHash → Term (Credential r) Source #

maryValueCoin_ ∷ Term MaryValue → Term Coin Source #

strLen_ ∷ (HasSpec s, StringLike s) ⇒ Term s → Term Int Source #

sizedValue_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term a Source #

sizedSize_ ∷ (HasSpec (Sized a), HasSpec a) ⇒ Term (Sized a) → Term Int64 Source #

txOutVal_ ∷ (HasSpec (Value era), Era era, HasSpec (Data era), Val (Value era), HasSpec (Script era), HasSpec (BabbageTxOut era), IsNormalType (Script era)) ⇒ Term (BabbageTxOut era) → Term (Value era) Source #

pProcDeposit_ ∷ Term (ProposalProcedure ConwayEra) → Term Coin Source #

pProcGovAction_ ∷ Term (ProposalProcedure ConwayEra) → Term (GovAction ConwayEra) Source #

gasId_ ∷ Term (GovActionState ConwayEra) → Term GovActionId Source #

gasCommitteeVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'HotCommitteeRole) Vote) Source #

gasDRepVotes_ ∷ Term (GovActionState ConwayEra) → Term (Map (Credential 'DRepRole) Vote) Source #

gasProposalProcedure_ ∷ Term (GovActionState ConwayEra) → Term (ProposalProcedure ConwayEra) Source #

psPParamUpdate_ ∷ (EraSpecPParams era, Arbitrary (Proposals era)) ⇒ Term (Proposals era) → Term (ProposalTree era) 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 #

Methods

from ∷ ProposalsSplit → Rep ProposalsSplit x #

to ∷ Rep ProposalsSplit x → ProposalsSplit #

Show ProposalsSplit Source # 
Instance details

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

Methods

showsPrec ∷ Int → ProposalsSplit → ShowS #

show ∷ ProposalsSplit → String #

showList ∷ [ProposalsSplit] → ShowS #

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

Eq ProposalsSplit Source # 
Instance details

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

Methods

(==) ∷ ProposalsSplit → ProposalsSplit → Bool #

(/=) ∷ ProposalsSplit → ProposalsSplit → Bool #

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. (HasSpec a, HasSpec b, CoercibleLike a b) ⇒ Term a → Term b Source #

toDelta_ ∷ Term Coin → Term DeltaCoin Source #

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

Orphan instances

Num DeltaCoin Source # 
Instance details

Methods

(+) ∷ DeltaCoin → DeltaCoin → DeltaCoin #

(-) ∷ DeltaCoin → DeltaCoin → DeltaCoin #

(*) ∷ DeltaCoin → DeltaCoin → DeltaCoin #

negate ∷ DeltaCoin → DeltaCoin #

abs ∷ DeltaCoin → DeltaCoin #

signum ∷ DeltaCoin → DeltaCoin #

fromInteger ∷ Integer → DeltaCoin #

HasSpec ByteString Source # 
Instance details

Associated Types

type TypeSpec ByteString Source #

type Prerequisites ByteString Source #

Methods

emptySpec ∷ TypeSpec ByteString Source #

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

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

conformsTo ∷ ByteString → TypeSpec ByteString → Bool Source #

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

toPreds ∷ Term ByteString → TypeSpec ByteString → Pred Source #

cardinalTypeSpec ∷ TypeSpec ByteString → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec ByteString → BinaryShow Source #

monadConformsTo ∷ ByteString → TypeSpec ByteString → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec ByteString → Specification ByteString Source #

prerequisites ∷ Evidence (Prerequisites ByteString) Source #

HasSpec ShortByteString Source # 
Instance details

Associated Types

type TypeSpec ShortByteString Source #

type Prerequisites ShortByteString Source #

Methods

emptySpec ∷ TypeSpec ShortByteString Source #

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

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

conformsTo ∷ ShortByteString → TypeSpec ShortByteString → Bool Source #

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

toPreds ∷ Term ShortByteString → TypeSpec ShortByteString → Pred Source #

cardinalTypeSpec ∷ TypeSpec ShortByteString → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec ShortByteString → BinaryShow Source #

monadConformsTo ∷ ShortByteString → TypeSpec ShortByteString → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec ShortByteString → Specification ShortByteString Source #

prerequisites ∷ Evidence (Prerequisites ShortByteString) Source #

HasSpec ValidityInterval Source # 
Instance details

Associated Types

type TypeSpec ValidityInterval Source #

type Prerequisites ValidityInterval Source #

Methods

emptySpec ∷ TypeSpec ValidityInterval Source #

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

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

conformsTo ∷ ValidityInterval → TypeSpec ValidityInterval → Bool Source #

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

toPreds ∷ Term ValidityInterval → TypeSpec ValidityInterval → Pred Source #

cardinalTypeSpec ∷ TypeSpec ValidityInterval → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec ValidityInterval → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec ValidityInterval → Specification ValidityInterval Source #

prerequisites ∷ Evidence (Prerequisites ValidityInterval) Source #

HasSpec IsValid Source # 
Instance details

Associated Types

type TypeSpec IsValid Source #

type Prerequisites IsValid Source #

Methods

emptySpec ∷ TypeSpec IsValid Source #

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

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

conformsTo ∷ IsValid → TypeSpec IsValid → Bool Source #

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

toPreds ∷ Term IsValid → TypeSpec IsValid → Pred Source #

cardinalTypeSpec ∷ TypeSpec IsValid → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec IsValid → BinaryShow Source #

monadConformsTo ∷ IsValid → TypeSpec IsValid → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec IsValid → Specification IsValid Source #

prerequisites ∷ Evidence (Prerequisites IsValid) Source #

HasSpec Addr28Extra Source # 
Instance details

Associated Types

type TypeSpec Addr28Extra Source #

type Prerequisites Addr28Extra Source #

Methods

emptySpec ∷ TypeSpec Addr28Extra Source #

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

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

conformsTo ∷ Addr28Extra → TypeSpec Addr28Extra → Bool Source #

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

toPreds ∷ Term Addr28Extra → TypeSpec Addr28Extra → Pred Source #

cardinalTypeSpec ∷ TypeSpec Addr28Extra → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Addr28Extra → BinaryShow Source #

monadConformsTo ∷ Addr28Extra → TypeSpec Addr28Extra → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Addr28Extra → Specification Addr28Extra Source #

prerequisites ∷ Evidence (Prerequisites Addr28Extra) Source #

HasSpec DataHash32 Source # 
Instance details

Associated Types

type TypeSpec DataHash32 Source #

type Prerequisites DataHash32 Source #

Methods

emptySpec ∷ TypeSpec DataHash32 Source #

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

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

conformsTo ∷ DataHash32 → TypeSpec DataHash32 → Bool Source #

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

toPreds ∷ Term DataHash32 → TypeSpec DataHash32 → Pred Source #

cardinalTypeSpec ∷ TypeSpec DataHash32 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec DataHash32 → BinaryShow Source #

monadConformsTo ∷ DataHash32 → TypeSpec DataHash32 → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec DataHash32 → Specification DataHash32 Source #

prerequisites ∷ Evidence (Prerequisites DataHash32) Source #

HasSpec CoinPerByte Source # 
Instance details

Associated Types

type TypeSpec CoinPerByte Source #

type Prerequisites CoinPerByte Source #

Methods

emptySpec ∷ TypeSpec CoinPerByte Source #

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

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

conformsTo ∷ CoinPerByte → TypeSpec CoinPerByte → Bool Source #

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

toPreds ∷ Term CoinPerByte → TypeSpec CoinPerByte → Pred Source #

cardinalTypeSpec ∷ TypeSpec CoinPerByte → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec CoinPerByte → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec CoinPerByte → Specification CoinPerByte Source #

prerequisites ∷ Evidence (Prerequisites CoinPerByte) Source #

HasSpec AddrType Source # 
Instance details

Associated Types

type TypeSpec AddrType Source #

type Prerequisites AddrType Source #

Methods

emptySpec ∷ TypeSpec AddrType Source #

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

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

conformsTo ∷ AddrType → TypeSpec AddrType → Bool Source #

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

toPreds ∷ Term AddrType → TypeSpec AddrType → Pred Source #

cardinalTypeSpec ∷ TypeSpec AddrType → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec AddrType → BinaryShow Source #

monadConformsTo ∷ AddrType → TypeSpec AddrType → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec AddrType → Specification AddrType Source #

prerequisites ∷ Evidence (Prerequisites AddrType) Source #

HasSpec NetworkMagic Source # 
Instance details

Associated Types

type TypeSpec NetworkMagic Source #

type Prerequisites NetworkMagic Source #

Methods

emptySpec ∷ TypeSpec NetworkMagic Source #

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

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

conformsTo ∷ NetworkMagic → TypeSpec NetworkMagic → Bool Source #

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

toPreds ∷ Term NetworkMagic → TypeSpec NetworkMagic → Pred Source #

cardinalTypeSpec ∷ TypeSpec NetworkMagic → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec NetworkMagic → BinaryShow Source #

monadConformsTo ∷ NetworkMagic → TypeSpec NetworkMagic → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec NetworkMagic → Specification NetworkMagic Source #

prerequisites ∷ Evidence (Prerequisites NetworkMagic) Source #

HasSpec GovActionId Source # 
Instance details

Associated Types

type TypeSpec GovActionId Source #

type Prerequisites GovActionId Source #

Methods

emptySpec ∷ TypeSpec GovActionId Source #

combineSpec ∷ TypeSpec GovActionId → TypeSpec GovActionId → Specification GovActionId Source #

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

conformsTo ∷ GovActionId → TypeSpec GovActionId → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec GovActionId → GovActionId → [GovActionId] Source #

toPreds ∷ Term GovActionId → TypeSpec GovActionId → Pred Source #

cardinalTypeSpec ∷ TypeSpec GovActionId → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec GovActionId → BinaryShow Source #

monadConformsTo ∷ GovActionId → TypeSpec GovActionId → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec GovActionId → [GovActionId] → Specification GovActionId Source #

guardTypeSpec ∷ [String] → TypeSpec GovActionId → Specification GovActionId Source #

prerequisites ∷ Evidence (Prerequisites GovActionId) Source #

HasSpec GovActionIx Source # 
Instance details

Associated Types

type TypeSpec GovActionIx Source #

type Prerequisites GovActionIx Source #

Methods

emptySpec ∷ TypeSpec GovActionIx Source #

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

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

conformsTo ∷ GovActionIx → TypeSpec GovActionIx → Bool Source #

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

toPreds ∷ Term GovActionIx → TypeSpec GovActionIx → Pred Source #

cardinalTypeSpec ∷ TypeSpec GovActionIx → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec GovActionIx → BinaryShow Source #

monadConformsTo ∷ GovActionIx → TypeSpec GovActionIx → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec GovActionIx → Specification GovActionIx Source #

prerequisites ∷ Evidence (Prerequisites GovActionIx) Source #

HasSpec GovActionPurpose Source # 
Instance details

Associated Types

type TypeSpec GovActionPurpose Source #

type Prerequisites GovActionPurpose Source #

Methods

emptySpec ∷ TypeSpec GovActionPurpose Source #

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

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

conformsTo ∷ GovActionPurpose → TypeSpec GovActionPurpose → Bool Source #

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

toPreds ∷ Term GovActionPurpose → TypeSpec GovActionPurpose → Pred Source #

cardinalTypeSpec ∷ TypeSpec GovActionPurpose → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec GovActionPurpose → BinaryShow Source #

monadConformsTo ∷ GovActionPurpose → TypeSpec GovActionPurpose → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec GovActionPurpose → Specification GovActionPurpose Source #

prerequisites ∷ Evidence (Prerequisites GovActionPurpose) Source #

HasSpec Vote Source # 
Instance details

Associated Types

type TypeSpec Vote Source #

type Prerequisites Vote Source #

Methods

emptySpec ∷ TypeSpec Vote Source #

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

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

conformsTo ∷ Vote → TypeSpec Vote → Bool Source #

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

toPreds ∷ Term Vote → TypeSpec Vote → Pred Source #

cardinalTypeSpec ∷ TypeSpec Vote → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Vote → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec Vote → Specification Vote Source #

prerequisites ∷ Evidence (Prerequisites Vote) Source #

HasSpec Voter Source # 
Instance details

Associated Types

type TypeSpec Voter Source #

type Prerequisites Voter Source #

Methods

emptySpec ∷ TypeSpec Voter Source #

combineSpec ∷ TypeSpec Voter → TypeSpec Voter → Specification Voter Source #

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

conformsTo ∷ Voter → TypeSpec Voter → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Voter → Voter → [Voter] Source #

toPreds ∷ Term Voter → TypeSpec Voter → Pred Source #

cardinalTypeSpec ∷ TypeSpec Voter → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Voter → BinaryShow Source #

monadConformsTo ∷ Voter → TypeSpec Voter → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Voter → [Voter] → Specification Voter Source #

guardTypeSpec ∷ [String] → TypeSpec Voter → Specification Voter Source #

prerequisites ∷ Evidence (Prerequisites Voter) Source #

HasSpec ConwayDelegCert Source # 
Instance details

Associated Types

type TypeSpec ConwayDelegCert Source #

type Prerequisites ConwayDelegCert Source #

Methods

emptySpec ∷ TypeSpec ConwayDelegCert Source #

combineSpec ∷ TypeSpec ConwayDelegCert → TypeSpec ConwayDelegCert → Specification ConwayDelegCert Source #

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

conformsTo ∷ ConwayDelegCert → TypeSpec ConwayDelegCert → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec ConwayDelegCert → ConwayDelegCert → [ConwayDelegCert] Source #

toPreds ∷ Term ConwayDelegCert → TypeSpec ConwayDelegCert → Pred Source #

cardinalTypeSpec ∷ TypeSpec ConwayDelegCert → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec ConwayDelegCert → BinaryShow Source #

monadConformsTo ∷ ConwayDelegCert → TypeSpec ConwayDelegCert → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec ConwayDelegCert → [ConwayDelegCert] → Specification ConwayDelegCert Source #

guardTypeSpec ∷ [String] → TypeSpec ConwayDelegCert → Specification ConwayDelegCert Source #

prerequisites ∷ Evidence (Prerequisites ConwayDelegCert) Source #

HasSpec ConwayGovCert Source # 
Instance details

Associated Types

type TypeSpec ConwayGovCert Source #

type Prerequisites ConwayGovCert Source #

Methods

emptySpec ∷ TypeSpec ConwayGovCert Source #

combineSpec ∷ TypeSpec ConwayGovCert → TypeSpec ConwayGovCert → Specification ConwayGovCert Source #

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

conformsTo ∷ ConwayGovCert → TypeSpec ConwayGovCert → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec ConwayGovCert → ConwayGovCert → [ConwayGovCert] Source #

toPreds ∷ Term ConwayGovCert → TypeSpec ConwayGovCert → Pred Source #

cardinalTypeSpec ∷ TypeSpec ConwayGovCert → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec ConwayGovCert → BinaryShow Source #

monadConformsTo ∷ ConwayGovCert → TypeSpec ConwayGovCert → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec ConwayGovCert → [ConwayGovCert] → Specification ConwayGovCert Source #

guardTypeSpec ∷ [String] → TypeSpec ConwayGovCert → Specification ConwayGovCert Source #

prerequisites ∷ Evidence (Prerequisites ConwayGovCert) Source #

HasSpec Delegatee Source # 
Instance details

Associated Types

type TypeSpec Delegatee Source #

type Prerequisites Delegatee Source #

Methods

emptySpec ∷ TypeSpec Delegatee Source #

combineSpec ∷ TypeSpec Delegatee → TypeSpec Delegatee → Specification Delegatee Source #

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

conformsTo ∷ Delegatee → TypeSpec Delegatee → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Delegatee → Delegatee → [Delegatee] Source #

toPreds ∷ Term Delegatee → TypeSpec Delegatee → Pred Source #

cardinalTypeSpec ∷ TypeSpec Delegatee → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Delegatee → BinaryShow Source #

monadConformsTo ∷ Delegatee → TypeSpec Delegatee → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Delegatee → [Delegatee] → Specification Delegatee Source #

guardTypeSpec ∷ [String] → TypeSpec Delegatee → Specification Delegatee Source #

prerequisites ∷ Evidence (Prerequisites Delegatee) Source #

HasSpec Addr Source # 
Instance details

Associated Types

type TypeSpec Addr Source #

type Prerequisites Addr Source #

Methods

emptySpec ∷ TypeSpec Addr Source #

combineSpec ∷ TypeSpec Addr → TypeSpec Addr → Specification Addr Source #

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

conformsTo ∷ Addr → TypeSpec Addr → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Addr → Addr → [Addr] Source #

toPreds ∷ Term Addr → TypeSpec Addr → Pred Source #

cardinalTypeSpec ∷ TypeSpec Addr → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Addr → BinaryShow Source #

monadConformsTo ∷ Addr → TypeSpec Addr → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Addr → [Addr] → Specification Addr Source #

guardTypeSpec ∷ [String] → TypeSpec Addr → Specification Addr Source #

prerequisites ∷ Evidence (Prerequisites Addr) Source #

HasSpec BootstrapAddress Source # 
Instance details

Associated Types

type TypeSpec BootstrapAddress Source #

type Prerequisites BootstrapAddress Source #

Methods

emptySpec ∷ TypeSpec BootstrapAddress Source #

combineSpec ∷ TypeSpec BootstrapAddress → TypeSpec BootstrapAddress → Specification BootstrapAddress Source #

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

conformsTo ∷ BootstrapAddress → TypeSpec BootstrapAddress → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec BootstrapAddress → BootstrapAddress → [BootstrapAddress] Source #

toPreds ∷ Term BootstrapAddress → TypeSpec BootstrapAddress → Pred Source #

cardinalTypeSpec ∷ TypeSpec BootstrapAddress → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec BootstrapAddress → BinaryShow Source #

monadConformsTo ∷ BootstrapAddress → TypeSpec BootstrapAddress → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec BootstrapAddress → [BootstrapAddress] → Specification BootstrapAddress Source #

guardTypeSpec ∷ [String] → TypeSpec BootstrapAddress → Specification BootstrapAddress Source #

prerequisites ∷ Evidence (Prerequisites BootstrapAddress) Source #

HasSpec CompactAddr Source # 
Instance details

Associated Types

type TypeSpec CompactAddr Source #

type Prerequisites CompactAddr Source #

Methods

emptySpec ∷ TypeSpec CompactAddr Source #

combineSpec ∷ TypeSpec CompactAddr → TypeSpec CompactAddr → Specification CompactAddr Source #

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

conformsTo ∷ CompactAddr → TypeSpec CompactAddr → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec CompactAddr → CompactAddr → [CompactAddr] Source #

toPreds ∷ Term CompactAddr → TypeSpec CompactAddr → Pred Source #

cardinalTypeSpec ∷ TypeSpec CompactAddr → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec CompactAddr → BinaryShow Source #

monadConformsTo ∷ CompactAddr → TypeSpec CompactAddr → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec CompactAddr → [CompactAddr] → Specification CompactAddr Source #

guardTypeSpec ∷ [String] → TypeSpec CompactAddr → Specification CompactAddr Source #

prerequisites ∷ Evidence (Prerequisites CompactAddr) Source #

HasSpec RewardAccount Source # 
Instance details

Associated Types

type TypeSpec RewardAccount Source #

type Prerequisites RewardAccount Source #

Methods

emptySpec ∷ TypeSpec RewardAccount Source #

combineSpec ∷ TypeSpec RewardAccount → TypeSpec RewardAccount → Specification RewardAccount Source #

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

conformsTo ∷ RewardAccount → TypeSpec RewardAccount → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec RewardAccount → RewardAccount → [RewardAccount] Source #

toPreds ∷ Term RewardAccount → TypeSpec RewardAccount → Pred Source #

cardinalTypeSpec ∷ TypeSpec RewardAccount → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec RewardAccount → BinaryShow Source #

monadConformsTo ∷ RewardAccount → TypeSpec RewardAccount → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec RewardAccount → [RewardAccount] → Specification RewardAccount Source #

guardTypeSpec ∷ [String] → TypeSpec RewardAccount → Specification RewardAccount Source #

prerequisites ∷ Evidence (Prerequisites RewardAccount) Source #

HasSpec Withdrawals Source # 
Instance details

Associated Types

type TypeSpec Withdrawals Source #

type Prerequisites Withdrawals Source #

Methods

emptySpec ∷ TypeSpec Withdrawals Source #

combineSpec ∷ TypeSpec Withdrawals → TypeSpec Withdrawals → Specification Withdrawals Source #

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

conformsTo ∷ Withdrawals → TypeSpec Withdrawals → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Withdrawals → Withdrawals → [Withdrawals] Source #

toPreds ∷ Term Withdrawals → TypeSpec Withdrawals → Pred Source #

cardinalTypeSpec ∷ TypeSpec Withdrawals → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Withdrawals → BinaryShow Source #

monadConformsTo ∷ Withdrawals → TypeSpec Withdrawals → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Withdrawals → [Withdrawals] → Specification Withdrawals Source #

guardTypeSpec ∷ [String] → TypeSpec Withdrawals → Specification Withdrawals Source #

prerequisites ∷ Evidence (Prerequisites Withdrawals) Source #

HasSpec Anchor Source # 
Instance details

Associated Types

type TypeSpec Anchor Source #

type Prerequisites Anchor Source #

Methods

emptySpec ∷ TypeSpec Anchor Source #

combineSpec ∷ TypeSpec Anchor → TypeSpec Anchor → Specification Anchor Source #

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

conformsTo ∷ Anchor → TypeSpec Anchor → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Anchor → Anchor → [Anchor] Source #

toPreds ∷ Term Anchor → TypeSpec Anchor → Pred Source #

cardinalTypeSpec ∷ TypeSpec Anchor → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Anchor → BinaryShow Source #

monadConformsTo ∷ Anchor → TypeSpec Anchor → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Anchor → [Anchor] → Specification Anchor Source #

guardTypeSpec ∷ [String] → TypeSpec Anchor → Specification Anchor Source #

prerequisites ∷ Evidence (Prerequisites Anchor) Source #

HasSpec BlocksMade Source # 
Instance details

Associated Types

type TypeSpec BlocksMade Source #

type Prerequisites BlocksMade Source #

Methods

emptySpec ∷ TypeSpec BlocksMade Source #

combineSpec ∷ TypeSpec BlocksMade → TypeSpec BlocksMade → Specification BlocksMade Source #

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

conformsTo ∷ BlocksMade → TypeSpec BlocksMade → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec BlocksMade → BlocksMade → [BlocksMade] Source #

toPreds ∷ Term BlocksMade → TypeSpec BlocksMade → Pred Source #

cardinalTypeSpec ∷ TypeSpec BlocksMade → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec BlocksMade → BinaryShow Source #

monadConformsTo ∷ BlocksMade → TypeSpec BlocksMade → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec BlocksMade → [BlocksMade] → Specification BlocksMade Source #

guardTypeSpec ∷ [String] → TypeSpec BlocksMade → Specification BlocksMade Source #

prerequisites ∷ Evidence (Prerequisites BlocksMade) Source #

HasSpec CertIx Source # 
Instance details

Associated Types

type TypeSpec CertIx Source #

type Prerequisites CertIx Source #

Methods

emptySpec ∷ TypeSpec CertIx Source #

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

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

conformsTo ∷ CertIx → TypeSpec CertIx → Bool Source #

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

toPreds ∷ Term CertIx → TypeSpec CertIx → Pred Source #

cardinalTypeSpec ∷ TypeSpec CertIx → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec CertIx → BinaryShow Source #

monadConformsTo ∷ CertIx → TypeSpec CertIx → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec CertIx → Specification CertIx Source #

prerequisites ∷ Evidence (Prerequisites CertIx) Source #

HasSpec Network Source # 
Instance details

Associated Types

type TypeSpec Network Source #

type Prerequisites Network Source #

Methods

emptySpec ∷ TypeSpec Network Source #

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

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

conformsTo ∷ Network → TypeSpec Network → Bool Source #

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

toPreds ∷ Term Network → TypeSpec Network → Pred Source #

cardinalTypeSpec ∷ TypeSpec Network → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Network → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec Network → Specification Network Source #

prerequisites ∷ Evidence (Prerequisites Network) Source #

HasSpec Port Source # 
Instance details

Associated Types

type TypeSpec Port Source #

type Prerequisites Port Source #

Methods

emptySpec ∷ TypeSpec Port Source #

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

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

conformsTo ∷ Port → TypeSpec Port → Bool Source #

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

toPreds ∷ Term Port → TypeSpec Port → Pred Source #

cardinalTypeSpec ∷ TypeSpec Port → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Port → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec Port → Specification Port Source #

prerequisites ∷ Evidence (Prerequisites Port) Source #

HasSpec TxIx Source # 
Instance details

Associated Types

type TypeSpec TxIx Source #

type Prerequisites TxIx Source #

Methods

emptySpec ∷ TypeSpec TxIx Source #

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

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

conformsTo ∷ TxIx → TypeSpec TxIx → Bool Source #

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

toPreds ∷ Term TxIx → TypeSpec TxIx → Pred Source #

cardinalTypeSpec ∷ TypeSpec TxIx → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec TxIx → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec TxIx → Specification TxIx Source #

prerequisites ∷ Evidence (Prerequisites TxIx) Source #

HasSpec Url Source # 
Instance details

Associated Types

type TypeSpec Url Source #

type Prerequisites Url Source #

Methods

emptySpec ∷ TypeSpec Url Source #

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

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

conformsTo ∷ Url → TypeSpec Url → Bool Source #

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

toPreds ∷ Term Url → TypeSpec Url → Pred Source #

cardinalTypeSpec ∷ TypeSpec Url → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Url → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec Url → Specification Url Source #

prerequisites ∷ Evidence (Prerequisites Url) Source #

HasSpec DeltaCoin Source # 
Instance details

Associated Types

type TypeSpec DeltaCoin Source #

type Prerequisites DeltaCoin Source #

Methods

emptySpec ∷ TypeSpec DeltaCoin Source #

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

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

conformsTo ∷ DeltaCoin → TypeSpec DeltaCoin → Bool Source #

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

toPreds ∷ Term DeltaCoin → TypeSpec DeltaCoin → Pred Source #

cardinalTypeSpec ∷ TypeSpec DeltaCoin → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec DeltaCoin → BinaryShow Source #

monadConformsTo ∷ DeltaCoin → TypeSpec DeltaCoin → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec DeltaCoin → Specification DeltaCoin Source #

prerequisites ∷ Evidence (Prerequisites DeltaCoin) Source #

HasSpec PoolCert Source # 
Instance details

Associated Types

type TypeSpec PoolCert Source #

type Prerequisites PoolCert Source #

Methods

emptySpec ∷ TypeSpec PoolCert Source #

combineSpec ∷ TypeSpec PoolCert → TypeSpec PoolCert → Specification PoolCert Source #

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

conformsTo ∷ PoolCert → TypeSpec PoolCert → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec PoolCert → PoolCert → [PoolCert] Source #

toPreds ∷ Term PoolCert → TypeSpec PoolCert → Pred Source #

cardinalTypeSpec ∷ TypeSpec PoolCert → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec PoolCert → BinaryShow Source #

monadConformsTo ∷ PoolCert → TypeSpec PoolCert → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec PoolCert → [PoolCert] → Specification PoolCert Source #

guardTypeSpec ∷ [String] → TypeSpec PoolCert → Specification PoolCert Source #

prerequisites ∷ Evidence (Prerequisites PoolCert) Source #

HasSpec Ptr Source # 
Instance details

Associated Types

type TypeSpec Ptr Source #

type Prerequisites Ptr Source #

Methods

emptySpec ∷ TypeSpec Ptr Source #

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

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

conformsTo ∷ Ptr → TypeSpec Ptr → Bool Source #

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

toPreds ∷ Term Ptr → TypeSpec Ptr → Pred Source #

cardinalTypeSpec ∷ TypeSpec Ptr → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Ptr → BinaryShow Source #

monadConformsTo ∷ Ptr → TypeSpec Ptr → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Ptr → Specification Ptr Source #

prerequisites ∷ Evidence (Prerequisites Ptr) Source #

HasSpec SlotNo32 Source # 
Instance details

Associated Types

type TypeSpec SlotNo32 Source #

type Prerequisites SlotNo32 Source #

Methods

emptySpec ∷ TypeSpec SlotNo32 Source #

combineSpec ∷ TypeSpec SlotNo32 → TypeSpec SlotNo32 → Specification SlotNo32 Source #

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

conformsTo ∷ SlotNo32 → TypeSpec SlotNo32 → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec SlotNo32 → SlotNo32 → [SlotNo32] Source #

toPreds ∷ Term SlotNo32 → TypeSpec SlotNo32 → Pred Source #

cardinalTypeSpec ∷ TypeSpec SlotNo32 → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec SlotNo32 → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec SlotNo32 → BinaryShow Source #

monadConformsTo ∷ SlotNo32 → TypeSpec SlotNo32 → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec SlotNo32 → [SlotNo32] → Specification SlotNo32 Source #

guardTypeSpec ∷ [String] → TypeSpec SlotNo32 → Specification SlotNo32 Source #

prerequisites ∷ Evidence (Prerequisites SlotNo32) Source #

HasSpec StakeReference Source # 
Instance details

Associated Types

type TypeSpec StakeReference Source #

type Prerequisites StakeReference Source #

Methods

emptySpec ∷ TypeSpec StakeReference Source #

combineSpec ∷ TypeSpec StakeReference → TypeSpec StakeReference → Specification StakeReference Source #

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

conformsTo ∷ StakeReference → TypeSpec StakeReference → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec StakeReference → StakeReference → [StakeReference] Source #

toPreds ∷ Term StakeReference → TypeSpec StakeReference → Pred Source #

cardinalTypeSpec ∷ TypeSpec StakeReference → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec StakeReference → BinaryShow Source #

monadConformsTo ∷ StakeReference → TypeSpec StakeReference → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec StakeReference → [StakeReference] → Specification StakeReference Source #

guardTypeSpec ∷ [String] → TypeSpec StakeReference → Specification StakeReference Source #

prerequisites ∷ Evidence (Prerequisites StakeReference) Source #

HasSpec DRep Source # 
Instance details

Associated Types

type TypeSpec DRep Source #

type Prerequisites DRep Source #

Methods

emptySpec ∷ TypeSpec DRep Source #

combineSpec ∷ TypeSpec DRep → TypeSpec DRep → Specification DRep Source #

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

conformsTo ∷ DRep → TypeSpec DRep → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec DRep → DRep → [DRep] Source #

toPreds ∷ Term DRep → TypeSpec DRep → Pred Source #

cardinalTypeSpec ∷ TypeSpec DRep → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec DRep → BinaryShow Source #

monadConformsTo ∷ DRep → TypeSpec DRep → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec DRep → [DRep] → Specification DRep Source #

guardTypeSpec ∷ [String] → TypeSpec DRep → Specification DRep Source #

prerequisites ∷ Evidence (Prerequisites DRep) Source #

HasSpec DRepState Source # 
Instance details

Associated Types

type TypeSpec DRepState Source #

type Prerequisites DRepState Source #

Methods

emptySpec ∷ TypeSpec DRepState Source #

combineSpec ∷ TypeSpec DRepState → TypeSpec DRepState → Specification DRepState Source #

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

conformsTo ∷ DRepState → TypeSpec DRepState → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec DRepState → DRepState → [DRepState] Source #

toPreds ∷ Term DRepState → TypeSpec DRepState → Pred Source #

cardinalTypeSpec ∷ TypeSpec DRepState → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec DRepState → BinaryShow Source #

monadConformsTo ∷ DRepState → TypeSpec DRepState → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec DRepState → [DRepState] → Specification DRepState Source #

guardTypeSpec ∷ [String] → TypeSpec DRepState → Specification DRepState Source #

prerequisites ∷ Evidence (Prerequisites DRepState) Source #

HasSpec GenDelegPair Source # 
Instance details

Associated Types

type TypeSpec GenDelegPair Source #

type Prerequisites GenDelegPair Source #

Methods

emptySpec ∷ TypeSpec GenDelegPair Source #

combineSpec ∷ TypeSpec GenDelegPair → TypeSpec GenDelegPair → Specification GenDelegPair Source #

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

conformsTo ∷ GenDelegPair → TypeSpec GenDelegPair → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec GenDelegPair → GenDelegPair → [GenDelegPair] Source #

toPreds ∷ Term GenDelegPair → TypeSpec GenDelegPair → Pred Source #

cardinalTypeSpec ∷ TypeSpec GenDelegPair → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec GenDelegPair → BinaryShow Source #

monadConformsTo ∷ GenDelegPair → TypeSpec GenDelegPair → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec GenDelegPair → [GenDelegPair] → Specification GenDelegPair Source #

guardTypeSpec ∷ [String] → TypeSpec GenDelegPair → Specification GenDelegPair Source #

prerequisites ∷ Evidence (Prerequisites GenDelegPair) Source #

HasSpec GenDelegs Source # 
Instance details

Associated Types

type TypeSpec GenDelegs Source #

type Prerequisites GenDelegs Source #

Methods

emptySpec ∷ TypeSpec GenDelegs Source #

combineSpec ∷ TypeSpec GenDelegs → TypeSpec GenDelegs → Specification GenDelegs Source #

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

conformsTo ∷ GenDelegs → TypeSpec GenDelegs → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec GenDelegs → GenDelegs → [GenDelegs] Source #

toPreds ∷ Term GenDelegs → TypeSpec GenDelegs → Pred Source #

cardinalTypeSpec ∷ TypeSpec GenDelegs → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec GenDelegs → BinaryShow Source #

monadConformsTo ∷ GenDelegs → TypeSpec GenDelegs → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec GenDelegs → [GenDelegs] → Specification GenDelegs Source #

guardTypeSpec ∷ [String] → TypeSpec GenDelegs → Specification GenDelegs Source #

prerequisites ∷ Evidence (Prerequisites GenDelegs) Source #

HasSpec ScriptHash Source # 
Instance details

Associated Types

type TypeSpec ScriptHash Source #

type Prerequisites ScriptHash Source #

Methods

emptySpec ∷ TypeSpec ScriptHash Source #

combineSpec ∷ TypeSpec ScriptHash → TypeSpec ScriptHash → Specification ScriptHash Source #

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

conformsTo ∷ ScriptHash → TypeSpec ScriptHash → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec ScriptHash → ScriptHash → [ScriptHash] Source #

toPreds ∷ Term ScriptHash → TypeSpec ScriptHash → Pred Source #

cardinalTypeSpec ∷ TypeSpec ScriptHash → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec ScriptHash → BinaryShow Source #

monadConformsTo ∷ ScriptHash → TypeSpec ScriptHash → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec ScriptHash → [ScriptHash] → Specification ScriptHash Source #

guardTypeSpec ∷ [String] → TypeSpec ScriptHash → Specification ScriptHash Source #

prerequisites ∷ Evidence (Prerequisites ScriptHash) Source #

HasSpec TxAuxDataHash Source # 
Instance details

Associated Types

type TypeSpec TxAuxDataHash Source #

type Prerequisites TxAuxDataHash Source #

Methods

emptySpec ∷ TypeSpec TxAuxDataHash Source #

combineSpec ∷ TypeSpec TxAuxDataHash → TypeSpec TxAuxDataHash → Specification TxAuxDataHash Source #

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

conformsTo ∷ TxAuxDataHash → TypeSpec TxAuxDataHash → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec TxAuxDataHash → TxAuxDataHash → [TxAuxDataHash] Source #

toPreds ∷ Term TxAuxDataHash → TypeSpec TxAuxDataHash → Pred Source #

cardinalTypeSpec ∷ TypeSpec TxAuxDataHash → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec TxAuxDataHash → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec TxAuxDataHash → BinaryShow Source #

monadConformsTo ∷ TxAuxDataHash → TypeSpec TxAuxDataHash → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec TxAuxDataHash → [TxAuxDataHash] → Specification TxAuxDataHash Source #

guardTypeSpec ∷ [String] → TypeSpec TxAuxDataHash → Specification TxAuxDataHash Source #

prerequisites ∷ Evidence (Prerequisites TxAuxDataHash) Source #

HasSpec BootstrapWitness Source # 
Instance details

Associated Types

type TypeSpec BootstrapWitness Source #

type Prerequisites BootstrapWitness Source #

Methods

emptySpec ∷ TypeSpec BootstrapWitness Source #

combineSpec ∷ TypeSpec BootstrapWitness → TypeSpec BootstrapWitness → Specification BootstrapWitness Source #

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

conformsTo ∷ BootstrapWitness → TypeSpec BootstrapWitness → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec BootstrapWitness → BootstrapWitness → [BootstrapWitness] Source #

toPreds ∷ Term BootstrapWitness → TypeSpec BootstrapWitness → Pred Source #

cardinalTypeSpec ∷ TypeSpec BootstrapWitness → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec BootstrapWitness → BinaryShow Source #

monadConformsTo ∷ BootstrapWitness → TypeSpec BootstrapWitness → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec BootstrapWitness → [BootstrapWitness] → Specification BootstrapWitness Source #

guardTypeSpec ∷ [String] → TypeSpec BootstrapWitness → Specification BootstrapWitness Source #

prerequisites ∷ Evidence (Prerequisites BootstrapWitness) Source #

HasSpec Metadatum Source # 
Instance details

Associated Types

type TypeSpec Metadatum Source #

type Prerequisites Metadatum Source #

Methods

emptySpec ∷ TypeSpec Metadatum Source #

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

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

conformsTo ∷ Metadatum → TypeSpec Metadatum → Bool Source #

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

toPreds ∷ Term Metadatum → TypeSpec Metadatum → Pred Source #

cardinalTypeSpec ∷ TypeSpec Metadatum → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Metadatum → BinaryShow Source #

monadConformsTo ∷ Metadatum → TypeSpec Metadatum → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Metadatum → Specification Metadatum Source #

prerequisites ∷ Evidence (Prerequisites Metadatum) Source #

HasSpec CostModel Source # 
Instance details

Associated Types

type TypeSpec CostModel Source #

type Prerequisites CostModel Source #

Methods

emptySpec ∷ TypeSpec CostModel Source #

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

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

conformsTo ∷ CostModel → TypeSpec CostModel → Bool Source #

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

toPreds ∷ Term CostModel → TypeSpec CostModel → Pred Source #

cardinalTypeSpec ∷ TypeSpec CostModel → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec CostModel → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec CostModel → Specification CostModel Source #

prerequisites ∷ Evidence (Prerequisites CostModel) Source #

HasSpec Language Source # 
Instance details

Associated Types

type TypeSpec Language Source #

type Prerequisites Language Source #

Methods

emptySpec ∷ TypeSpec Language Source #

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

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

conformsTo ∷ Language → TypeSpec Language → Bool Source #

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

toPreds ∷ Term Language → TypeSpec Language → Pred Source #

cardinalTypeSpec ∷ TypeSpec Language → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Language → BinaryShow Source #

monadConformsTo ∷ Language → TypeSpec Language → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Language → Specification Language Source #

prerequisites ∷ Evidence (Prerequisites Language) Source #

HasSpec PoolMetadata Source # 
Instance details

Associated Types

type TypeSpec PoolMetadata Source #

type Prerequisites PoolMetadata Source #

Methods

emptySpec ∷ TypeSpec PoolMetadata Source #

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

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

conformsTo ∷ PoolMetadata → TypeSpec PoolMetadata → Bool Source #

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

toPreds ∷ Term PoolMetadata → TypeSpec PoolMetadata → Pred Source #

cardinalTypeSpec ∷ TypeSpec PoolMetadata → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec PoolMetadata → BinaryShow Source #

monadConformsTo ∷ PoolMetadata → TypeSpec PoolMetadata → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec PoolMetadata → Specification PoolMetadata Source #

prerequisites ∷ Evidence (Prerequisites PoolMetadata) Source #

HasSpec PoolParams Source # 
Instance details

Associated Types

type TypeSpec PoolParams Source #

type Prerequisites PoolParams Source #

Methods

emptySpec ∷ TypeSpec PoolParams Source #

combineSpec ∷ TypeSpec PoolParams → TypeSpec PoolParams → Specification PoolParams Source #

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

conformsTo ∷ PoolParams → TypeSpec PoolParams → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec PoolParams → PoolParams → [PoolParams] Source #

toPreds ∷ Term PoolParams → TypeSpec PoolParams → Pred Source #

cardinalTypeSpec ∷ TypeSpec PoolParams → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec PoolParams → BinaryShow Source #

monadConformsTo ∷ PoolParams → TypeSpec PoolParams → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec PoolParams → [PoolParams] → Specification PoolParams Source #

guardTypeSpec ∷ [String] → TypeSpec PoolParams → Specification PoolParams Source #

prerequisites ∷ Evidence (Prerequisites PoolParams) Source #

HasSpec StakePoolRelay Source # 
Instance details

Associated Types

type TypeSpec StakePoolRelay Source #

type Prerequisites StakePoolRelay Source #

Methods

emptySpec ∷ TypeSpec StakePoolRelay Source #

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

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

conformsTo ∷ StakePoolRelay → TypeSpec StakePoolRelay → Bool Source #

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

toPreds ∷ Term StakePoolRelay → TypeSpec StakePoolRelay → Pred Source #

cardinalTypeSpec ∷ TypeSpec StakePoolRelay → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec StakePoolRelay → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec StakePoolRelay → Specification StakePoolRelay Source #

prerequisites ∷ Evidence (Prerequisites StakePoolRelay) Source #

HasSpec Reward Source # 
Instance details

Associated Types

type TypeSpec Reward Source #

type Prerequisites Reward Source #

Methods

emptySpec ∷ TypeSpec Reward Source #

combineSpec ∷ TypeSpec Reward → TypeSpec Reward → Specification Reward Source #

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

conformsTo ∷ Reward → TypeSpec Reward → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Reward → Reward → [Reward] Source #

toPreds ∷ Term Reward → TypeSpec Reward → Pred Source #

cardinalTypeSpec ∷ TypeSpec Reward → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Reward → BinaryShow Source #

monadConformsTo ∷ Reward → TypeSpec Reward → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Reward → [Reward] → Specification Reward Source #

guardTypeSpec ∷ [String] → TypeSpec Reward → Specification Reward Source #

prerequisites ∷ Evidence (Prerequisites Reward) Source #

HasSpec RewardType Source # 
Instance details

Associated Types

type TypeSpec RewardType Source #

type Prerequisites RewardType Source #

Methods

emptySpec ∷ TypeSpec RewardType Source #

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

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

conformsTo ∷ RewardType → TypeSpec RewardType → Bool Source #

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

toPreds ∷ Term RewardType → TypeSpec RewardType → Pred Source #

cardinalTypeSpec ∷ TypeSpec RewardType → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec RewardType → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec RewardType → Specification RewardType Source #

prerequisites ∷ Evidence (Prerequisites RewardType) Source #

HasSpec CommitteeAuthorization Source # 
Instance details

Associated Types

type TypeSpec CommitteeAuthorization Source #

type Prerequisites CommitteeAuthorization Source #

Methods

emptySpec ∷ TypeSpec CommitteeAuthorization Source #

combineSpec ∷ TypeSpec CommitteeAuthorization → TypeSpec CommitteeAuthorization → Specification CommitteeAuthorization Source #

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

conformsTo ∷ CommitteeAuthorization → TypeSpec CommitteeAuthorization → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec CommitteeAuthorization → CommitteeAuthorization → [CommitteeAuthorization] Source #

toPreds ∷ Term CommitteeAuthorization → TypeSpec CommitteeAuthorization → Pred Source #

cardinalTypeSpec ∷ TypeSpec CommitteeAuthorization → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec CommitteeAuthorization → BinaryShow Source #

monadConformsTo ∷ CommitteeAuthorization → TypeSpec CommitteeAuthorization → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec CommitteeAuthorization → [CommitteeAuthorization] → Specification CommitteeAuthorization Source #

guardTypeSpec ∷ [String] → TypeSpec CommitteeAuthorization → Specification CommitteeAuthorization Source #

prerequisites ∷ Evidence (Prerequisites CommitteeAuthorization) Source #

HasSpec FutureGenDeleg Source # 
Instance details

Associated Types

type TypeSpec FutureGenDeleg Source #

type Prerequisites FutureGenDeleg Source #

Methods

emptySpec ∷ TypeSpec FutureGenDeleg Source #

combineSpec ∷ TypeSpec FutureGenDeleg → TypeSpec FutureGenDeleg → Specification FutureGenDeleg Source #

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

conformsTo ∷ FutureGenDeleg → TypeSpec FutureGenDeleg → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec FutureGenDeleg → FutureGenDeleg → [FutureGenDeleg] Source #

toPreds ∷ Term FutureGenDeleg → TypeSpec FutureGenDeleg → Pred Source #

cardinalTypeSpec ∷ TypeSpec FutureGenDeleg → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec FutureGenDeleg → BinaryShow Source #

monadConformsTo ∷ FutureGenDeleg → TypeSpec FutureGenDeleg → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec FutureGenDeleg → [FutureGenDeleg] → Specification FutureGenDeleg Source #

guardTypeSpec ∷ [String] → TypeSpec FutureGenDeleg → Specification FutureGenDeleg Source #

prerequisites ∷ Evidence (Prerequisites FutureGenDeleg) Source #

HasSpec InstantaneousRewards Source # 
Instance details

Associated Types

type TypeSpec InstantaneousRewards Source #

type Prerequisites InstantaneousRewards Source #

Methods

emptySpec ∷ TypeSpec InstantaneousRewards Source #

combineSpec ∷ TypeSpec InstantaneousRewards → TypeSpec InstantaneousRewards → Specification InstantaneousRewards Source #

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

conformsTo ∷ InstantaneousRewards → TypeSpec InstantaneousRewards → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec InstantaneousRewards → InstantaneousRewards → [InstantaneousRewards] Source #

toPreds ∷ Term InstantaneousRewards → TypeSpec InstantaneousRewards → Pred Source #

cardinalTypeSpec ∷ TypeSpec InstantaneousRewards → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec InstantaneousRewards → BinaryShow Source #

monadConformsTo ∷ InstantaneousRewards → TypeSpec InstantaneousRewards → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec InstantaneousRewards → [InstantaneousRewards] → Specification InstantaneousRewards Source #

guardTypeSpec ∷ [String] → TypeSpec InstantaneousRewards → Specification InstantaneousRewards Source #

prerequisites ∷ Evidence (Prerequisites InstantaneousRewards) Source #

HasSpec ChainAccountState Source # 
Instance details

Associated Types

type TypeSpec ChainAccountState Source #

type Prerequisites ChainAccountState Source #

Methods

emptySpec ∷ TypeSpec ChainAccountState Source #

combineSpec ∷ TypeSpec ChainAccountState → TypeSpec ChainAccountState → Specification ChainAccountState Source #

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

conformsTo ∷ ChainAccountState → TypeSpec ChainAccountState → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec ChainAccountState → ChainAccountState → [ChainAccountState] Source #

toPreds ∷ Term ChainAccountState → TypeSpec ChainAccountState → Pred Source #

cardinalTypeSpec ∷ TypeSpec ChainAccountState → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec ChainAccountState → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec ChainAccountState → BinaryShow Source #

monadConformsTo ∷ ChainAccountState → TypeSpec ChainAccountState → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec ChainAccountState → [ChainAccountState] → Specification ChainAccountState Source #

guardTypeSpec ∷ [String] → TypeSpec ChainAccountState → Specification ChainAccountState Source #

prerequisites ∷ Evidence (Prerequisites ChainAccountState) Source #

HasSpec IndividualPoolStake Source # 
Instance details

Associated Types

type TypeSpec IndividualPoolStake Source #

type Prerequisites IndividualPoolStake Source #

Methods

emptySpec ∷ TypeSpec IndividualPoolStake Source #

combineSpec ∷ TypeSpec IndividualPoolStake → TypeSpec IndividualPoolStake → Specification IndividualPoolStake Source #

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

conformsTo ∷ IndividualPoolStake → TypeSpec IndividualPoolStake → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec IndividualPoolStake → IndividualPoolStake → [IndividualPoolStake] Source #

toPreds ∷ Term IndividualPoolStake → TypeSpec IndividualPoolStake → Pred Source #

cardinalTypeSpec ∷ TypeSpec IndividualPoolStake → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec IndividualPoolStake → BinaryShow Source #

monadConformsTo ∷ IndividualPoolStake → TypeSpec IndividualPoolStake → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec IndividualPoolStake → [IndividualPoolStake] → Specification IndividualPoolStake Source #

guardTypeSpec ∷ [String] → TypeSpec IndividualPoolStake → Specification IndividualPoolStake Source #

prerequisites ∷ Evidence (Prerequisites IndividualPoolStake) Source #

HasSpec PoolDistr Source # 
Instance details

Associated Types

type TypeSpec PoolDistr Source #

type Prerequisites PoolDistr Source #

Methods

emptySpec ∷ TypeSpec PoolDistr Source #

combineSpec ∷ TypeSpec PoolDistr → TypeSpec PoolDistr → Specification PoolDistr Source #

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

conformsTo ∷ PoolDistr → TypeSpec PoolDistr → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec PoolDistr → PoolDistr → [PoolDistr] Source #

toPreds ∷ Term PoolDistr → TypeSpec PoolDistr → Pred Source #

cardinalTypeSpec ∷ TypeSpec PoolDistr → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec PoolDistr → BinaryShow Source #

monadConformsTo ∷ PoolDistr → TypeSpec PoolDistr → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec PoolDistr → [PoolDistr] → Specification PoolDistr Source #

guardTypeSpec ∷ [String] → TypeSpec PoolDistr → Specification PoolDistr Source #

prerequisites ∷ Evidence (Prerequisites PoolDistr) Source #

HasSpec SnapShot Source # 
Instance details

Associated Types

type TypeSpec SnapShot Source #

type Prerequisites SnapShot Source #

Methods

emptySpec ∷ TypeSpec SnapShot Source #

combineSpec ∷ TypeSpec SnapShot → TypeSpec SnapShot → Specification SnapShot Source #

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

conformsTo ∷ SnapShot → TypeSpec SnapShot → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec SnapShot → SnapShot → [SnapShot] Source #

toPreds ∷ Term SnapShot → TypeSpec SnapShot → Pred Source #

cardinalTypeSpec ∷ TypeSpec SnapShot → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec SnapShot → BinaryShow Source #

monadConformsTo ∷ SnapShot → TypeSpec SnapShot → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec SnapShot → [SnapShot] → Specification SnapShot Source #

guardTypeSpec ∷ [String] → TypeSpec SnapShot → Specification SnapShot Source #

prerequisites ∷ Evidence (Prerequisites SnapShot) Source #

HasSpec SnapShots Source # 
Instance details

Associated Types

type TypeSpec SnapShots Source #

type Prerequisites SnapShots Source #

Methods

emptySpec ∷ TypeSpec SnapShots Source #

combineSpec ∷ TypeSpec SnapShots → TypeSpec SnapShots → Specification SnapShots Source #

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

conformsTo ∷ SnapShots → TypeSpec SnapShots → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec SnapShots → SnapShots → [SnapShots] Source #

toPreds ∷ Term SnapShots → TypeSpec SnapShots → Pred Source #

cardinalTypeSpec ∷ TypeSpec SnapShots → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec SnapShots → BinaryShow Source #

monadConformsTo ∷ SnapShots → TypeSpec SnapShots → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec SnapShots → [SnapShots] → Specification SnapShots Source #

guardTypeSpec ∷ [String] → TypeSpec SnapShots → Specification SnapShots Source #

prerequisites ∷ Evidence (Prerequisites SnapShots) Source #

HasSpec Stake Source # 
Instance details

Associated Types

type TypeSpec Stake Source #

type Prerequisites Stake Source #

Methods

emptySpec ∷ TypeSpec Stake Source #

combineSpec ∷ TypeSpec Stake → TypeSpec Stake → Specification Stake Source #

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

conformsTo ∷ Stake → TypeSpec Stake → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Stake → Stake → [Stake] Source #

toPreds ∷ Term Stake → TypeSpec Stake → Pred Source #

cardinalTypeSpec ∷ TypeSpec Stake → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Stake → BinaryShow Source #

monadConformsTo ∷ Stake → TypeSpec Stake → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Stake → [Stake] → Specification Stake Source #

guardTypeSpec ∷ [String] → TypeSpec Stake → Specification Stake Source #

prerequisites ∷ Evidence (Prerequisites Stake) Source #

HasSpec TxId Source # 
Instance details

Associated Types

type TypeSpec TxId Source #

type Prerequisites TxId Source #

Methods

emptySpec ∷ TypeSpec TxId Source #

combineSpec ∷ TypeSpec TxId → TypeSpec TxId → Specification TxId Source #

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

conformsTo ∷ TxId → TypeSpec TxId → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec TxId → TxId → [TxId] Source #

toPreds ∷ Term TxId → TypeSpec TxId → Pred Source #

cardinalTypeSpec ∷ TypeSpec TxId → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec TxId → BinaryShow Source #

monadConformsTo ∷ TxId → TypeSpec TxId → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec TxId → [TxId] → Specification TxId Source #

guardTypeSpec ∷ [String] → TypeSpec TxId → Specification TxId Source #

prerequisites ∷ Evidence (Prerequisites TxId) Source #

HasSpec TxIn Source # 
Instance details

Associated Types

type TypeSpec TxIn Source #

type Prerequisites TxIn Source #

Methods

emptySpec ∷ TypeSpec TxIn Source #

combineSpec ∷ TypeSpec TxIn → TypeSpec TxIn → Specification TxIn Source #

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

conformsTo ∷ TxIn → TypeSpec TxIn → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec TxIn → TxIn → [TxIn] Source #

toPreds ∷ Term TxIn → TypeSpec TxIn → Pred Source #

cardinalTypeSpec ∷ TypeSpec TxIn → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec TxIn → BinaryShow Source #

monadConformsTo ∷ TxIn → TypeSpec TxIn → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec TxIn → [TxIn] → Specification TxIn Source #

guardTypeSpec ∷ [String] → TypeSpec TxIn → Specification TxIn Source #

prerequisites ∷ Evidence (Prerequisites TxIn) Source #

HasSpec RDPair Source # 
Instance details

Associated Types

type TypeSpec RDPair Source #

type Prerequisites RDPair Source #

Methods

emptySpec ∷ TypeSpec RDPair Source #

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

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

conformsTo ∷ RDPair → TypeSpec RDPair → Bool Source #

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

toPreds ∷ Term RDPair → TypeSpec RDPair → Pred Source #

cardinalTypeSpec ∷ TypeSpec RDPair → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec RDPair → BinaryShow Source #

monadConformsTo ∷ RDPair → TypeSpec RDPair → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec RDPair → Specification RDPair Source #

prerequisites ∷ Evidence (Prerequisites RDPair) Source #

HasSpec UMap Source # 
Instance details

Associated Types

type TypeSpec UMap Source #

type Prerequisites UMap Source #

Methods

emptySpec ∷ TypeSpec UMap Source #

combineSpec ∷ TypeSpec UMap → TypeSpec UMap → Specification UMap Source #

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

conformsTo ∷ UMap → TypeSpec UMap → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec UMap → UMap → [UMap] Source #

toPreds ∷ Term UMap → TypeSpec UMap → Pred Source #

cardinalTypeSpec ∷ TypeSpec UMap → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec UMap → BinaryShow Source #

monadConformsTo ∷ UMap → TypeSpec UMap → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec UMap → [UMap] → Specification UMap Source #

guardTypeSpec ∷ [String] → TypeSpec UMap → Specification UMap Source #

prerequisites ∷ Evidence (Prerequisites UMap) Source #

HasSpec AssetName Source # 
Instance details

Associated Types

type TypeSpec AssetName Source #

type Prerequisites AssetName Source #

Methods

emptySpec ∷ TypeSpec AssetName Source #

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

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

conformsTo ∷ AssetName → TypeSpec AssetName → Bool Source #

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

toPreds ∷ Term AssetName → TypeSpec AssetName → Pred Source #

cardinalTypeSpec ∷ TypeSpec AssetName → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec AssetName → BinaryShow Source #

monadConformsTo ∷ AssetName → TypeSpec AssetName → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec AssetName → Specification AssetName Source #

prerequisites ∷ Evidence (Prerequisites AssetName) Source #

HasSpec MaryValue Source # 
Instance details

Associated Types

type TypeSpec MaryValue Source #

type Prerequisites MaryValue Source #

Methods

emptySpec ∷ TypeSpec MaryValue Source #

combineSpec ∷ TypeSpec MaryValue → TypeSpec MaryValue → Specification MaryValue Source #

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

conformsTo ∷ MaryValue → TypeSpec MaryValue → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec MaryValue → MaryValue → [MaryValue] Source #

toPreds ∷ Term MaryValue → TypeSpec MaryValue → Pred Source #

cardinalTypeSpec ∷ TypeSpec MaryValue → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec MaryValue → BinaryShow Source #

monadConformsTo ∷ MaryValue → TypeSpec MaryValue → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec MaryValue → [MaryValue] → Specification MaryValue Source #

guardTypeSpec ∷ [String] → TypeSpec MaryValue → Specification MaryValue Source #

prerequisites ∷ Evidence (Prerequisites MaryValue) Source #

HasSpec MultiAsset Source # 
Instance details

Associated Types

type TypeSpec MultiAsset Source #

type Prerequisites MultiAsset Source #

Methods

emptySpec ∷ TypeSpec MultiAsset Source #

combineSpec ∷ TypeSpec MultiAsset → TypeSpec MultiAsset → Specification MultiAsset Source #

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

conformsTo ∷ MultiAsset → TypeSpec MultiAsset → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec MultiAsset → MultiAsset → [MultiAsset] Source #

toPreds ∷ Term MultiAsset → TypeSpec MultiAsset → Pred Source #

cardinalTypeSpec ∷ TypeSpec MultiAsset → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec MultiAsset → BinaryShow Source #

monadConformsTo ∷ MultiAsset → TypeSpec MultiAsset → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec MultiAsset → [MultiAsset] → Specification MultiAsset Source #

guardTypeSpec ∷ [String] → TypeSpec MultiAsset → Specification MultiAsset Source #

prerequisites ∷ Evidence (Prerequisites MultiAsset) Source #

HasSpec PolicyID Source # 
Instance details

Associated Types

type TypeSpec PolicyID Source #

type Prerequisites PolicyID Source #

Methods

emptySpec ∷ TypeSpec PolicyID Source #

combineSpec ∷ TypeSpec PolicyID → TypeSpec PolicyID → Specification PolicyID Source #

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

conformsTo ∷ PolicyID → TypeSpec PolicyID → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec PolicyID → PolicyID → [PolicyID] Source #

toPreds ∷ Term PolicyID → TypeSpec PolicyID → Pred Source #

cardinalTypeSpec ∷ TypeSpec PolicyID → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec PolicyID → BinaryShow Source #

monadConformsTo ∷ PolicyID → TypeSpec PolicyID → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec PolicyID → [PolicyID] → Specification PolicyID Source #

guardTypeSpec ∷ [String] → TypeSpec PolicyID → Specification PolicyID Source #

prerequisites ∷ Evidence (Prerequisites PolicyID) Source #

HasSpec Likelihood Source # 
Instance details

Associated Types

type TypeSpec Likelihood Source #

type Prerequisites Likelihood Source #

Methods

emptySpec ∷ TypeSpec Likelihood Source #

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

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

conformsTo ∷ Likelihood → TypeSpec Likelihood → Bool Source #

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

toPreds ∷ Term Likelihood → TypeSpec Likelihood → Pred Source #

cardinalTypeSpec ∷ TypeSpec Likelihood → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Likelihood → BinaryShow Source #

monadConformsTo ∷ Likelihood → TypeSpec Likelihood → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Likelihood → Specification Likelihood Source #

prerequisites ∷ Evidence (Prerequisites Likelihood) Source #

HasSpec LogWeight Source # 
Instance details

Associated Types

type TypeSpec LogWeight Source #

type Prerequisites LogWeight Source #

Methods

emptySpec ∷ TypeSpec LogWeight Source #

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

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

conformsTo ∷ LogWeight → TypeSpec LogWeight → Bool Source #

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

toPreds ∷ Term LogWeight → TypeSpec LogWeight → Pred Source #

cardinalTypeSpec ∷ TypeSpec LogWeight → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec LogWeight → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec LogWeight → Specification LogWeight Source #

prerequisites ∷ Evidence (Prerequisites LogWeight) Source #

HasSpec NonMyopic Source # 
Instance details

Associated Types

type TypeSpec NonMyopic Source #

type Prerequisites NonMyopic Source #

Methods

emptySpec ∷ TypeSpec NonMyopic Source #

combineSpec ∷ TypeSpec NonMyopic → TypeSpec NonMyopic → Specification NonMyopic Source #

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

conformsTo ∷ NonMyopic → TypeSpec NonMyopic → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec NonMyopic → NonMyopic → [NonMyopic] Source #

toPreds ∷ Term NonMyopic → TypeSpec NonMyopic → Pred Source #

cardinalTypeSpec ∷ TypeSpec NonMyopic → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec NonMyopic → BinaryShow Source #

monadConformsTo ∷ NonMyopic → TypeSpec NonMyopic → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec NonMyopic → [NonMyopic] → Specification NonMyopic Source #

guardTypeSpec ∷ [String] → TypeSpec NonMyopic → Specification NonMyopic Source #

prerequisites ∷ Evidence (Prerequisites NonMyopic) Source #

HasSpec FreeVars Source # 
Instance details

Associated Types

type TypeSpec FreeVars Source #

type Prerequisites FreeVars Source #

Methods

emptySpec ∷ TypeSpec FreeVars Source #

combineSpec ∷ TypeSpec FreeVars → TypeSpec FreeVars → Specification FreeVars Source #

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

conformsTo ∷ FreeVars → TypeSpec FreeVars → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec FreeVars → FreeVars → [FreeVars] Source #

toPreds ∷ Term FreeVars → TypeSpec FreeVars → Pred Source #

cardinalTypeSpec ∷ TypeSpec FreeVars → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec FreeVars → BinaryShow Source #

monadConformsTo ∷ FreeVars → TypeSpec FreeVars → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec FreeVars → [FreeVars] → Specification FreeVars Source #

guardTypeSpec ∷ [String] → TypeSpec FreeVars → Specification FreeVars Source #

prerequisites ∷ Evidence (Prerequisites FreeVars) Source #

HasSpec Pulser Source # 
Instance details

Associated Types

type TypeSpec Pulser Source #

type Prerequisites Pulser Source #

Methods

emptySpec ∷ TypeSpec Pulser Source #

combineSpec ∷ TypeSpec Pulser → TypeSpec Pulser → Specification Pulser Source #

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

conformsTo ∷ Pulser → TypeSpec Pulser → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec Pulser → Pulser → [Pulser] Source #

toPreds ∷ Term Pulser → TypeSpec Pulser → Pred Source #

cardinalTypeSpec ∷ TypeSpec Pulser → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Pulser → BinaryShow Source #

monadConformsTo ∷ Pulser → TypeSpec Pulser → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec Pulser → [Pulser] → Specification Pulser Source #

guardTypeSpec ∷ [String] → TypeSpec Pulser → Specification Pulser Source #

prerequisites ∷ Evidence (Prerequisites Pulser) Source #

HasSpec PulsingRewUpdate Source # 
Instance details

Associated Types

type TypeSpec PulsingRewUpdate Source #

type Prerequisites PulsingRewUpdate Source #

Methods

emptySpec ∷ TypeSpec PulsingRewUpdate Source #

combineSpec ∷ TypeSpec PulsingRewUpdate → TypeSpec PulsingRewUpdate → Specification PulsingRewUpdate Source #

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

conformsTo ∷ PulsingRewUpdate → TypeSpec PulsingRewUpdate → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec PulsingRewUpdate → PulsingRewUpdate → [PulsingRewUpdate] Source #

toPreds ∷ Term PulsingRewUpdate → TypeSpec PulsingRewUpdate → Pred Source #

cardinalTypeSpec ∷ TypeSpec PulsingRewUpdate → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec PulsingRewUpdate → BinaryShow Source #

monadConformsTo ∷ PulsingRewUpdate → TypeSpec PulsingRewUpdate → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec PulsingRewUpdate → [PulsingRewUpdate] → Specification PulsingRewUpdate Source #

guardTypeSpec ∷ [String] → TypeSpec PulsingRewUpdate → Specification PulsingRewUpdate Source #

prerequisites ∷ Evidence (Prerequisites PulsingRewUpdate) Source #

HasSpec RewardAns Source # 
Instance details

Associated Types

type TypeSpec RewardAns Source #

type Prerequisites RewardAns Source #

Methods

emptySpec ∷ TypeSpec RewardAns Source #

combineSpec ∷ TypeSpec RewardAns → TypeSpec RewardAns → Specification RewardAns Source #

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

conformsTo ∷ RewardAns → TypeSpec RewardAns → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec RewardAns → RewardAns → [RewardAns] Source #

toPreds ∷ Term RewardAns → TypeSpec RewardAns → Pred Source #

cardinalTypeSpec ∷ TypeSpec RewardAns → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec RewardAns → BinaryShow Source #

monadConformsTo ∷ RewardAns → TypeSpec RewardAns → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec RewardAns → [RewardAns] → Specification RewardAns Source #

guardTypeSpec ∷ [String] → TypeSpec RewardAns → Specification RewardAns Source #

prerequisites ∷ Evidence (Prerequisites RewardAns) Source #

HasSpec RewardSnapShot Source # 
Instance details

Associated Types

type TypeSpec RewardSnapShot Source #

type Prerequisites RewardSnapShot Source #

Methods

emptySpec ∷ TypeSpec RewardSnapShot Source #

combineSpec ∷ TypeSpec RewardSnapShot → TypeSpec RewardSnapShot → Specification RewardSnapShot Source #

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

conformsTo ∷ RewardSnapShot → TypeSpec RewardSnapShot → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec RewardSnapShot → RewardSnapShot → [RewardSnapShot] Source #

toPreds ∷ Term RewardSnapShot → TypeSpec RewardSnapShot → Pred Source #

cardinalTypeSpec ∷ TypeSpec RewardSnapShot → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec RewardSnapShot → BinaryShow Source #

monadConformsTo ∷ RewardSnapShot → TypeSpec RewardSnapShot → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec RewardSnapShot → [RewardSnapShot] → Specification RewardSnapShot Source #

guardTypeSpec ∷ [String] → TypeSpec RewardSnapShot → Specification RewardSnapShot Source #

prerequisites ∷ Evidence (Prerequisites RewardSnapShot) Source #

HasSpec RewardUpdate Source # 
Instance details

Associated Types

type TypeSpec RewardUpdate Source #

type Prerequisites RewardUpdate Source #

Methods

emptySpec ∷ TypeSpec RewardUpdate Source #

combineSpec ∷ TypeSpec RewardUpdate → TypeSpec RewardUpdate → Specification RewardUpdate Source #

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

conformsTo ∷ RewardUpdate → TypeSpec RewardUpdate → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec RewardUpdate → RewardUpdate → [RewardUpdate] Source #

toPreds ∷ Term RewardUpdate → TypeSpec RewardUpdate → Pred Source #

cardinalTypeSpec ∷ TypeSpec RewardUpdate → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec RewardUpdate → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec RewardUpdate → BinaryShow Source #

monadConformsTo ∷ RewardUpdate → TypeSpec RewardUpdate → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec RewardUpdate → [RewardUpdate] → Specification RewardUpdate Source #

guardTypeSpec ∷ [String] → TypeSpec RewardUpdate → Specification RewardUpdate Source #

prerequisites ∷ Evidence (Prerequisites RewardUpdate) Source #

HasSpec LeaderOnlyReward Source # 
Instance details

Associated Types

type TypeSpec LeaderOnlyReward Source #

type Prerequisites LeaderOnlyReward Source #

Methods

emptySpec ∷ TypeSpec LeaderOnlyReward Source #

combineSpec ∷ TypeSpec LeaderOnlyReward → TypeSpec LeaderOnlyReward → Specification LeaderOnlyReward Source #

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

conformsTo ∷ LeaderOnlyReward → TypeSpec LeaderOnlyReward → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec LeaderOnlyReward → LeaderOnlyReward → [LeaderOnlyReward] Source #

toPreds ∷ Term LeaderOnlyReward → TypeSpec LeaderOnlyReward → Pred Source #

cardinalTypeSpec ∷ TypeSpec LeaderOnlyReward → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec LeaderOnlyReward → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec LeaderOnlyReward → BinaryShow Source #

monadConformsTo ∷ LeaderOnlyReward → TypeSpec LeaderOnlyReward → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec LeaderOnlyReward → [LeaderOnlyReward] → Specification LeaderOnlyReward Source #

guardTypeSpec ∷ [String] → TypeSpec LeaderOnlyReward → Specification LeaderOnlyReward Source #

prerequisites ∷ Evidence (Prerequisites LeaderOnlyReward) Source #

HasSpec PoolRewardInfo Source # 
Instance details

Associated Types

type TypeSpec PoolRewardInfo Source #

type Prerequisites PoolRewardInfo Source #

Methods

emptySpec ∷ TypeSpec PoolRewardInfo Source #

combineSpec ∷ TypeSpec PoolRewardInfo → TypeSpec PoolRewardInfo → Specification PoolRewardInfo Source #

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

conformsTo ∷ PoolRewardInfo → TypeSpec PoolRewardInfo → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec PoolRewardInfo → PoolRewardInfo → [PoolRewardInfo] Source #

toPreds ∷ Term PoolRewardInfo → TypeSpec PoolRewardInfo → Pred Source #

cardinalTypeSpec ∷ TypeSpec PoolRewardInfo → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec PoolRewardInfo → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec PoolRewardInfo → BinaryShow Source #

monadConformsTo ∷ PoolRewardInfo → TypeSpec PoolRewardInfo → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec PoolRewardInfo → [PoolRewardInfo] → Specification PoolRewardInfo Source #

guardTypeSpec ∷ [String] → TypeSpec PoolRewardInfo → Specification PoolRewardInfo Source #

prerequisites ∷ Evidence (Prerequisites PoolRewardInfo) Source #

HasSpec StakeShare Source # 
Instance details

Associated Types

type TypeSpec StakeShare Source #

type Prerequisites StakeShare Source #

Methods

emptySpec ∷ TypeSpec StakeShare Source #

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

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

conformsTo ∷ StakeShare → TypeSpec StakeShare → Bool Source #

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

toPreds ∷ Term StakeShare → TypeSpec StakeShare → Pred Source #

cardinalTypeSpec ∷ TypeSpec StakeShare → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec StakeShare → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec StakeShare → Specification StakeShare Source #

prerequisites ∷ Evidence (Prerequisites StakeShare) Source #

HasSpec GenesisDelegCert Source # 
Instance details

Associated Types

type TypeSpec GenesisDelegCert Source #

type Prerequisites GenesisDelegCert Source #

Methods

emptySpec ∷ TypeSpec GenesisDelegCert Source #

combineSpec ∷ TypeSpec GenesisDelegCert → TypeSpec GenesisDelegCert → Specification GenesisDelegCert Source #

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

conformsTo ∷ GenesisDelegCert → TypeSpec GenesisDelegCert → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec GenesisDelegCert → GenesisDelegCert → [GenesisDelegCert] Source #

toPreds ∷ Term GenesisDelegCert → TypeSpec GenesisDelegCert → Pred Source #

cardinalTypeSpec ∷ TypeSpec GenesisDelegCert → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec GenesisDelegCert → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec GenesisDelegCert → BinaryShow Source #

monadConformsTo ∷ GenesisDelegCert → TypeSpec GenesisDelegCert → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec GenesisDelegCert → [GenesisDelegCert] → Specification GenesisDelegCert Source #

guardTypeSpec ∷ [String] → TypeSpec GenesisDelegCert → Specification GenesisDelegCert Source #

prerequisites ∷ Evidence (Prerequisites GenesisDelegCert) Source #

HasSpec MIRCert Source # 
Instance details

Associated Types

type TypeSpec MIRCert Source #

type Prerequisites MIRCert Source #

Methods

emptySpec ∷ TypeSpec MIRCert Source #

combineSpec ∷ TypeSpec MIRCert → TypeSpec MIRCert → Specification MIRCert Source #

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

conformsTo ∷ MIRCert → TypeSpec MIRCert → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec MIRCert → MIRCert → [MIRCert] Source #

toPreds ∷ Term MIRCert → TypeSpec MIRCert → Pred Source #

cardinalTypeSpec ∷ TypeSpec MIRCert → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec MIRCert → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec MIRCert → BinaryShow Source #

monadConformsTo ∷ MIRCert → TypeSpec MIRCert → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec MIRCert → [MIRCert] → Specification MIRCert Source #

guardTypeSpec ∷ [String] → TypeSpec MIRCert → Specification MIRCert Source #

prerequisites ∷ Evidence (Prerequisites MIRCert) Source #

HasSpec MIRPot Source # 
Instance details

Associated Types

type TypeSpec MIRPot Source #

type Prerequisites MIRPot Source #

Methods

emptySpec ∷ TypeSpec MIRPot Source #

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

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

conformsTo ∷ MIRPot → TypeSpec MIRPot → Bool Source #

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

toPreds ∷ Term MIRPot → TypeSpec MIRPot → Pred Source #

cardinalTypeSpec ∷ TypeSpec MIRPot → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec MIRPot → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec MIRPot → Specification MIRPot Source #

prerequisites ∷ Evidence (Prerequisites MIRPot) Source #

HasSpec MIRTarget Source # 
Instance details

Associated Types

type TypeSpec MIRTarget Source #

type Prerequisites MIRTarget Source #

Methods

emptySpec ∷ TypeSpec MIRTarget Source #

combineSpec ∷ TypeSpec MIRTarget → TypeSpec MIRTarget → Specification MIRTarget Source #

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

conformsTo ∷ MIRTarget → TypeSpec MIRTarget → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec MIRTarget → MIRTarget → [MIRTarget] Source #

toPreds ∷ Term MIRTarget → TypeSpec MIRTarget → Pred Source #

cardinalTypeSpec ∷ TypeSpec MIRTarget → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec MIRTarget → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec MIRTarget → BinaryShow Source #

monadConformsTo ∷ MIRTarget → TypeSpec MIRTarget → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec MIRTarget → [MIRTarget] → Specification MIRTarget Source #

guardTypeSpec ∷ [String] → TypeSpec MIRTarget → Specification MIRTarget Source #

prerequisites ∷ Evidence (Prerequisites MIRTarget) Source #

HasSpec ShelleyDelegCert Source # 
Instance details

Associated Types

type TypeSpec ShelleyDelegCert Source #

type Prerequisites ShelleyDelegCert Source #

Methods

emptySpec ∷ TypeSpec ShelleyDelegCert Source #

combineSpec ∷ TypeSpec ShelleyDelegCert → TypeSpec ShelleyDelegCert → Specification ShelleyDelegCert Source #

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

conformsTo ∷ ShelleyDelegCert → TypeSpec ShelleyDelegCert → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec ShelleyDelegCert → ShelleyDelegCert → [ShelleyDelegCert] Source #

toPreds ∷ Term ShelleyDelegCert → TypeSpec ShelleyDelegCert → Pred Source #

cardinalTypeSpec ∷ TypeSpec ShelleyDelegCert → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec ShelleyDelegCert → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec ShelleyDelegCert → BinaryShow Source #

monadConformsTo ∷ ShelleyDelegCert → TypeSpec ShelleyDelegCert → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec ShelleyDelegCert → [ShelleyDelegCert] → Specification ShelleyDelegCert Source #

guardTypeSpec ∷ [String] → TypeSpec ShelleyDelegCert → Specification ShelleyDelegCert Source #

prerequisites ∷ Evidence (Prerequisites ShelleyDelegCert) Source #

HasSpec EpochNo Source # 
Instance details

Associated Types

type TypeSpec EpochNo Source #

type Prerequisites EpochNo Source #

Methods

emptySpec ∷ TypeSpec EpochNo Source #

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

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

conformsTo ∷ EpochNo → TypeSpec EpochNo → Bool Source #

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

toPreds ∷ Term EpochNo → TypeSpec EpochNo → Pred Source #

cardinalTypeSpec ∷ TypeSpec EpochNo → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec EpochNo → BinaryShow Source #

monadConformsTo ∷ EpochNo → TypeSpec EpochNo → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec EpochNo → Specification EpochNo Source #

prerequisites ∷ Evidence (Prerequisites EpochNo) Source #

HasSpec SlotNo Source # 
Instance details

Associated Types

type TypeSpec SlotNo Source #

type Prerequisites SlotNo Source #

Methods

emptySpec ∷ TypeSpec SlotNo Source #

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

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

conformsTo ∷ SlotNo → TypeSpec SlotNo → Bool Source #

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

toPreds ∷ Term SlotNo → TypeSpec SlotNo → Pred Source #

cardinalTypeSpec ∷ TypeSpec SlotNo → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec SlotNo → BinaryShow Source #

monadConformsTo ∷ SlotNo → TypeSpec SlotNo → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec SlotNo → Specification SlotNo Source #

prerequisites ∷ Evidence (Prerequisites SlotNo) Source #

HasSpec Data Source # 
Instance details

Associated Types

type TypeSpec Data Source #

type Prerequisites Data Source #

Methods

emptySpec ∷ TypeSpec Data Source #

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

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

conformsTo ∷ Data → TypeSpec Data → Bool Source #

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

toPreds ∷ Term Data → TypeSpec Data → Pred Source #

cardinalTypeSpec ∷ TypeSpec Data → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Data → BinaryShow Source #

monadConformsTo ∷ Data → TypeSpec Data → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Data → Specification Data Source #

prerequisites ∷ Evidence (Prerequisites Data) Source #

HasSpec Text Source # 
Instance details

Associated Types

type TypeSpec Text Source #

type Prerequisites Text Source #

Methods

emptySpec ∷ TypeSpec Text Source #

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

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

conformsTo ∷ Text → TypeSpec Text → Bool Source #

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

toPreds ∷ Term Text → TypeSpec Text → Pred Source #

cardinalTypeSpec ∷ TypeSpec Text → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Text → BinaryShow Source #

monadConformsTo ∷ Text → TypeSpec Text → Writer [String] Bool Source #

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

guardTypeSpec ∷ [String] → TypeSpec Text → Specification Text Source #

prerequisites ∷ Evidence (Prerequisites Text) Source #

HasSpec Char Source # 
Instance details

Associated Types

type TypeSpec Char Source #

type Prerequisites Char Source #

Methods

emptySpec ∷ TypeSpec Char Source #

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

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

conformsTo ∷ Char → TypeSpec Char → Bool Source #

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

toPreds ∷ Term Char → TypeSpec Char → Pred Source #

cardinalTypeSpec ∷ TypeSpec Char → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec Char → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec Char → Specification Char Source #

prerequisites ∷ Evidence (Prerequisites Char) 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 GovActionId Source # 
Instance details

Associated Types

type SimpleRep GovActionId Source #

type TheSop GovActionId ∷ [Type] Source #

Methods

toSimpleRep ∷ GovActionId → SimpleRep GovActionId Source #

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

Associated Types

type SimpleRep Voter Source #

type TheSop Voter ∷ [Type] Source #

Methods

toSimpleRep ∷ Voter → SimpleRep Voter Source #

fromSimpleRep ∷ SimpleRep Voter → Voter Source #

HasSimpleRep ConwayDelegCert Source # 
Instance details

Associated Types

type SimpleRep ConwayDelegCert Source #

type TheSop ConwayDelegCert ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayDelegCert → SimpleRep ConwayDelegCert Source #

fromSimpleRep ∷ SimpleRep ConwayDelegCert → ConwayDelegCert Source #

HasSimpleRep ConwayGovCert Source # 
Instance details

Associated Types

type SimpleRep ConwayGovCert Source #

type TheSop ConwayGovCert ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayGovCert → SimpleRep ConwayGovCert Source #

fromSimpleRep ∷ SimpleRep ConwayGovCert → ConwayGovCert Source #

HasSimpleRep Delegatee Source # 
Instance details

Associated Types

type SimpleRep Delegatee Source #

type TheSop Delegatee ∷ [Type] Source #

Methods

toSimpleRep ∷ Delegatee → SimpleRep Delegatee Source #

fromSimpleRep ∷ SimpleRep Delegatee → Delegatee Source #

HasSimpleRep Addr Source # 
Instance details

Associated Types

type SimpleRep Addr Source #

type TheSop Addr ∷ [Type] Source #

Methods

toSimpleRep ∷ Addr → SimpleRep Addr Source #

fromSimpleRep ∷ SimpleRep Addr → Addr Source #

HasSimpleRep BootstrapAddress Source # 
Instance details

Associated Types

type SimpleRep BootstrapAddress Source #

type TheSop BootstrapAddress ∷ [Type] Source #

Methods

toSimpleRep ∷ BootstrapAddress → SimpleRep BootstrapAddress Source #

fromSimpleRep ∷ SimpleRep BootstrapAddress → BootstrapAddress Source #

HasSimpleRep CompactAddr Source # 
Instance details

Associated Types

type SimpleRep CompactAddr Source #

type TheSop CompactAddr ∷ [Type] Source #

Methods

toSimpleRep ∷ CompactAddr → SimpleRep CompactAddr Source #

fromSimpleRep ∷ SimpleRep CompactAddr → CompactAddr Source #

HasSimpleRep RewardAccount Source # 
Instance details

Associated Types

type SimpleRep RewardAccount Source #

type TheSop RewardAccount ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardAccount → SimpleRep RewardAccount Source #

fromSimpleRep ∷ SimpleRep RewardAccount → RewardAccount Source #

HasSimpleRep Withdrawals Source # 
Instance details

Associated Types

type SimpleRep Withdrawals Source #

type TheSop Withdrawals ∷ [Type] Source #

Methods

toSimpleRep ∷ Withdrawals → SimpleRep Withdrawals Source #

fromSimpleRep ∷ SimpleRep Withdrawals → Withdrawals Source #

HasSimpleRep Anchor Source # 
Instance details

Associated Types

type SimpleRep Anchor Source #

type TheSop Anchor ∷ [Type] Source #

Methods

toSimpleRep ∷ Anchor → SimpleRep Anchor Source #

fromSimpleRep ∷ SimpleRep Anchor → Anchor Source #

HasSimpleRep BlocksMade Source # 
Instance details

Associated Types

type SimpleRep BlocksMade Source #

type TheSop BlocksMade ∷ [Type] Source #

Methods

toSimpleRep ∷ BlocksMade → SimpleRep BlocksMade Source #

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

Associated Types

type SimpleRep PoolCert Source #

type TheSop PoolCert ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolCert → SimpleRep PoolCert Source #

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

Associated Types

type SimpleRep SlotNo32 Source #

type TheSop SlotNo32 ∷ [Type] Source #

Methods

toSimpleRep ∷ SlotNo32 → SimpleRep SlotNo32 Source #

fromSimpleRep ∷ SimpleRep SlotNo32 → SlotNo32 Source #

HasSimpleRep StakeReference Source # 
Instance details

Associated Types

type SimpleRep StakeReference Source #

type TheSop StakeReference ∷ [Type] Source #

Methods

toSimpleRep ∷ StakeReference → SimpleRep StakeReference Source #

fromSimpleRep ∷ SimpleRep StakeReference → StakeReference Source #

HasSimpleRep DRep Source # 
Instance details

Associated Types

type SimpleRep DRep Source #

type TheSop DRep ∷ [Type] Source #

Methods

toSimpleRep ∷ DRep → SimpleRep DRep Source #

fromSimpleRep ∷ SimpleRep DRep → DRep Source #

HasSimpleRep DRepState Source # 
Instance details

Associated Types

type SimpleRep DRepState Source #

type TheSop DRepState ∷ [Type] Source #

Methods

toSimpleRep ∷ DRepState → SimpleRep DRepState Source #

fromSimpleRep ∷ SimpleRep DRepState → DRepState Source #

HasSimpleRep GenDelegPair Source # 
Instance details

Associated Types

type SimpleRep GenDelegPair Source #

type TheSop GenDelegPair ∷ [Type] Source #

Methods

toSimpleRep ∷ GenDelegPair → SimpleRep GenDelegPair Source #

fromSimpleRep ∷ SimpleRep GenDelegPair → GenDelegPair Source #

HasSimpleRep GenDelegs Source # 
Instance details

Associated Types

type SimpleRep GenDelegs Source #

type TheSop GenDelegs ∷ [Type] Source #

Methods

toSimpleRep ∷ GenDelegs → SimpleRep GenDelegs Source #

fromSimpleRep ∷ SimpleRep GenDelegs → GenDelegs Source #

HasSimpleRep ScriptHash Source # 
Instance details

Associated Types

type SimpleRep ScriptHash Source #

type TheSop ScriptHash ∷ [Type] Source #

Methods

toSimpleRep ∷ ScriptHash → SimpleRep ScriptHash Source #

fromSimpleRep ∷ SimpleRep ScriptHash → ScriptHash Source #

HasSimpleRep TxAuxDataHash Source # 
Instance details

Associated Types

type SimpleRep TxAuxDataHash Source #

type TheSop TxAuxDataHash ∷ [Type] Source #

Methods

toSimpleRep ∷ TxAuxDataHash → SimpleRep TxAuxDataHash Source #

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

Associated Types

type SimpleRep PoolParams Source #

type TheSop PoolParams ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolParams → SimpleRep PoolParams Source #

fromSimpleRep ∷ SimpleRep PoolParams → PoolParams Source #

HasSimpleRep Reward Source # 
Instance details

Associated Types

type SimpleRep Reward Source #

type TheSop Reward ∷ [Type] Source #

Methods

toSimpleRep ∷ Reward → SimpleRep Reward Source #

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

Associated Types

type SimpleRep CommitteeAuthorization Source #

type TheSop CommitteeAuthorization ∷ [Type] Source #

Methods

toSimpleRep ∷ CommitteeAuthorization → SimpleRep CommitteeAuthorization Source #

fromSimpleRep ∷ SimpleRep CommitteeAuthorization → CommitteeAuthorization Source #

HasSimpleRep FutureGenDeleg Source # 
Instance details

Associated Types

type SimpleRep FutureGenDeleg Source #

type TheSop FutureGenDeleg ∷ [Type] Source #

Methods

toSimpleRep ∷ FutureGenDeleg → SimpleRep FutureGenDeleg Source #

fromSimpleRep ∷ SimpleRep FutureGenDeleg → FutureGenDeleg Source #

HasSimpleRep InstantaneousRewards Source # 
Instance details

Associated Types

type SimpleRep InstantaneousRewards Source #

type TheSop InstantaneousRewards ∷ [Type] Source #

Methods

toSimpleRep ∷ InstantaneousRewards → SimpleRep InstantaneousRewards Source #

fromSimpleRep ∷ SimpleRep InstantaneousRewards → InstantaneousRewards Source #

HasSimpleRep ChainAccountState Source # 
Instance details

Associated Types

type SimpleRep ChainAccountState Source #

type TheSop ChainAccountState ∷ [Type] Source #

Methods

toSimpleRep ∷ ChainAccountState → SimpleRep ChainAccountState Source #

fromSimpleRep ∷ SimpleRep ChainAccountState → ChainAccountState Source #

HasSimpleRep IndividualPoolStake Source # 
Instance details

Associated Types

type SimpleRep IndividualPoolStake Source #

type TheSop IndividualPoolStake ∷ [Type] Source #

Methods

toSimpleRep ∷ IndividualPoolStake → SimpleRep IndividualPoolStake Source #

fromSimpleRep ∷ SimpleRep IndividualPoolStake → IndividualPoolStake Source #

HasSimpleRep PoolDistr Source # 
Instance details

Associated Types

type SimpleRep PoolDistr Source #

type TheSop PoolDistr ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolDistr → SimpleRep PoolDistr Source #

fromSimpleRep ∷ SimpleRep PoolDistr → PoolDistr Source #

HasSimpleRep SnapShot Source # 
Instance details

Associated Types

type SimpleRep SnapShot Source #

type TheSop SnapShot ∷ [Type] Source #

Methods

toSimpleRep ∷ SnapShot → SimpleRep SnapShot Source #

fromSimpleRep ∷ SimpleRep SnapShot → SnapShot Source #

HasSimpleRep SnapShots Source # 
Instance details

Associated Types

type SimpleRep SnapShots Source #

type TheSop SnapShots ∷ [Type] Source #

Methods

toSimpleRep ∷ SnapShots → SimpleRep SnapShots Source #

fromSimpleRep ∷ SimpleRep SnapShots → SnapShots Source #

HasSimpleRep Stake Source # 
Instance details

Associated Types

type SimpleRep Stake Source #

type TheSop Stake ∷ [Type] Source #

Methods

toSimpleRep ∷ Stake → SimpleRep Stake Source #

fromSimpleRep ∷ SimpleRep Stake → Stake Source #

HasSimpleRep TxId Source # 
Instance details

Associated Types

type SimpleRep TxId Source #

type TheSop TxId ∷ [Type] Source #

Methods

toSimpleRep ∷ TxId → SimpleRep TxId Source #

fromSimpleRep ∷ SimpleRep TxId → TxId Source #

HasSimpleRep TxIn Source # 
Instance details

Associated Types

type SimpleRep TxIn Source #

type TheSop TxIn ∷ [Type] Source #

Methods

toSimpleRep ∷ TxIn → SimpleRep TxIn Source #

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

Associated Types

type SimpleRep UMap Source #

type TheSop UMap ∷ [Type] Source #

Methods

toSimpleRep ∷ UMap → SimpleRep UMap Source #

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

Associated Types

type SimpleRep MaryValue Source #

type TheSop MaryValue ∷ [Type] Source #

Methods

toSimpleRep ∷ MaryValue → SimpleRep MaryValue Source #

fromSimpleRep ∷ SimpleRep MaryValue → MaryValue Source #

HasSimpleRep MultiAsset Source # 
Instance details

Associated Types

type SimpleRep MultiAsset Source #

type TheSop MultiAsset ∷ [Type] Source #

Methods

toSimpleRep ∷ MultiAsset → SimpleRep MultiAsset Source #

fromSimpleRep ∷ SimpleRep MultiAsset → MultiAsset Source #

HasSimpleRep PolicyID Source # 
Instance details

Associated Types

type SimpleRep PolicyID Source #

type TheSop PolicyID ∷ [Type] Source #

Methods

toSimpleRep ∷ PolicyID → SimpleRep PolicyID Source #

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

Associated Types

type SimpleRep NonMyopic Source #

type TheSop NonMyopic ∷ [Type] Source #

Methods

toSimpleRep ∷ NonMyopic → SimpleRep NonMyopic Source #

fromSimpleRep ∷ SimpleRep NonMyopic → NonMyopic Source #

HasSimpleRep FreeVars Source # 
Instance details

Associated Types

type SimpleRep FreeVars Source #

type TheSop FreeVars ∷ [Type] Source #

Methods

toSimpleRep ∷ FreeVars → SimpleRep FreeVars Source #

fromSimpleRep ∷ SimpleRep FreeVars → FreeVars Source #

HasSimpleRep Pulser Source # 
Instance details

Associated Types

type SimpleRep Pulser Source #

type TheSop Pulser ∷ [Type] Source #

Methods

toSimpleRep ∷ Pulser → SimpleRep Pulser Source #

fromSimpleRep ∷ SimpleRep Pulser → Pulser Source #

HasSimpleRep PulsingRewUpdate Source # 
Instance details

Associated Types

type SimpleRep PulsingRewUpdate Source #

type TheSop PulsingRewUpdate ∷ [Type] Source #

Methods

toSimpleRep ∷ PulsingRewUpdate → SimpleRep PulsingRewUpdate Source #

fromSimpleRep ∷ SimpleRep PulsingRewUpdate → PulsingRewUpdate Source #

HasSimpleRep RewardAns Source # 
Instance details

Associated Types

type SimpleRep RewardAns Source #

type TheSop RewardAns ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardAns → SimpleRep RewardAns Source #

fromSimpleRep ∷ SimpleRep RewardAns → RewardAns Source #

HasSimpleRep RewardSnapShot Source # 
Instance details

Associated Types

type SimpleRep RewardSnapShot Source #

type TheSop RewardSnapShot ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardSnapShot → SimpleRep RewardSnapShot Source #

fromSimpleRep ∷ SimpleRep RewardSnapShot → RewardSnapShot Source #

HasSimpleRep RewardUpdate Source # 
Instance details

Associated Types

type SimpleRep RewardUpdate Source #

type TheSop RewardUpdate ∷ [Type] Source #

Methods

toSimpleRep ∷ RewardUpdate → SimpleRep RewardUpdate Source #

fromSimpleRep ∷ SimpleRep RewardUpdate → RewardUpdate Source #

HasSimpleRep LeaderOnlyReward Source # 
Instance details

Associated Types

type SimpleRep LeaderOnlyReward Source #

type TheSop LeaderOnlyReward ∷ [Type] Source #

Methods

toSimpleRep ∷ LeaderOnlyReward → SimpleRep LeaderOnlyReward Source #

fromSimpleRep ∷ SimpleRep LeaderOnlyReward → LeaderOnlyReward Source #

HasSimpleRep PoolRewardInfo Source # 
Instance details

Associated Types

type SimpleRep PoolRewardInfo Source #

type TheSop PoolRewardInfo ∷ [Type] Source #

Methods

toSimpleRep ∷ PoolRewardInfo → SimpleRep PoolRewardInfo Source #

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

Associated Types

type SimpleRep GenesisDelegCert Source #

type TheSop GenesisDelegCert ∷ [Type] Source #

Methods

toSimpleRep ∷ GenesisDelegCert → SimpleRep GenesisDelegCert Source #

fromSimpleRep ∷ SimpleRep GenesisDelegCert → GenesisDelegCert Source #

HasSimpleRep MIRCert Source # 
Instance details

Associated Types

type SimpleRep MIRCert Source #

type TheSop MIRCert ∷ [Type] Source #

Methods

toSimpleRep ∷ MIRCert → SimpleRep MIRCert Source #

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

Associated Types

type SimpleRep MIRTarget Source #

type TheSop MIRTarget ∷ [Type] Source #

Methods

toSimpleRep ∷ MIRTarget → SimpleRep MIRTarget Source #

fromSimpleRep ∷ SimpleRep MIRTarget → MIRTarget Source #

HasSimpleRep ShelleyDelegCert Source # 
Instance details

Associated Types

type SimpleRep ShelleyDelegCert Source #

type TheSop ShelleyDelegCert ∷ [Type] Source #

Methods

toSimpleRep ∷ ShelleyDelegCert → SimpleRep ShelleyDelegCert Source #

fromSimpleRep ∷ SimpleRep ShelleyDelegCert → ShelleyDelegCert 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 #

NumLike DeltaCoin Source # 
Instance details

Methods

subtractSpec ∷ DeltaCoin → TypeSpec DeltaCoin → Specification DeltaCoin Source #

negateSpec ∷ TypeSpec DeltaCoin → Specification DeltaCoin Source #

safeSubtract ∷ DeltaCoin → DeltaCoin → Maybe DeltaCoin Source #

NumLike EpochNo Source # 
Instance details

Methods

subtractSpec ∷ EpochNo → TypeSpec EpochNo → Specification EpochNo Source #

negateSpec ∷ TypeSpec EpochNo → Specification EpochNo Source #

safeSubtract ∷ EpochNo → EpochNo → Maybe EpochNo Source #

OrdLike DeltaCoin Source # 
Instance details

Methods

leqSpec ∷ DeltaCoin → Specification DeltaCoin Source #

ltSpec ∷ DeltaCoin → Specification DeltaCoin Source #

geqSpec ∷ DeltaCoin → Specification DeltaCoin Source #

gtSpec ∷ DeltaCoin → Specification DeltaCoin Source #

OrdLike EpochNo Source # 
Instance details

Methods

leqSpec ∷ EpochNo → Specification EpochNo Source #

ltSpec ∷ EpochNo → Specification EpochNo Source #

geqSpec ∷ EpochNo → Specification EpochNo Source #

gtSpec ∷ EpochNo → Specification EpochNo Source #

OrdLike SlotNo Source # 
Instance details

Methods

leqSpec ∷ SlotNo → Specification SlotNo Source #

ltSpec ∷ SlotNo → Specification SlotNo Source #

geqSpec ∷ SlotNo → Specification SlotNo Source #

gtSpec ∷ SlotNo → Specification SlotNo Source #

Foldy DeltaCoin Source # 
Instance details

Methods

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

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

theZero ∷ DeltaCoin Source #

genSizedList ∷ ∀ (m ∷ Type → Type). MonadGenError m ⇒ Specification Integer → Specification DeltaCoin → Specification DeltaCoin → GenT m [DeltaCoin] Source #

noNegativeValues ∷ Bool Source #

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

Associated Types

type Hint (Proposals era) Source #

Methods

giveHint ∷ Hint (Proposals era) → Specification (Proposals era) Source #

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

Associated Types

type TypeSpec (OSet a) Source #

type Prerequisites (OSet a) Source #

Methods

emptySpec ∷ TypeSpec (OSet a) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (OSet a) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (OSet a) → Specification (OSet a) Source #

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

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

Associated Types

type TypeSpec (AllegraTxAuxData era) Source #

type Prerequisites (AllegraTxAuxData era) Source #

Methods

emptySpec ∷ TypeSpec (AllegraTxAuxData era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (AllegraTxAuxData era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (AllegraTxAuxData era) → Specification (AllegraTxAuxData era) Source #

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

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

Associated Types

type TypeSpec (AlonzoScript era) Source #

type Prerequisites (AlonzoScript era) Source #

Methods

emptySpec ∷ TypeSpec (AlonzoScript era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (AlonzoScript era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (AlonzoScript era) → Specification (AlonzoScript era) Source #

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

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

Associated Types

type TypeSpec (AlonzoTx era) Source #

type Prerequisites (AlonzoTx era) Source #

Methods

emptySpec ∷ TypeSpec (AlonzoTx era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (AlonzoTx era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (AlonzoTx era) → Specification (AlonzoTx era) Source #

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

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

Associated Types

type TypeSpec (AlonzoTxAuxData era) Source #

type Prerequisites (AlonzoTxAuxData era) Source #

Methods

emptySpec ∷ TypeSpec (AlonzoTxAuxData era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (AlonzoTxAuxData era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (AlonzoTxAuxData era) → Specification (AlonzoTxAuxData era) Source #

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

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

Associated Types

type TypeSpec (AlonzoTxOut era) Source #

type Prerequisites (AlonzoTxOut era) Source #

Methods

emptySpec ∷ TypeSpec (AlonzoTxOut era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (AlonzoTxOut era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (AlonzoTxOut era) → Specification (AlonzoTxOut era) Source #

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

AlonzoEraScript era ⇒ HasSpec (AlonzoTxWits era) Source # 
Instance details

Associated Types

type TypeSpec (AlonzoTxWits era) Source #

type Prerequisites (AlonzoTxWits era) Source #

Methods

emptySpec ∷ TypeSpec (AlonzoTxWits era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (AlonzoTxWits era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (AlonzoTxWits era) → Specification (AlonzoTxWits era) Source #

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

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

Associated Types

type TypeSpec (BabbageTxOut era) Source #

type Prerequisites (BabbageTxOut era) Source #

Methods

emptySpec ∷ TypeSpec (BabbageTxOut era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (BabbageTxOut era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (BabbageTxOut era) → Specification (BabbageTxOut era) Source #

prerequisites ∷ Evidence (Prerequisites (BabbageTxOut era)) Source #

HasSpec a ⇒ HasSpec (Sized a) Source # 
Instance details

Associated Types

type TypeSpec (Sized a) Source #

type Prerequisites (Sized a) Source #

Methods

emptySpec ∷ TypeSpec (Sized a) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (Sized a) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (Sized a) → Specification (Sized a) Source #

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

HasSpec (ConwayGovState ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (ConwayGovState ConwayEra) Source #

type Prerequisites (ConwayGovState ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (ConwayGovState ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayGovState ConwayEra) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ConwayGovState ConwayEra) → Specification (ConwayGovState ConwayEra) Source #

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

HasSpec (DRepPulsingState ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (DRepPulsingState ConwayEra) Source #

type Prerequisites (DRepPulsingState ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (DRepPulsingState ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (DRepPulsingState ConwayEra) → BinaryShow Source #

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

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

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

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

HasSpec (PulsingSnapshot ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (PulsingSnapshot ConwayEra) Source #

type Prerequisites (PulsingSnapshot ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (PulsingSnapshot ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (PulsingSnapshot ConwayEra) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (PulsingSnapshot ConwayEra) → Specification (PulsingSnapshot ConwayEra) Source #

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

(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (EnactState era) Source # 
Instance details

Associated Types

type TypeSpec (EnactState era) Source #

type Prerequisites (EnactState era) Source #

Methods

emptySpec ∷ TypeSpec (EnactState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (EnactState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (EnactState era) → Specification (EnactState era) Source #

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

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

Associated Types

type TypeSpec (RatifyEnv era) Source #

type Prerequisites (RatifyEnv era) Source #

Methods

emptySpec ∷ TypeSpec (RatifyEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (RatifyEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (RatifyEnv era) → Specification (RatifyEnv era) Source #

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

HasSpec (RatifySignal ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (RatifySignal ConwayEra) Source #

type Prerequisites (RatifySignal ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (RatifySignal ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (RatifySignal ConwayEra) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (RatifySignal ConwayEra) → Specification (RatifySignal ConwayEra) Source #

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

HasSpec (RatifyState ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (RatifyState ConwayEra) Source #

type Prerequisites (RatifyState ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (RatifyState ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (RatifyState ConwayEra) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (RatifyState ConwayEra) → Specification (RatifyState ConwayEra) Source #

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

Era era ⇒ HasSpec (Committee era) Source # 
Instance details

Associated Types

type TypeSpec (Committee era) Source #

type Prerequisites (Committee era) Source #

Methods

emptySpec ∷ TypeSpec (Committee era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (Committee era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (Committee era) → Specification (Committee era) Source #

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

EraPParams era ⇒ HasSpec (Constitution era) Source # 
Instance details

Associated Types

type TypeSpec (Constitution era) Source #

type Prerequisites (Constitution era) Source #

Methods

emptySpec ∷ TypeSpec (Constitution era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (Constitution era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (Constitution era) → Specification (Constitution era) Source #

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

EraSpecPParams era ⇒ HasSpec (GovAction era) Source # 
Instance details

Associated Types

type TypeSpec (GovAction era) Source #

type Prerequisites (GovAction era) Source #

Methods

emptySpec ∷ TypeSpec (GovAction era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (GovAction era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (GovAction era) → Specification (GovAction era) Source #

prerequisites ∷ Evidence (Prerequisites (GovAction era)) Source #

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

Associated Types

type TypeSpec (GovActionState era) Source #

type Prerequisites (GovActionState era) Source #

Methods

emptySpec ∷ TypeSpec (GovActionState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (GovActionState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (GovActionState era) → Specification (GovActionState era) Source #

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

EraSpecPParams era ⇒ HasSpec (ProposalProcedure era) Source # 
Instance details

Associated Types

type TypeSpec (ProposalProcedure era) Source #

type Prerequisites (ProposalProcedure era) Source #

Methods

emptySpec ∷ TypeSpec (ProposalProcedure era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ProposalProcedure era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ProposalProcedure era) → Specification (ProposalProcedure era) Source #

prerequisites ∷ Evidence (Prerequisites (ProposalProcedure era)) Source #

Typeable era ⇒ HasSpec (VotingProcedure era) Source # 
Instance details

Associated Types

type TypeSpec (VotingProcedure era) Source #

type Prerequisites (VotingProcedure era) Source #

Methods

emptySpec ∷ TypeSpec (VotingProcedure era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (VotingProcedure era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (VotingProcedure era) → Specification (VotingProcedure era) Source #

prerequisites ∷ Evidence (Prerequisites (VotingProcedure era)) Source #

Typeable era ⇒ HasSpec (VotingProcedures era) Source # 
Instance details

Associated Types

type TypeSpec (VotingProcedures era) Source #

type Prerequisites (VotingProcedures era) Source #

Methods

emptySpec ∷ TypeSpec (VotingProcedures era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (VotingProcedures era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (VotingProcedures era) → Specification (VotingProcedures era) Source #

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

(EraSpecPParams era, Arbitrary (Proposals era), HasSpec (Tree (GAS era))) ⇒ HasSpec (Proposals era) Source # 
Instance details

Associated Types

type TypeSpec (Proposals era) Source #

type Prerequisites (Proposals era) Source #

Methods

emptySpec ∷ TypeSpec (Proposals era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (Proposals era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (Proposals era) → Specification (Proposals era) Source #

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

(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (CertEnv era) Source # 
Instance details

Associated Types

type TypeSpec (CertEnv era) Source #

type Prerequisites (CertEnv era) Source #

Methods

emptySpec ∷ TypeSpec (CertEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (CertEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (CertEnv era) → Specification (CertEnv era) Source #

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

(EraGov era, EraTx era, EraSpecPParams era, HasSpec (Tx era)) ⇒ HasSpec (CertsEnv era) Source # 
Instance details

Associated Types

type TypeSpec (CertsEnv era) Source #

type Prerequisites (CertsEnv era) Source #

Methods

emptySpec ∷ TypeSpec (CertsEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (CertsEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (CertsEnv era) → Specification (CertsEnv era) Source #

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

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

Associated Types

type TypeSpec (ConwayDelegEnv era) Source #

type Prerequisites (ConwayDelegEnv era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayDelegEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayDelegEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ConwayDelegEnv era) → Specification (ConwayDelegEnv era) Source #

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

HasSpec (EnactSignal ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (EnactSignal ConwayEra) Source #

type Prerequisites (EnactSignal ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (EnactSignal ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (EnactSignal ConwayEra) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (EnactSignal ConwayEra) → Specification (EnactSignal ConwayEra) Source #

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

(EraSpecPParams era, EraTxOut era, EraCertState era, EraGov era, HasSpec (CertState era)) ⇒ HasSpec (GovEnv era) Source # 
Instance details

Associated Types

type TypeSpec (GovEnv era) Source #

type Prerequisites (GovEnv era) Source #

Methods

emptySpec ∷ TypeSpec (GovEnv era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (GovEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (GovEnv era) → Specification (GovEnv era) Source #

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

HasSpec (GovSignal ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (GovSignal ConwayEra) Source #

type Prerequisites (GovSignal ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (GovSignal ConwayEra) Source #

combineSpec ∷ TypeSpec (GovSignal ConwayEra) → TypeSpec (GovSignal ConwayEra) → Specification (GovSignal ConwayEra) Source #

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

conformsTo ∷ GovSignal ConwayEra → TypeSpec (GovSignal ConwayEra) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → GovSignal ConwayEra → [GovSignal ConwayEra] Source #

toPreds ∷ Term (GovSignal ConwayEra) → TypeSpec (GovSignal ConwayEra) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (GovSignal ConwayEra) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (GovSignal ConwayEra) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (GovSignal ConwayEra) → Specification (GovSignal ConwayEra) Source #

prerequisites ∷ Evidence (Prerequisites (GovSignal ConwayEra)) Source #

HasSpec (ConwayGovCertEnv ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (ConwayGovCertEnv ConwayEra) Source #

type Prerequisites (ConwayGovCertEnv ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (ConwayGovCertEnv ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayGovCertEnv ConwayEra) → BinaryShow Source #

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

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

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

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

ConwayEraCertState era ⇒ HasSpec (ConwayCertState era) Source # 
Instance details

Associated Types

type TypeSpec (ConwayCertState era) Source #

type Prerequisites (ConwayCertState era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayCertState era) Source #

combineSpec ∷ TypeSpec (ConwayCertState era) → TypeSpec (ConwayCertState era) → Specification (ConwayCertState era) Source #

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

conformsTo ∷ ConwayCertState era → TypeSpec (ConwayCertState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayCertState era) → ConwayCertState era → [ConwayCertState era] Source #

toPreds ∷ Term (ConwayCertState era) → TypeSpec (ConwayCertState era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayCertState era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayCertState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ConwayCertState era) → Specification (ConwayCertState era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayCertState era)) Source #

Typeable era ⇒ HasSpec (ConwayInstantStake era) Source # 
Instance details

Associated Types

type TypeSpec (ConwayInstantStake era) Source #

type Prerequisites (ConwayInstantStake era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayInstantStake era) Source #

combineSpec ∷ TypeSpec (ConwayInstantStake era) → TypeSpec (ConwayInstantStake era) → Specification (ConwayInstantStake era) Source #

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

conformsTo ∷ ConwayInstantStake era → TypeSpec (ConwayInstantStake era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayInstantStake era) → ConwayInstantStake era → [ConwayInstantStake era] Source #

toPreds ∷ Term (ConwayInstantStake era) → TypeSpec (ConwayInstantStake era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayInstantStake era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayInstantStake era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ConwayInstantStake era) → Specification (ConwayInstantStake era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayInstantStake era)) Source #

Era era ⇒ HasSpec (VState era) Source # 
Instance details

Associated Types

type TypeSpec (VState era) Source #

type Prerequisites (VState era) Source #

Methods

emptySpec ∷ TypeSpec (VState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (VState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (VState era) → Specification (VState era) Source #

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

HasSpec (ConwayTxBody ConwayEra) Source # 
Instance details

Associated Types

type TypeSpec (ConwayTxBody ConwayEra) Source #

type Prerequisites (ConwayTxBody ConwayEra) Source #

Methods

emptySpec ∷ TypeSpec (ConwayTxBody ConwayEra) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayTxBody ConwayEra) → BinaryShow Source #

monadConformsTo ∷ ConwayTxBody ConwayEra → TypeSpec (ConwayTxBody ConwayEra) → Writer [String] Bool Source #

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

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

prerequisites ∷ Evidence (Prerequisites (ConwayTxBody ConwayEra)) Source #

Era era ⇒ HasSpec (ConwayTxCert era) Source # 
Instance details

Associated Types

type TypeSpec (ConwayTxCert era) Source #

type Prerequisites (ConwayTxCert era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayTxCert era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ConwayTxCert era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ConwayTxCert era) → Specification (ConwayTxCert era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayTxCert era)) Source #

(Compactible a, Typeable (TypeSpec (SimpleRep a)), Show (TypeSpec (SimpleRep a)), HasSpec a, HasSimpleRep a, HasSpec (SimpleRep a)) ⇒ HasSpec (CompactForm a) Source # 
Instance details

Associated Types

type TypeSpec (CompactForm a) Source #

type Prerequisites (CompactForm a) Source #

Methods

emptySpec ∷ TypeSpec (CompactForm a) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (CompactForm a) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (CompactForm a) → Specification (CompactForm a) Source #

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

Typeable r ⇒ HasSpec (Credential r) Source # 
Instance details

Associated Types

type TypeSpec (Credential r) Source #

type Prerequisites (Credential r) Source #

Methods

emptySpec ∷ TypeSpec (Credential r) Source #

combineSpec ∷ TypeSpec (Credential r) → TypeSpec (Credential r) → Specification (Credential r) Source #

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

conformsTo ∷ Credential r → TypeSpec (Credential r) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Credential r) → Credential r → [Credential r] Source #

toPreds ∷ Term (Credential r) → TypeSpec (Credential r) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Credential r) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (Credential r) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (Credential r) → BinaryShow Source #

monadConformsTo ∷ Credential r → TypeSpec (Credential r) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (Credential r) → [Credential r] → Specification (Credential r) Source #

guardTypeSpec ∷ [String] → TypeSpec (Credential r) → Specification (Credential r) Source #

prerequisites ∷ Evidence (Prerequisites (Credential r)) Source #

Typeable a ⇒ HasSpec (NoUpdate a) Source # 
Instance details

Associated Types

type TypeSpec (NoUpdate a) Source #

type Prerequisites (NoUpdate a) Source #

Methods

emptySpec ∷ TypeSpec (NoUpdate a) Source #

combineSpec ∷ TypeSpec (NoUpdate a) → TypeSpec (NoUpdate a) → Specification (NoUpdate a) Source #

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

conformsTo ∷ NoUpdate a → TypeSpec (NoUpdate a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (NoUpdate a) → NoUpdate a → [NoUpdate a] Source #

toPreds ∷ Term (NoUpdate a) → TypeSpec (NoUpdate a) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (NoUpdate a) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (NoUpdate a) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (NoUpdate a) → Specification (NoUpdate a) Source #

prerequisites ∷ Evidence (Prerequisites (NoUpdate a)) Source #

Typeable index ⇒ HasSpec (SafeHash index) Source # 
Instance details

Associated Types

type TypeSpec (SafeHash index) Source #

type Prerequisites (SafeHash index) Source #

Methods

emptySpec ∷ TypeSpec (SafeHash index) Source #

combineSpec ∷ TypeSpec (SafeHash index) → TypeSpec (SafeHash index) → Specification (SafeHash index) Source #

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

conformsTo ∷ SafeHash index → TypeSpec (SafeHash index) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (SafeHash index) → SafeHash index → [SafeHash index] Source #

toPreds ∷ Term (SafeHash index) → TypeSpec (SafeHash index) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (SafeHash index) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (SafeHash index) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (SafeHash index) → BinaryShow Source #

monadConformsTo ∷ SafeHash index → TypeSpec (SafeHash index) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (SafeHash index) → [SafeHash index] → Specification (SafeHash index) Source #

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

prerequisites ∷ Evidence (Prerequisites (SafeHash index)) Source #

Typeable r ⇒ HasSpec (VRFVerKeyHash r) Source # 
Instance details

Associated Types

type TypeSpec (VRFVerKeyHash r) Source #

type Prerequisites (VRFVerKeyHash r) Source #

Methods

emptySpec ∷ TypeSpec (VRFVerKeyHash r) Source #

combineSpec ∷ TypeSpec (VRFVerKeyHash r) → TypeSpec (VRFVerKeyHash r) → Specification (VRFVerKeyHash r) Source #

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

conformsTo ∷ VRFVerKeyHash r → TypeSpec (VRFVerKeyHash r) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (VRFVerKeyHash r) → VRFVerKeyHash r → [VRFVerKeyHash r] Source #

toPreds ∷ Term (VRFVerKeyHash r) → TypeSpec (VRFVerKeyHash r) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (VRFVerKeyHash r) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (VRFVerKeyHash r) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (VRFVerKeyHash r) → BinaryShow Source #

monadConformsTo ∷ VRFVerKeyHash r → TypeSpec (VRFVerKeyHash r) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (VRFVerKeyHash r) → [VRFVerKeyHash r] → Specification (VRFVerKeyHash r) Source #

guardTypeSpec ∷ [String] → TypeSpec (VRFVerKeyHash r) → Specification (VRFVerKeyHash r) Source #

prerequisites ∷ Evidence (Prerequisites (VRFVerKeyHash r)) Source #

Typeable r ⇒ HasSpec (WitVKey r) Source # 
Instance details

Associated Types

type TypeSpec (WitVKey r) Source #

type Prerequisites (WitVKey r) Source #

Methods

emptySpec ∷ TypeSpec (WitVKey r) Source #

combineSpec ∷ TypeSpec (WitVKey r) → TypeSpec (WitVKey r) → Specification (WitVKey r) Source #

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

conformsTo ∷ WitVKey r → TypeSpec (WitVKey r) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (WitVKey r) → WitVKey r → [WitVKey r] Source #

toPreds ∷ Term (WitVKey r) → TypeSpec (WitVKey r) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (WitVKey r) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (WitVKey r) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (WitVKey r) → BinaryShow Source #

monadConformsTo ∷ WitVKey r → TypeSpec (WitVKey r) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (WitVKey r) → [WitVKey r] → Specification (WitVKey r) Source #

guardTypeSpec ∷ [String] → TypeSpec (WitVKey r) → Specification (WitVKey r) Source #

prerequisites ∷ Evidence (Prerequisites (WitVKey r)) Source #

(Era era, HasSpec (Data era)) ⇒ HasSpec (BinaryData era) Source # 
Instance details

Associated Types

type TypeSpec (BinaryData era) Source #

type Prerequisites (BinaryData era) Source #

Methods

emptySpec ∷ TypeSpec (BinaryData era) Source #

combineSpec ∷ TypeSpec (BinaryData era) → TypeSpec (BinaryData era) → Specification (BinaryData era) Source #

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

conformsTo ∷ BinaryData era → TypeSpec (BinaryData era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (BinaryData era) → BinaryData era → [BinaryData era] Source #

toPreds ∷ Term (BinaryData era) → TypeSpec (BinaryData era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (BinaryData era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (BinaryData era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (BinaryData era) → Specification (BinaryData era) Source #

prerequisites ∷ Evidence (Prerequisites (BinaryData era)) Source #

Era era ⇒ HasSpec (Data era) Source # 
Instance details

Associated Types

type TypeSpec (Data era) Source #

type Prerequisites (Data era) Source #

Methods

emptySpec ∷ TypeSpec (Data era) Source #

combineSpec ∷ TypeSpec (Data era) → TypeSpec (Data era) → Specification (Data era) Source #

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

conformsTo ∷ Data era → TypeSpec (Data era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Data era) → Data era → [Data era] Source #

toPreds ∷ Term (Data era) → TypeSpec (Data era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Data era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (Data era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (Data era) → Specification (Data era) Source #

prerequisites ∷ Evidence (Prerequisites (Data era)) Source #

(Era era, HasSpec (Data era)) ⇒ HasSpec (Datum era) Source # 
Instance details

Associated Types

type TypeSpec (Datum era) Source #

type Prerequisites (Datum era) Source #

Methods

emptySpec ∷ TypeSpec (Datum era) Source #

combineSpec ∷ TypeSpec (Datum era) → TypeSpec (Datum era) → Specification (Datum era) Source #

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

conformsTo ∷ Datum era → TypeSpec (Datum era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Datum era) → Datum era → [Datum era] Source #

toPreds ∷ Term (Datum era) → TypeSpec (Datum era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Datum era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (Datum era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (Datum era) → Specification (Datum era) Source #

prerequisites ∷ Evidence (Prerequisites (Datum era)) Source #

Era era ⇒ HasSpec (CommitteeState era) Source # 
Instance details

Associated Types

type TypeSpec (CommitteeState era) Source #

type Prerequisites (CommitteeState era) Source #

Methods

emptySpec ∷ TypeSpec (CommitteeState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (CommitteeState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (CommitteeState era) → Specification (CommitteeState era) Source #

prerequisites ∷ Evidence (Prerequisites (CommitteeState era)) Source #

Era era ⇒ HasSpec (DState era) Source # 
Instance details

Associated Types

type TypeSpec (DState era) Source #

type Prerequisites (DState era) Source #

Methods

emptySpec ∷ TypeSpec (DState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (DState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (DState era) → Specification (DState era) Source #

prerequisites ∷ Evidence (Prerequisites (DState era)) Source #

Era era ⇒ HasSpec (PState era) Source # 
Instance details

Associated Types

type TypeSpec (PState era) Source #

type Prerequisites (PState era) Source #

Methods

emptySpec ∷ TypeSpec (PState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (PState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (PState era) → Specification (PState era) Source #

prerequisites ∷ Evidence (Prerequisites (PState era)) Source #

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

Associated Types

type TypeSpec (UTxO era) Source #

type Prerequisites (UTxO era) Source #

Methods

emptySpec ∷ TypeSpec (UTxO era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (UTxO era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (UTxO era) → Specification (UTxO era) Source #

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

(EraTxOut era, EraGov era, EraSpecPParams era) ⇒ HasSpec (ShelleyGovState era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyGovState era) Source #

type Prerequisites (ShelleyGovState era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyGovState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ShelleyGovState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ShelleyGovState era) → Specification (ShelleyGovState era) Source #

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

(EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (InstantStake era), HasSpec (CertState era)) ⇒ HasSpec (EpochState era) Source # 
Instance details

Associated Types

type TypeSpec (EpochState era) Source #

type Prerequisites (EpochState era) Source #

Methods

emptySpec ∷ TypeSpec (EpochState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (EpochState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (EpochState era) → Specification (EpochState era) Source #

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

(EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (InstantStake era), HasSpec (CertState era)) ⇒ HasSpec (LedgerState era) Source # 
Instance details

Associated Types

type TypeSpec (LedgerState era) Source #

type Prerequisites (LedgerState era) Source #

Methods

emptySpec ∷ TypeSpec (LedgerState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (LedgerState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (LedgerState era) → Specification (LedgerState era) Source #

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

(EraTxOut era, HasSpec (TxOut era), IsNormalType (TxOut era), HasSpec (GovState era), HasSpec (StashedAVVMAddresses era), EraStake era, EraCertState era, IsNormalType (CertState era), HasSpec (CertState era), HasSpec (InstantStake era)) ⇒ HasSpec (NewEpochState era) Source # 
Instance details

Associated Types

type TypeSpec (NewEpochState era) Source #

type Prerequisites (NewEpochState era) Source #

Methods

emptySpec ∷ TypeSpec (NewEpochState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (NewEpochState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (NewEpochState era) → Specification (NewEpochState era) Source #

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

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

Associated Types

type TypeSpec (UTxOState era) Source #

type Prerequisites (UTxOState era) Source #

Methods

emptySpec ∷ TypeSpec (UTxOState era) Source #

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

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

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

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

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

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

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (UTxOState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (UTxOState era) → Specification (UTxOState era) Source #

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

(HasSpec (PParams era), Era era) ⇒ HasSpec (LedgerEnv era) Source # 
Instance details

Associated Types

type TypeSpec (LedgerEnv era) Source #

type Prerequisites (LedgerEnv era) Source #

Methods

emptySpec ∷ TypeSpec (LedgerEnv era) Source #

combineSpec ∷ TypeSpec (LedgerEnv era) → TypeSpec (LedgerEnv era) → Specification (LedgerEnv era) Source #

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

conformsTo ∷ LedgerEnv era → TypeSpec (LedgerEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (LedgerEnv era) → LedgerEnv era → [LedgerEnv era] Source #

toPreds ∷ Term (LedgerEnv era) → TypeSpec (LedgerEnv era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (LedgerEnv era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (LedgerEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (LedgerEnv era) → Specification (LedgerEnv era) Source #

prerequisites ∷ Evidence (Prerequisites (LedgerEnv era)) Source #

(EraGov era, EraTxOut era, EraSpecPParams era) ⇒ HasSpec (PoolEnv era) Source # 
Instance details

Associated Types

type TypeSpec (PoolEnv era) Source #

type Prerequisites (PoolEnv era) Source #

Methods

emptySpec ∷ TypeSpec (PoolEnv era) Source #

combineSpec ∷ TypeSpec (PoolEnv era) → TypeSpec (PoolEnv era) → Specification (PoolEnv era) Source #

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

conformsTo ∷ PoolEnv era → TypeSpec (PoolEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (PoolEnv era) → PoolEnv era → [PoolEnv era] Source #

toPreds ∷ Term (PoolEnv era) → TypeSpec (PoolEnv era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (PoolEnv era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (PoolEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (PoolEnv era) → Specification (PoolEnv era) Source #

prerequisites ∷ Evidence (Prerequisites (PoolEnv era)) Source #

(EraGov era, EraTxOut era, EraSpecPParams era, EraCertState era, HasSpec (CertState era)) ⇒ HasSpec (UtxoEnv era) Source # 
Instance details

Associated Types

type TypeSpec (UtxoEnv era) Source #

type Prerequisites (UtxoEnv era) Source #

Methods

emptySpec ∷ TypeSpec (UtxoEnv era) Source #

combineSpec ∷ TypeSpec (UtxoEnv era) → TypeSpec (UtxoEnv era) → Specification (UtxoEnv era) Source #

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

conformsTo ∷ UtxoEnv era → TypeSpec (UtxoEnv era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (UtxoEnv era) → UtxoEnv era → [UtxoEnv era] Source #

toPreds ∷ Term (UtxoEnv era) → TypeSpec (UtxoEnv era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (UtxoEnv era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (UtxoEnv era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (UtxoEnv era) → Specification (UtxoEnv era) Source #

prerequisites ∷ Evidence (Prerequisites (UtxoEnv era)) Source #

EraCertState era ⇒ HasSpec (ShelleyCertState era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyCertState era) Source #

type Prerequisites (ShelleyCertState era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyCertState era) Source #

combineSpec ∷ TypeSpec (ShelleyCertState era) → TypeSpec (ShelleyCertState era) → Specification (ShelleyCertState era) Source #

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

conformsTo ∷ ShelleyCertState era → TypeSpec (ShelleyCertState era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyCertState era) → ShelleyCertState era → [ShelleyCertState era] Source #

toPreds ∷ Term (ShelleyCertState era) → TypeSpec (ShelleyCertState era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyCertState era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ShelleyCertState era) → BinaryShow Source #

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

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

guardTypeSpec ∷ [String] → TypeSpec (ShelleyCertState era) → Specification (ShelleyCertState era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyCertState era)) Source #

Typeable era ⇒ HasSpec (ShelleyInstantStake era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyInstantStake era) Source #

type Prerequisites (ShelleyInstantStake era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyInstantStake era) Source #

combineSpec ∷ TypeSpec (ShelleyInstantStake era) → TypeSpec (ShelleyInstantStake era) → Specification (ShelleyInstantStake era) Source #

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

conformsTo ∷ ShelleyInstantStake era → TypeSpec (ShelleyInstantStake era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyInstantStake era) → ShelleyInstantStake era → [ShelleyInstantStake era] Source #

toPreds ∷ Term (ShelleyInstantStake era) → TypeSpec (ShelleyInstantStake era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyInstantStake era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

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

alternateShow ∷ TypeSpec (ShelleyInstantStake era) → BinaryShow Source #

monadConformsTo ∷ ShelleyInstantStake era → TypeSpec (ShelleyInstantStake era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyInstantStake era) → [ShelleyInstantStake era] → Specification (ShelleyInstantStake era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyInstantStake era) → Specification (ShelleyInstantStake era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyInstantStake era)) Source #

(EraTxOut era, EraTx era, EraSpecPParams era, HasSpec (TxBody era), HasSpec (TxWits era), HasSpec (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec (ShelleyTx era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyTx era) Source #

type Prerequisites (ShelleyTx era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyTx era) Source #

combineSpec ∷ TypeSpec (ShelleyTx era) → TypeSpec (ShelleyTx era) → Specification (ShelleyTx era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTx era) → GenT m (ShelleyTx era) Source #

conformsTo ∷ ShelleyTx era → TypeSpec (ShelleyTx era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyTx era) → ShelleyTx era → [ShelleyTx era] Source #

toPreds ∷ Term (ShelleyTx era) → TypeSpec (ShelleyTx era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyTx era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ShelleyTx era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ShelleyTx era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTx era → TypeSpec (ShelleyTx era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyTx era) → [ShelleyTx era] → Specification (ShelleyTx era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyTx era) → Specification (ShelleyTx era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyTx era)) Source #

(Era era, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (ShelleyTxAuxData era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyTxAuxData era) Source #

type Prerequisites (ShelleyTxAuxData era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyTxAuxData era) Source #

combineSpec ∷ TypeSpec (ShelleyTxAuxData era) → TypeSpec (ShelleyTxAuxData era) → Specification (ShelleyTxAuxData era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxAuxData era) → GenT m (ShelleyTxAuxData era) Source #

conformsTo ∷ ShelleyTxAuxData era → TypeSpec (ShelleyTxAuxData era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxAuxData era) → ShelleyTxAuxData era → [ShelleyTxAuxData era] Source #

toPreds ∷ Term (ShelleyTxAuxData era) → TypeSpec (ShelleyTxAuxData era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyTxAuxData era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ShelleyTxAuxData era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ShelleyTxAuxData era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxAuxData era → TypeSpec (ShelleyTxAuxData era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyTxAuxData era) → [ShelleyTxAuxData era] → Specification (ShelleyTxAuxData era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxAuxData era) → Specification (ShelleyTxAuxData era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyTxAuxData era)) Source #

Era era ⇒ HasSpec (ShelleyTxCert era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyTxCert era) Source #

type Prerequisites (ShelleyTxCert era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyTxCert era) Source #

combineSpec ∷ TypeSpec (ShelleyTxCert era) → TypeSpec (ShelleyTxCert era) → Specification (ShelleyTxCert era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxCert era) → GenT m (ShelleyTxCert era) Source #

conformsTo ∷ ShelleyTxCert era → TypeSpec (ShelleyTxCert era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxCert era) → ShelleyTxCert era → [ShelleyTxCert era] Source #

toPreds ∷ Term (ShelleyTxCert era) → TypeSpec (ShelleyTxCert era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyTxCert era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ShelleyTxCert era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ShelleyTxCert era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxCert era → TypeSpec (ShelleyTxCert era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyTxCert era) → [ShelleyTxCert era] → Specification (ShelleyTxCert era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxCert era) → Specification (ShelleyTxCert era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyTxCert era)) Source #

(EraTxOut era, HasSpec (Value era)) ⇒ HasSpec (ShelleyTxOut era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyTxOut era) Source #

type Prerequisites (ShelleyTxOut era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyTxOut era) Source #

combineSpec ∷ TypeSpec (ShelleyTxOut era) → TypeSpec (ShelleyTxOut era) → Specification (ShelleyTxOut era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxOut era) → GenT m (ShelleyTxOut era) Source #

conformsTo ∷ ShelleyTxOut era → TypeSpec (ShelleyTxOut era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxOut era) → ShelleyTxOut era → [ShelleyTxOut era] Source #

toPreds ∷ Term (ShelleyTxOut era) → TypeSpec (ShelleyTxOut era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyTxOut era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ShelleyTxOut era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ShelleyTxOut era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxOut era → TypeSpec (ShelleyTxOut era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyTxOut era) → [ShelleyTxOut era] → Specification (ShelleyTxOut era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxOut era) → Specification (ShelleyTxOut era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyTxOut era)) Source #

EraScript era ⇒ HasSpec (ShelleyTxWits era) Source # 
Instance details

Associated Types

type TypeSpec (ShelleyTxWits era) Source #

type Prerequisites (ShelleyTxWits era) Source #

Methods

emptySpec ∷ TypeSpec (ShelleyTxWits era) Source #

combineSpec ∷ TypeSpec (ShelleyTxWits era) → TypeSpec (ShelleyTxWits era) → Specification (ShelleyTxWits era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ShelleyTxWits era) → GenT m (ShelleyTxWits era) Source #

conformsTo ∷ ShelleyTxWits era → TypeSpec (ShelleyTxWits era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ShelleyTxWits era) → ShelleyTxWits era → [ShelleyTxWits era] Source #

toPreds ∷ Term (ShelleyTxWits era) → TypeSpec (ShelleyTxWits era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ShelleyTxWits era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ShelleyTxWits era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ShelleyTxWits era) → BinaryShow Source #

monadConformsTo ∷ ShelleyTxWits era → TypeSpec (ShelleyTxWits era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ShelleyTxWits era) → [ShelleyTxWits era] → Specification (ShelleyTxWits era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ShelleyTxWits era) → Specification (ShelleyTxWits era) Source #

prerequisites ∷ Evidence (Prerequisites (ShelleyTxWits era)) Source #

HasSpec a ⇒ HasSpec (StrictSeq a) Source # 
Instance details

Associated Types

type TypeSpec (StrictSeq a) Source #

type Prerequisites (StrictSeq a) Source #

Methods

emptySpec ∷ TypeSpec (StrictSeq a) Source #

combineSpec ∷ TypeSpec (StrictSeq a) → TypeSpec (StrictSeq a) → Specification (StrictSeq a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (StrictSeq a) → GenT m (StrictSeq a) Source #

conformsTo ∷ StrictSeq a → TypeSpec (StrictSeq a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (StrictSeq a) → StrictSeq a → [StrictSeq a] Source #

toPreds ∷ Term (StrictSeq a) → TypeSpec (StrictSeq a) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (StrictSeq a) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (StrictSeq a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (StrictSeq a) → BinaryShow Source #

monadConformsTo ∷ StrictSeq a → TypeSpec (StrictSeq a) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (StrictSeq a) → [StrictSeq a] → Specification (StrictSeq a) Source #

guardTypeSpec ∷ [String] → TypeSpec (StrictSeq a) → Specification (StrictSeq a) Source #

prerequisites ∷ Evidence (Prerequisites (StrictSeq a)) Source #

HasSpec a ⇒ HasSpec (Seq a) Source # 
Instance details

Associated Types

type TypeSpec (Seq a) Source #

type Prerequisites (Seq a) Source #

Methods

emptySpec ∷ TypeSpec (Seq a) Source #

combineSpec ∷ TypeSpec (Seq a) → TypeSpec (Seq a) → Specification (Seq a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Seq a) → GenT m (Seq a) Source #

conformsTo ∷ Seq a → TypeSpec (Seq a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Seq a) → Seq a → [Seq a] Source #

toPreds ∷ Term (Seq a) → TypeSpec (Seq a) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Seq a) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (Seq a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (Seq a) → BinaryShow Source #

monadConformsTo ∷ Seq a → TypeSpec (Seq a) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (Seq a) → [Seq a] → Specification (Seq a) Source #

guardTypeSpec ∷ [String] → TypeSpec (Seq a) → Specification (Seq a) Source #

prerequisites ∷ Evidence (Prerequisites (Seq a)) Source #

(Typeable a, 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 #

Typeable era ⇒ 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 #

(Typeable (TxAuxData era), Typeable (TxBody era), Typeable (TxWits era), 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 #

(Typeable (Script era), 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 #

Typeable a ⇒ HasSimpleRep (Sized a) Source # 
Instance details

Associated Types

type SimpleRep (Sized a) Source #

type TheSop (Sized a) ∷ [Type] Source #

Methods

toSimpleRep ∷ Sized a → SimpleRep (Sized a) Source #

fromSimpleRep ∷ SimpleRep (Sized a) → Sized a Source #

HasSimpleRep (ConwayGovState ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovState ConwayEra) Source #

type TheSop (ConwayGovState ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayGovState ConwayEra → SimpleRep (ConwayGovState ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovState ConwayEra) → ConwayGovState ConwayEra Source #

HasSimpleRep (DRepPulsingState ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (DRepPulsingState ConwayEra) Source #

type TheSop (DRepPulsingState ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ DRepPulsingState ConwayEra → SimpleRep (DRepPulsingState ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (DRepPulsingState ConwayEra) → DRepPulsingState ConwayEra Source #

HasSimpleRep (PulsingSnapshot ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (PulsingSnapshot ConwayEra) Source #

type TheSop (PulsingSnapshot ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ PulsingSnapshot ConwayEra → SimpleRep (PulsingSnapshot ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (PulsingSnapshot ConwayEra) → PulsingSnapshot ConwayEra Source #

Typeable era ⇒ 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 #

(HasSpec (InstantStake era), Typeable era) ⇒ 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 ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (RatifySignal ConwayEra) Source #

type TheSop (RatifySignal ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ RatifySignal ConwayEra → SimpleRep (RatifySignal ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (RatifySignal ConwayEra) → RatifySignal ConwayEra Source #

HasSimpleRep (RatifyState ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (RatifyState ConwayEra) Source #

type TheSop (RatifyState ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ RatifyState ConwayEra → SimpleRep (RatifyState ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (RatifyState ConwayEra) → RatifyState ConwayEra 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 #

Typeable era ⇒ 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 #

Typeable era ⇒ 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 #

Typeable era ⇒ 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 (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 #

Typeable era ⇒ 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 #

(Typeable (Tx era), Typeable era) ⇒ 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 #

Typeable era ⇒ HasSimpleRep (ConwayDelegEnv era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayDelegEnv era) Source #

type TheSop (ConwayDelegEnv era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayDelegEnv era → SimpleRep (ConwayDelegEnv era) Source #

fromSimpleRep ∷ SimpleRep (ConwayDelegEnv era) → ConwayDelegEnv era Source #

HasSimpleRep (EnactSignal ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (EnactSignal ConwayEra) Source #

type TheSop (EnactSignal ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ EnactSignal ConwayEra → SimpleRep (EnactSignal ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (EnactSignal ConwayEra) → EnactSignal ConwayEra Source #

(Typeable (CertState era), 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 #

(Typeable (TxCert era), Typeable era) ⇒ 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 ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (ConwayGovCertEnv ConwayEra) Source #

type TheSop (ConwayGovCertEnv ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayGovCertEnv ConwayEra → SimpleRep (ConwayGovCertEnv ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (ConwayGovCertEnv ConwayEra) → ConwayGovCertEnv ConwayEra Source #

Typeable era ⇒ HasSimpleRep (ConwayCertState era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayCertState era) Source #

type TheSop (ConwayCertState era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayCertState era → SimpleRep (ConwayCertState era) Source #

fromSimpleRep ∷ SimpleRep (ConwayCertState era) → ConwayCertState era Source #

HasSimpleRep (ConwayInstantStake era) Source # 
Instance details

Associated Types

type SimpleRep (ConwayInstantStake era) Source #

type TheSop (ConwayInstantStake era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayInstantStake era → SimpleRep (ConwayInstantStake era) Source #

fromSimpleRep ∷ SimpleRep (ConwayInstantStake era) → ConwayInstantStake era Source #

Typeable era ⇒ 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 #

HasSimpleRep (ConwayTxBody ConwayEra) Source # 
Instance details

Associated Types

type SimpleRep (ConwayTxBody ConwayEra) Source #

type TheSop (ConwayTxBody ConwayEra) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayTxBody ConwayEra → SimpleRep (ConwayTxBody ConwayEra) Source #

fromSimpleRep ∷ SimpleRep (ConwayTxBody ConwayEra) → ConwayTxBody ConwayEra 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 #

(Compactible a, HasSimpleRep 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 #

Typeable r ⇒ HasSimpleRep (Credential r) Source # 
Instance details

Associated Types

type SimpleRep (Credential r) Source #

type TheSop (Credential r) ∷ [Type] Source #

Methods

toSimpleRep ∷ Credential r → SimpleRep (Credential r) Source #

fromSimpleRep ∷ SimpleRep (Credential r) → Credential r 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 #

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 #

Typeable era ⇒ 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 #

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 (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 #

Typeable (TxOut era) ⇒ 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 #

Typeable era ⇒ 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 #

(Typeable (CertState era), 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 #

(Typeable (StashedAVVMAddresses era), 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 #

(Typeable (InstantStake era), Typeable (GovState era), Typeable era) ⇒ 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 #

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 #

Typeable era ⇒ 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 #

(Typeable (CertState era), 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 #

Typeable era ⇒ HasSimpleRep (ShelleyCertState era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyCertState era) Source #

type TheSop (ShelleyCertState era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ShelleyCertState era → SimpleRep (ShelleyCertState era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyCertState era) → ShelleyCertState era Source #

HasSimpleRep (ShelleyInstantStake era) Source # 
Instance details

Associated Types

type SimpleRep (ShelleyInstantStake era) Source #

type TheSop (ShelleyInstantStake era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ShelleyInstantStake era → SimpleRep (ShelleyInstantStake era) Source #

fromSimpleRep ∷ SimpleRep (ShelleyInstantStake era) → ShelleyInstantStake era Source #

(EraTx era, EraTxOut era, 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 (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 #

Typeable a ⇒ 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 #

Typeable a ⇒ 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 #

HasSpec a ⇒ Sized (Seq a) Source # 
Instance details

Methods

sizeOf ∷ Seq a → Integer Source #

liftSizeSpec ∷ SizeSpec → [Integer] → Specification (Seq a) Source #

liftMemberSpec ∷ [Integer] → Specification (Seq a) Source #

sizeOfTypeSpec ∷ TypeSpec (Seq a) → Specification Integer Source #

(Typeable a, Ord a) ⇒ Forallable (OSet a) a Source # 
Instance details

Methods

fromForAllSpec ∷ Specification a → Specification (OSet a) Source #

forAllToList ∷ OSet a → [a] Source #

Typeable a ⇒ Forallable (StrictSeq a) a Source # 
Instance details

Methods

fromForAllSpec ∷ Specification a → Specification (StrictSeq a) Source #

forAllToList ∷ StrictSeq a → [a] Source #

Typeable a ⇒ Forallable (Seq a) a Source # 
Instance details

Methods

fromForAllSpec ∷ Specification a → Specification (Seq a) Source #

forAllToList ∷ Seq a → [a] Source #

(HashAlgorithm a, Typeable b) ⇒ HasSpec (Hash a b) Source # 
Instance details

Associated Types

type TypeSpec (Hash a b) Source #

type Prerequisites (Hash a b) Source #

Methods

emptySpec ∷ TypeSpec (Hash a b) Source #

combineSpec ∷ TypeSpec (Hash a b) → TypeSpec (Hash a b) → Specification (Hash a b) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Hash a b) → GenT m (Hash a b) Source #

conformsTo ∷ Hash a b → TypeSpec (Hash a b) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Hash a b) → Hash a b → [Hash a b] Source #

toPreds ∷ Term (Hash a b) → TypeSpec (Hash a b) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Hash a b) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (Hash a b) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (Hash a b) → BinaryShow Source #

monadConformsTo ∷ Hash a b → TypeSpec (Hash a b) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (Hash a b) → [Hash a b] → Specification (Hash a b) Source #

guardTypeSpec ∷ [String] → TypeSpec (Hash a b) → Specification (Hash a b) Source #

prerequisites ∷ Evidence (Prerequisites (Hash a b)) Source #

Typeable b ⇒ HasSpec (AbstractHash Blake2b_224 b) Source # 
Instance details

Associated Types

type TypeSpec (AbstractHash Blake2b_224 b) Source #

type Prerequisites (AbstractHash Blake2b_224 b) Source #

Methods

emptySpec ∷ TypeSpec (AbstractHash Blake2b_224 b) Source #

combineSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → TypeSpec (AbstractHash Blake2b_224 b) → Specification (AbstractHash Blake2b_224 b) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (AbstractHash Blake2b_224 b) → GenT m (AbstractHash Blake2b_224 b) Source #

conformsTo ∷ AbstractHash Blake2b_224 b → TypeSpec (AbstractHash Blake2b_224 b) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → AbstractHash Blake2b_224 b → [AbstractHash Blake2b_224 b] Source #

toPreds ∷ Term (AbstractHash Blake2b_224 b) → TypeSpec (AbstractHash Blake2b_224 b) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (AbstractHash Blake2b_224 b) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (AbstractHash Blake2b_224 b) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (AbstractHash Blake2b_224 b) → BinaryShow Source #

monadConformsTo ∷ AbstractHash Blake2b_224 b → TypeSpec (AbstractHash Blake2b_224 b) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (AbstractHash Blake2b_224 b) → [AbstractHash Blake2b_224 b] → Specification (AbstractHash Blake2b_224 b) Source #

guardTypeSpec ∷ [String] → TypeSpec (AbstractHash Blake2b_224 b) → Specification (AbstractHash Blake2b_224 b) Source #

prerequisites ∷ Evidence (Prerequisites (AbstractHash Blake2b_224 b)) Source #

(AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec (Timelock era) Source # 
Instance details

Associated Types

type TypeSpec (Timelock era) Source #

type Prerequisites (Timelock era) Source #

Methods

emptySpec ∷ TypeSpec (Timelock era) Source #

combineSpec ∷ TypeSpec (Timelock era) → TypeSpec (Timelock era) → Specification (Timelock era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (Timelock era) → GenT m (Timelock era) Source #

conformsTo ∷ Timelock era → TypeSpec (Timelock era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (Timelock era) → Timelock era → [Timelock era] Source #

toPreds ∷ Term (Timelock era) → TypeSpec (Timelock era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (Timelock era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (Timelock era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (Timelock era) → BinaryShow Source #

monadConformsTo ∷ Timelock era → TypeSpec (Timelock era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (Timelock era) → [Timelock era] → Specification (Timelock era) Source #

guardTypeSpec ∷ [String] → TypeSpec (Timelock era) → Specification (Timelock era) Source #

prerequisites ∷ Evidence (Prerequisites (Timelock era)) Source #

(Typeable p, Era era) ⇒ HasSpec (GovPurposeId p era) Source # 
Instance details

Associated Types

type TypeSpec (GovPurposeId p era) Source #

type Prerequisites (GovPurposeId p era) Source #

Methods

emptySpec ∷ TypeSpec (GovPurposeId p era) Source #

combineSpec ∷ TypeSpec (GovPurposeId p era) → TypeSpec (GovPurposeId p era) → Specification (GovPurposeId p era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovPurposeId p era) → GenT m (GovPurposeId p era) Source #

conformsTo ∷ GovPurposeId p era → TypeSpec (GovPurposeId p era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (GovPurposeId p era) → GovPurposeId p era → [GovPurposeId p era] Source #

toPreds ∷ Term (GovPurposeId p era) → TypeSpec (GovPurposeId p era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (GovPurposeId p era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (GovPurposeId p era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (GovPurposeId p era) → BinaryShow Source #

monadConformsTo ∷ GovPurposeId p era → TypeSpec (GovPurposeId p era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (GovPurposeId p era) → [GovPurposeId p era] → Specification (GovPurposeId p era) Source #

guardTypeSpec ∷ [String] → TypeSpec (GovPurposeId p era) → Specification (GovPurposeId p era) Source #

prerequisites ∷ Evidence (Prerequisites (GovPurposeId p era)) Source #

Era era ⇒ HasSpec (GovRelation StrictMaybe era) Source # 
Instance details

Associated Types

type TypeSpec (GovRelation StrictMaybe era) Source #

type Prerequisites (GovRelation StrictMaybe era) Source #

Methods

emptySpec ∷ TypeSpec (GovRelation StrictMaybe era) Source #

combineSpec ∷ TypeSpec (GovRelation StrictMaybe era) → TypeSpec (GovRelation StrictMaybe era) → Specification (GovRelation StrictMaybe era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (GovRelation StrictMaybe era) → GenT m (GovRelation StrictMaybe era) Source #

conformsTo ∷ GovRelation StrictMaybe era → TypeSpec (GovRelation StrictMaybe era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (GovRelation StrictMaybe era) → GovRelation StrictMaybe era → [GovRelation StrictMaybe era] Source #

toPreds ∷ Term (GovRelation StrictMaybe era) → TypeSpec (GovRelation StrictMaybe era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (GovRelation StrictMaybe era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (GovRelation StrictMaybe era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (GovRelation StrictMaybe era) → BinaryShow Source #

monadConformsTo ∷ GovRelation StrictMaybe era → TypeSpec (GovRelation StrictMaybe era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (GovRelation StrictMaybe era) → [GovRelation StrictMaybe era] → Specification (GovRelation StrictMaybe era) Source #

guardTypeSpec ∷ [String] → TypeSpec (GovRelation StrictMaybe era) → Specification (GovRelation StrictMaybe era) Source #

prerequisites ∷ Evidence (Prerequisites (GovRelation StrictMaybe era)) Source #

Era era ⇒ HasSpec (ConwayPParams Identity era) Source # 
Instance details

Associated Types

type TypeSpec (ConwayPParams Identity era) Source #

type Prerequisites (ConwayPParams Identity era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayPParams Identity era) Source #

combineSpec ∷ TypeSpec (ConwayPParams Identity era) → TypeSpec (ConwayPParams Identity era) → Specification (ConwayPParams Identity era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayPParams Identity era) → GenT m (ConwayPParams Identity era) Source #

conformsTo ∷ ConwayPParams Identity era → TypeSpec (ConwayPParams Identity era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayPParams Identity era) → ConwayPParams Identity era → [ConwayPParams Identity era] Source #

toPreds ∷ Term (ConwayPParams Identity era) → TypeSpec (ConwayPParams Identity era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayPParams Identity era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ConwayPParams Identity era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ConwayPParams Identity era) → BinaryShow Source #

monadConformsTo ∷ ConwayPParams Identity era → TypeSpec (ConwayPParams Identity era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ConwayPParams Identity era) → [ConwayPParams Identity era] → Specification (ConwayPParams Identity era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ConwayPParams Identity era) → Specification (ConwayPParams Identity era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayPParams Identity era)) Source #

Typeable c ⇒ HasSpec (ConwayPParams StrictMaybe c) Source # 
Instance details

Associated Types

type TypeSpec (ConwayPParams StrictMaybe c) Source #

type Prerequisites (ConwayPParams StrictMaybe c) Source #

Methods

emptySpec ∷ TypeSpec (ConwayPParams StrictMaybe c) Source #

combineSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → TypeSpec (ConwayPParams StrictMaybe c) → Specification (ConwayPParams StrictMaybe c) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayPParams StrictMaybe c) → GenT m (ConwayPParams StrictMaybe c) Source #

conformsTo ∷ ConwayPParams StrictMaybe c → TypeSpec (ConwayPParams StrictMaybe c) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → ConwayPParams StrictMaybe c → [ConwayPParams StrictMaybe c] Source #

toPreds ∷ Term (ConwayPParams StrictMaybe c) → TypeSpec (ConwayPParams StrictMaybe c) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayPParams StrictMaybe c) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ConwayPParams StrictMaybe c) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ConwayPParams StrictMaybe c) → BinaryShow Source #

monadConformsTo ∷ ConwayPParams StrictMaybe c → TypeSpec (ConwayPParams StrictMaybe c) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ConwayPParams StrictMaybe c) → [ConwayPParams StrictMaybe c] → Specification (ConwayPParams StrictMaybe c) Source #

guardTypeSpec ∷ [String] → TypeSpec (ConwayPParams StrictMaybe c) → Specification (ConwayPParams StrictMaybe c) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayPParams StrictMaybe c)) 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 #

Typeable era ⇒ 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 #

HasSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

Associated Types

type TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

type Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

Methods

emptySpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

combineSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → GenT m (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

conformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] Source #

toPreds ∷ Term (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → BinaryShow Source #

monadConformsTo ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → [DRepPulser ConwayEra Identity (RatifyState ConwayEra)] → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

guardTypeSpec ∷ [String] → TypeSpec (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → Specification (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

prerequisites ∷ Evidence (Prerequisites (DRepPulser ConwayEra Identity (RatifyState ConwayEra))) Source #

(IsNormalType a, Typeable tag, HasSpec a) ⇒ HasSpec (THKD tag Identity a) Source # 
Instance details

Associated Types

type TypeSpec (THKD tag Identity a) Source #

type Prerequisites (THKD tag Identity a) Source #

Methods

emptySpec ∷ TypeSpec (THKD tag Identity a) Source #

combineSpec ∷ TypeSpec (THKD tag Identity a) → TypeSpec (THKD tag Identity a) → Specification (THKD tag Identity a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (THKD tag Identity a) → GenT m (THKD tag Identity a) Source #

conformsTo ∷ THKD tag Identity a → TypeSpec (THKD tag Identity a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (THKD tag Identity a) → THKD tag Identity a → [THKD tag Identity a] Source #

toPreds ∷ Term (THKD tag Identity a) → TypeSpec (THKD tag Identity a) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (THKD tag Identity a) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (THKD tag Identity a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (THKD tag Identity a) → BinaryShow Source #

monadConformsTo ∷ THKD tag Identity a → TypeSpec (THKD tag Identity a) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (THKD tag Identity a) → [THKD tag Identity a] → Specification (THKD tag Identity a) Source #

guardTypeSpec ∷ [String] → TypeSpec (THKD tag Identity a) → Specification (THKD tag Identity a) Source #

prerequisites ∷ Evidence (Prerequisites (THKD tag Identity a)) Source #

(IsNormalType a, Typeable tag, HasSpec a) ⇒ HasSpec (THKD tag StrictMaybe a) Source # 
Instance details

Associated Types

type TypeSpec (THKD tag StrictMaybe a) Source #

type Prerequisites (THKD tag StrictMaybe a) Source #

Methods

emptySpec ∷ TypeSpec (THKD tag StrictMaybe a) Source #

combineSpec ∷ TypeSpec (THKD tag StrictMaybe a) → TypeSpec (THKD tag StrictMaybe a) → Specification (THKD tag StrictMaybe a) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (THKD tag StrictMaybe a) → GenT m (THKD tag StrictMaybe a) Source #

conformsTo ∷ THKD tag StrictMaybe a → TypeSpec (THKD tag StrictMaybe a) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (THKD tag StrictMaybe a) → THKD tag StrictMaybe a → [THKD tag StrictMaybe a] Source #

toPreds ∷ Term (THKD tag StrictMaybe a) → TypeSpec (THKD tag StrictMaybe a) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (THKD tag StrictMaybe a) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (THKD tag StrictMaybe a) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (THKD tag StrictMaybe a) → BinaryShow Source #

monadConformsTo ∷ THKD tag StrictMaybe a → TypeSpec (THKD tag StrictMaybe a) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (THKD tag StrictMaybe a) → [THKD tag StrictMaybe a] → Specification (THKD tag StrictMaybe a) Source #

guardTypeSpec ∷ [String] → TypeSpec (THKD tag StrictMaybe a) → Specification (THKD tag StrictMaybe a) Source #

prerequisites ∷ Evidence (Prerequisites (THKD tag StrictMaybe a)) Source #

HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # 
Instance details

Associated Types

type SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

type TheSop (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) ∷ [Type] Source #

Methods

toSimpleRep ∷ DRepPulser ConwayEra Identity (RatifyState ConwayEra) → SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source #

fromSimpleRep ∷ SimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) → DRepPulser ConwayEra Identity (RatifyState ConwayEra) Source #

Typeable a ⇒ 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 #

Typeable a ⇒ 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, Typeable vk, Typeable vv, Ord k, Eq (vv v), Eq (vk k), HasSpec k, HasSpec v, IsNormalType v, IsNormalType k) ⇒ HasSpec (VMap vk vv k v) Source # 
Instance details

Associated Types

type TypeSpec (VMap vk vv k v) Source #

type Prerequisites (VMap vk vv k v) Source #

Methods

emptySpec ∷ TypeSpec (VMap vk vv k v) Source #

combineSpec ∷ TypeSpec (VMap vk vv k v) → TypeSpec (VMap vk vv k v) → Specification (VMap vk vv k v) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (VMap vk vv k v) → GenT m (VMap vk vv k v) Source #

conformsTo ∷ VMap vk vv k v → TypeSpec (VMap vk vv k v) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (VMap vk vv k v) → VMap vk vv k v → [VMap vk vv k v] Source #

toPreds ∷ Term (VMap vk vv k v) → TypeSpec (VMap vk vv k v) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (VMap vk vv k v) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (VMap vk vv k v) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (VMap vk vv k v) → BinaryShow Source #

monadConformsTo ∷ VMap vk vv k v → TypeSpec (VMap vk vv k v) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (VMap vk vv k v) → [VMap vk vv k v] → Specification (VMap vk vv k v) Source #

guardTypeSpec ∷ [String] → TypeSpec (VMap vk vv k v) → Specification (VMap vk vv k v) Source #

prerequisites ∷ Evidence (Prerequisites (VMap vk vv k v)) Source #

(Typeable k, Typeable v, 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 #