Num DeltaCoin Source # | |
Instance details |
HasSimpleRep ValidityInterval Source # | |
Instance details |
HasSimpleRep IsValid Source # | |
Instance details |
HasSimpleRep Addr28Extra Source # | |
Instance details |
HasSimpleRep DataHash32 Source # | |
Instance details |
HasSimpleRep CoinPerByte Source # | |
Instance details |
HasSimpleRep AddrType Source # | |
Instance details |
HasSimpleRep NetworkMagic Source # | |
Instance details |
HasSimpleRep GovActionId Source # | |
Instance details |
HasSimpleRep GovActionIx Source # | |
Instance details |
HasSimpleRep GovActionPurpose Source # | |
Instance details |
HasSimpleRep Vote Source # | |
Instance details |
HasSimpleRep Voter Source # | |
Instance details |
HasSimpleRep ConwayDelegCert Source # | |
Instance details |
HasSimpleRep ConwayGovCert Source # | |
Instance details |
HasSimpleRep Delegatee Source # | |
Instance details |
HasSimpleRep Addr Source # | |
Instance details |
HasSimpleRep BootstrapAddress Source # | |
Instance details |
HasSimpleRep CompactAddr Source # | |
Instance details |
HasSimpleRep RewardAccount Source # | |
Instance details |
HasSimpleRep Withdrawals Source # | |
Instance details |
HasSimpleRep Anchor Source # | |
Instance details |
HasSimpleRep BlocksMade Source # | |
Instance details |
HasSimpleRep CertIx Source # | |
Instance details |
HasSimpleRep Network Source # | |
Instance details |
HasSimpleRep Port Source # | |
Instance details |
HasSimpleRep TxIx Source # | |
Instance details |
HasSimpleRep Url Source # | |
Instance details |
HasSimpleRep DeltaCoin Source # | |
Instance details |
HasSimpleRep PoolCert Source # | |
Instance details |
HasSimpleRep Ptr Source # | |
Instance details |
HasSimpleRep SlotNo32 Source # | |
Instance details |
HasSimpleRep StakeReference Source # | |
Instance details |
HasSimpleRep DRep Source # | |
Instance details |
HasSimpleRep DRepState Source # | |
Instance details |
HasSimpleRep GenDelegPair Source # | |
Instance details |
HasSimpleRep GenDelegs Source # | |
Instance details |
HasSimpleRep ScriptHash Source # | |
Instance details |
HasSimpleRep TxAuxDataHash Source # | |
Instance details |
HasSimpleRep Metadatum Source # | |
Instance details |
HasSimpleRep Language Source # | |
Instance details |
HasSimpleRep PoolMetadata Source # | |
Instance details |
HasSimpleRep PoolParams Source # | |
Instance details |
HasSimpleRep Reward Source # | |
Instance details |
HasSimpleRep RewardType Source # | |
Instance details |
HasSimpleRep AccountState Source # | |
Instance details |
HasSimpleRep CommitteeAuthorization Source # | |
Instance details |
HasSimpleRep FutureGenDeleg Source # | |
Instance details |
HasSimpleRep InstantaneousRewards Source # | |
Instance details |
HasSimpleRep IndividualPoolStake Source # | |
Instance details |
HasSimpleRep PoolDistr Source # | |
Instance details |
HasSimpleRep SnapShot Source # | |
Instance details |
HasSimpleRep SnapShots Source # | |
Instance details |
HasSimpleRep Stake Source # | |
Instance details |
HasSimpleRep TxId Source # | |
Instance details |
HasSimpleRep TxIn Source # | |
Instance details |
HasSimpleRep RDPair Source # | |
Instance details |
HasSimpleRep UMap Source # | |
Instance details |
HasSimpleRep AssetName Source # | |
Instance details |
HasSimpleRep MaryValue Source # | |
Instance details |
HasSimpleRep MultiAsset Source # | |
Instance details |
HasSimpleRep PolicyID Source # | |
Instance details |
HasSimpleRep Likelihood Source # | |
Instance details |
HasSimpleRep LogWeight Source # | |
Instance details |
HasSimpleRep NonMyopic Source # | |
Instance details |
HasSimpleRep FreeVars Source # | |
Instance details |
HasSimpleRep Pulser Source # | |
Instance details |
HasSimpleRep PulsingRewUpdate Source # | |
Instance details |
HasSimpleRep RewardAns Source # | |
Instance details |
HasSimpleRep RewardSnapShot Source # | |
Instance details |
HasSimpleRep RewardUpdate Source # | |
Instance details |
HasSimpleRep LeaderOnlyReward Source # | |
Instance details |
HasSimpleRep PoolRewardInfo Source # | |
Instance details |
HasSimpleRep StakeShare Source # | |
Instance details |
HasSimpleRep GenesisDelegCert Source # | |
Instance details |
HasSimpleRep MIRCert Source # | |
Instance details |
HasSimpleRep MIRPot Source # | |
Instance details |
HasSimpleRep MIRTarget Source # | |
Instance details |
HasSimpleRep ShelleyDelegCert Source # | |
Instance details |
HasSimpleRep EpochNo Source # | |
Instance details |
HasSimpleRep SlotNo Source # | |
Instance details |
HasSimpleRep Data Source # | |
Instance details |
IsConwayUniv fn ⇒ Foldy fn DeltaCoin Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ByteString Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ShortByteString Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ValidityInterval Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn IsValid Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Addr28Extra Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn DataHash32 Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn CoinPerByte Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn AddrType Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn NetworkMagic Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn GovActionId Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn GovActionIx Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn GovActionPurpose Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Vote Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Voter Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ConwayDelegCert Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ConwayGovCert Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Delegatee Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Addr Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn BootstrapAddress Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn CompactAddr Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn RewardAccount Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Withdrawals Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Anchor Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn BlocksMade Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn CertIx Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Network Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Port Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn TxIx Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Url Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn DeltaCoin Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PoolCert Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Ptr Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn SlotNo32 Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn StakeReference Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn DRep Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn DRepState Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn GenDelegPair Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn GenDelegs Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ScriptHash Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn TxAuxDataHash Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn BootstrapWitness Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Metadatum Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn CostModel Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Language Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PoolMetadata Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PoolParams Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn StakePoolRelay Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Reward Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn RewardType Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn AccountState Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn CommitteeAuthorization Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn FutureGenDeleg Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn InstantaneousRewards Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn IndividualPoolStake Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PoolDistr Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn SnapShot Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn SnapShots Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Stake Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn TxId Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn TxIn Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn RDPair Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn UMap Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn AssetName Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn MaryValue Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn MultiAsset Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PolicyID Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Likelihood Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn LogWeight Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn NonMyopic Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn FreeVars Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Pulser Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PulsingRewUpdate Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn RewardAns Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn RewardSnapShot Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn RewardUpdate Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn LeaderOnlyReward Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PoolRewardInfo Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn StakeShare Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn GenesisDelegCert Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn MIRCert Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn MIRPot Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn MIRTarget Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn ShelleyDelegCert Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn EpochNo Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn SlotNo Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Data Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Text Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn Char Source # | |
Instance details |
IsConwayUniv fn ⇒ NumLike fn DeltaCoin Source # | |
Instance details |
IsConwayUniv fn ⇒ NumLike fn EpochNo Source # | |
Instance details |
IsConwayUniv fn ⇒ OrdLike fn DeltaCoin Source # | |
Instance details |
IsConwayUniv fn ⇒ OrdLike fn EpochNo Source # | |
Instance details |
IsConwayUniv fn ⇒ OrdLike fn SlotNo Source # | |
Instance details |
(HasSpec fn (SimpleRep (Proposals era)), HasSpec fn (Proposals era), HasSimpleRep (Proposals era), IsConwayUniv fn, era ~ ConwayEra, EraSpecPParams ConwayEra) ⇒ HasGenHint fn (Proposals era) Source # | |
Instance details |
(IsConwayUniv fn, Ord a, HasSpec fn a) ⇒ HasSpec fn (OSet a) Source # | |
Instance details |
(Era era, IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (AllegraTxAuxData era) Source # | |
Instance details |
(IsConwayUniv fn, AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (AlonzoScript era) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn, HasSpec fn (TxBody era), HasSpec fn (TxWits era), HasSpec fn (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec fn (AlonzoTx era) Source # | |
Instance details |
(Era era, IsConwayUniv fn, AlonzoEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (AlonzoTxAuxData era) Source # | |
Instance details |
(EraTxOut era, HasSpec fn (Value era), IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTxOut era) Source # | |
Instance details |
(AlonzoEraScript era, IsConwayUniv fn) ⇒ HasSpec fn (AlonzoTxWits era) Source # | |
Instance details |
(IsConwayUniv fn, HasSpec fn (Value era), Era era, HasSpec fn (Data era), Val (Value era), HasSpec fn (Script era), IsNormalType (Script era)) ⇒ HasSpec fn (BabbageTxOut era) Source # | |
Instance details |
(IsConwayUniv fn, HasSpec fn a) ⇒ HasSpec fn (Sized a) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovState ConwayEra) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulsingState ConwayEra) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (PulsingSnapshot ConwayEra) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (EnactState era) Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn (RatifyEnv ConwayEra) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (RatifySignal ConwayEra) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (RatifyState ConwayEra) Source # | |
Instance details |
(Era era, IsConwayUniv fn) ⇒ HasSpec fn (Committee era) Source # | |
Instance details |
(IsConwayUniv fn, EraPParams era) ⇒ HasSpec fn (Constitution era) Source # | |
Instance details |
(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (GovAction era) Source # | |
Instance details |
(IsConwayUniv fn, Era era, EraSpecPParams era) ⇒ HasSpec fn (GovActionState era) Source # | |
Instance details |
(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (ProposalProcedure era) Source # | |
Instance details |
(IsConwayUniv fn, Typeable era) ⇒ HasSpec fn (VotingProcedure era) Source # | |
Instance details |
(IsConwayUniv fn, Typeable era) ⇒ HasSpec fn (VotingProcedures era) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn, Arbitrary (Proposals era)) ⇒ HasSpec fn (Proposals era) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (CertEnv era) Source # | |
Instance details |
(IsConwayUniv fn, EraSpecPParams era, HasSpec fn (Tx era)) ⇒ HasSpec fn (CertsEnv era) Source # | |
Instance details |
(IsConwayUniv fn, HasSpec fn (PParams era), Era era) ⇒ HasSpec fn (ConwayDelegEnv era) Source # | |
Instance details |
(IsConwayUniv fn, EraSpecPParams ConwayEra) ⇒ HasSpec fn (EnactSignal ConwayEra) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn, EraCertState era, HasSpec fn (CertState era)) ⇒ HasSpec fn (GovEnv era) Source # | |
Instance details |
(EraTxCert ConwayEra, EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (GovSignal ConwayEra) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayGovCertEnv ConwayEra) Source # | |
Instance details |
(IsConwayUniv fn, ConwayEraCertState ConwayEra) ⇒ HasSpec fn (ConwayCertState ConwayEra) Source # | |
Instance details |
(Typeable era, IsConwayUniv fn) ⇒ HasSpec fn (ConwayInstantStake era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (VState era) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayTxBody ConwayEra) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayTxCert era) Source # | |
Instance details |
(IsConwayUniv fn, Compactible a, HasSpec fn a, HasSimpleRep a, HasSpec fn (SimpleRep a), Show (TypeSpec fn (SimpleRep a))) ⇒ HasSpec fn (CompactForm a) Source # | |
Instance details |
(IsConwayUniv fn, Typeable r) ⇒ HasSpec fn (Credential r) Source # | |
Instance details |
(IsConwayUniv fn, Typeable a) ⇒ HasSpec fn (NoUpdate a) Source # | |
Instance details |
(IsConwayUniv fn, Typeable index) ⇒ HasSpec fn (SafeHash index) Source # | |
Instance details |
(IsConwayUniv fn, Typeable r) ⇒ HasSpec fn (VRFVerKeyHash r) Source # | |
Instance details |
(IsConwayUniv fn, Typeable r) ⇒ HasSpec fn (WitVKey r) Source # | |
Instance details |
(IsConwayUniv fn, Era era, HasSpec fn (Data era)) ⇒ HasSpec fn (BinaryData era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (Data era) Source # | |
Instance details |
(IsConwayUniv fn, Era era, HasSpec fn (Data era)) ⇒ HasSpec fn (Datum era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (CommitteeState era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (DState era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (PState era) Source # | |
Instance details |
(Era era, HasSpec fn (TxOut era), IsNormalType (TxOut era), IsConwayUniv fn) ⇒ HasSpec fn (UTxO era) Source # | |
Instance details |
(IsConwayUniv fn, EraSpecPParams era) ⇒ HasSpec fn (ShelleyGovState era) Source # | |
Instance details |
(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), EraStake era, EraCertState era, HasSpec fn (InstantStake era), HasSpec fn (CertState era), IsNormalType (CertState era)) ⇒ HasSpec fn (EpochState era) Source # | |
Instance details |
(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), EraStake era, EraCertState era, HasSpec fn (InstantStake era), HasSpec fn (CertState era), IsNormalType (CertState era)) ⇒ HasSpec fn (LedgerState era) Source # | |
Instance details |
(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), HasSpec fn (StashedAVVMAddresses era), EraStake era, EraCertState era, HasSpec fn (CertState era), HasSpec fn (InstantStake era), IsNormalType (CertState era)) ⇒ HasSpec fn (NewEpochState era) Source # | |
Instance details |
(EraTxOut era, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState era), HasSpec fn (InstantStake era), IsConwayUniv fn) ⇒ HasSpec fn (UTxOState era) Source # | |
Instance details |
(IsConwayUniv fn, HasSpec fn (PParams era), Era era) ⇒ HasSpec fn (LedgerEnv era) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn) ⇒ HasSpec fn (PoolEnv era) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn, EraCertState era, HasSpec fn (CertState era)) ⇒ HasSpec fn (UtxoEnv era) Source # | |
Instance details |
(IsConwayUniv fn, EraCertState era) ⇒ HasSpec fn (ShelleyCertState era) Source # | |
Instance details |
(Typeable era, IsConwayUniv fn) ⇒ HasSpec fn (ShelleyInstantStake era) Source # | |
Instance details |
(EraSpecPParams era, IsConwayUniv fn, HasSpec fn (TxBody era), HasSpec fn (TxWits era), HasSpec fn (TxAuxData era), IsNormalType (TxAuxData era)) ⇒ HasSpec fn (ShelleyTx era) Source # | |
Instance details |
(Era era, IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (ShelleyTxAuxData era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ShelleyTxCert era) Source # | |
Instance details |
(EraTxOut era, HasSpec fn (Value era), IsConwayUniv fn) ⇒ HasSpec fn (ShelleyTxOut era) Source # | |
Instance details |
(EraScript era, IsConwayUniv fn) ⇒ HasSpec fn (ShelleyTxWits era) Source # | |
Instance details |
(IsConwayUniv fn, HasSpec fn a) ⇒ HasSpec fn (StrictSeq a) Source # | |
Instance details |
HasSpec fn a ⇒ HasSpec fn (Seq a) Source # | |
Instance details |
HasSpec fn a ⇒ Sized fn (Seq a) Source # | |
Instance details |
(IsConwayUniv fn, HashAlgorithm a, Typeable b) ⇒ HasSpec fn (Hash a b) Source # | |
Instance details |
(IsConwayUniv fn, Typeable b) ⇒ HasSpec fn (AbstractHash Blake2b_224 b) Source # | |
Instance details |
(IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (Timelock era) Source # | |
Instance details |
(Typeable p, IsConwayUniv fn, Era era) ⇒ HasSpec fn (GovPurposeId p era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (GovRelation StrictMaybe era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayPParams Identity era) Source # | |
Instance details |
(IsConwayUniv fn, Typeable c) ⇒ HasSpec fn (ConwayPParams StrictMaybe c) Source # | |
Instance details |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # | |
Instance details |
(IsConwayUniv fn, IsNormalType a, Typeable tag, HasSpec fn a) ⇒ HasSpec fn (THKD tag Identity a) Source # | |
Instance details |
(IsConwayUniv fn, IsNormalType a, Typeable tag, HasSpec fn a) ⇒ HasSpec fn (THKD tag StrictMaybe a) Source # | |
Instance details |
(IsConwayUniv fn, Vector vk k, Vector vv v, Typeable vk, Typeable vv, Ord k, Eq (vv v), Eq (vk k), HasSpec fn k, HasSpec fn v) ⇒ HasSpec fn (VMap vk vv k v) Source # | |
Instance details |
Ord a ⇒ HasSimpleRep (OSet a) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (AllegraTxAuxData era) Source # | |
Instance details |
HasSimpleRep (AlonzoScript era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (AlonzoTx era) Source # | |
Instance details |
AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxAuxData era) Source # | |
Instance details |
(Era era, Val (Value era)) ⇒ HasSimpleRep (AlonzoTxOut era) Source # | |
Instance details |
AlonzoEraScript era ⇒ HasSimpleRep (AlonzoTxWits era) Source # | |
Instance details |
(Era era, Val (Value era)) ⇒ HasSimpleRep (BabbageTxOut era) Source # | |
Instance details |
HasSimpleRep (Sized a) Source # | |
Instance details |
HasSimpleRep (ConwayGovState ConwayEra) Source # | |
Instance details |
HasSimpleRep (DRepPulsingState ConwayEra) Source # | |
Instance details |
HasSimpleRep (PulsingSnapshot ConwayEra) Source # | |
Instance details |
HasSimpleRep (EnactState era) Source # | |
Instance details |
HasSimpleRep (RatifyEnv era) Source # | |
Instance details |
HasSimpleRep (RatifySignal ConwayEra) Source # | |
Instance details |
HasSimpleRep (RatifyState ConwayEra) Source # | |
Instance details |
HasSimpleRep (Committee era) Source # | |
Instance details |
HasSimpleRep (Constitution era) Source # | |
Instance details |
HasSimpleRep (GovAction era) Source # | |
Instance details |
HasSimpleRep (GovActionState era) Source # | |
Instance details |
HasSimpleRep (ProposalProcedure era) Source # | |
Instance details |
HasSimpleRep (VotingProcedure era) Source # | |
Instance details |
HasSimpleRep (VotingProcedures era) Source # | |
Instance details |
EraPParams era ⇒ HasSimpleRep (Proposals era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (CertEnv era) Source # | |
Instance details |
HasSimpleRep (CertsEnv era) Source # | |
Instance details |
HasSimpleRep (ConwayDelegEnv era) Source # | |
Instance details |
HasSimpleRep (EnactSignal ConwayEra) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (GovEnv era) Source # | |
Instance details |
HasSimpleRep (GovSignal era) Source # | |
Instance details |
HasSimpleRep (ConwayGovCertEnv ConwayEra) Source # | |
Instance details |
HasSimpleRep (ConwayCertState ConwayEra) Source # | |
Instance details |
HasSimpleRep (ConwayInstantStake era) Source # | |
Instance details |
HasSimpleRep (VState era) Source # | |
Instance details |
HasSimpleRep (ConwayTxBody ConwayEra) Source # | |
Instance details |
HasSimpleRep (ConwayTxCert era) Source # | |
Instance details |
(Compactible a, HasSimpleRep a, Typeable (SimpleRep a), Show (SimpleRep a)) ⇒ HasSimpleRep (CompactForm a) Source # | |
Instance details |
HasSimpleRep (Credential r) Source # | |
Instance details |
HasSimpleRep (NoUpdate a) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (BinaryData era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (Data era) Source # | |
Instance details |
HasSimpleRep (Datum era) Source # | |
Instance details |
HasSimpleRep (CommitteeState era) Source # | |
Instance details |
HasSimpleRep (DState era) Source # | |
Instance details |
HasSimpleRep (PState era) Source # | |
Instance details |
HasSimpleRep (UTxO era) Source # | |
Instance details |
HasSimpleRep (ShelleyGovState era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (EpochState era) Source # | |
Instance details |
HasSimpleRep (LedgerState era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (NewEpochState era) Source # | |
Instance details |
HasSimpleRep (UTxOState era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (LedgerEnv era) Source # | |
Instance details |
HasSimpleRep (PoolEnv era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (UtxoEnv era) Source # | |
Instance details |
HasSimpleRep (ShelleyCertState era) Source # | |
Instance details |
HasSimpleRep (ShelleyInstantStake era) Source # | |
Instance details |
EraSpecPParams era ⇒ HasSimpleRep (ShelleyTx era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (ShelleyTxAuxData era) Source # | |
Instance details |
HasSimpleRep (ShelleyTxCert era) Source # | |
Instance details |
(Era era, Val (Value era)) ⇒ HasSimpleRep (ShelleyTxOut era) Source # | |
Instance details |
EraScript era ⇒ HasSimpleRep (ShelleyTxWits era) Source # | |
Instance details |
HasSimpleRep (StrictSeq a) Source # | |
Instance details |
HasSimpleRep (Seq a) Source # | |
Instance details |
Ord a ⇒ Forallable (OSet a) a Source # | |
Instance details |
Forallable (StrictSeq a) a Source # | |
Instance details |
Forallable (Seq a) a Source # | |
Instance details |
HasSimpleRep (GovPurposeId p era) Source # | |
Instance details |
HasSimpleRep (GovRelation StrictMaybe era) Source # | |
Instance details |
HasSimpleRep (ConwayPParams Identity era) Source # | |
Instance details |
HasSimpleRep (ConwayPParams StrictMaybe c) Source # | |
Instance details |
HasSimpleRep (DRepPulser ConwayEra Identity (RatifyState ConwayEra)) Source # | |
Instance details |
HasSimpleRep (THKD tag Identity a) Source # | |
Instance details |
HasSimpleRep (THKD tag StrictMaybe a) Source # | |
Instance details |
(Vector vk k, Vector vv v) ⇒ HasSimpleRep (VMap vk vv k v) Source # | |
Instance details |