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 CommitteeAuthorization Source # | |
Instance details |
HasSimpleRep FutureGenDeleg Source # | |
Instance details |
HasSimpleRep InstantaneousRewards Source # | |
Instance details |
HasSimpleRep DeltaCoin Source # | |
Instance details |
HasSimpleRep PoolCert Source # | |
Instance details |
HasSimpleRep Ptr Source # | |
Instance details |
HasSimpleRep StakeReference Source # | |
Instance details |
HasSimpleRep DRep Source # | |
Instance details |
HasSimpleRep DRepState Source # | |
Instance details |
HasSimpleRep SnapShot Source # | |
Instance details |
HasSimpleRep SnapShots Source # | |
Instance details |
HasSimpleRep Stake 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 IndividualPoolStake Source # | |
Instance details |
HasSimpleRep PoolDistr Source # | |
Instance details |
HasSimpleRep PoolMetadata Source # | |
Instance details |
HasSimpleRep PoolParams Source # | |
Instance details |
HasSimpleRep Reward Source # | |
Instance details |
HasSimpleRep RewardType 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 AccountState Source # | |
Instance details |
HasSimpleRep IncrementalStake 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 CommitteeAuthorization Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn FutureGenDeleg Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn InstantaneousRewards 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 StakeReference Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn DRep Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn DRepState 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 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 IndividualPoolStake Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn PoolDistr 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 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 AccountState Source # | |
Instance details |
IsConwayUniv fn ⇒ HasSpec fn IncrementalStake 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 |
(IsConwayUniv fn, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ HasSpec fn (Timelock era) 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 |
(Era era, IsConwayUniv fn) ⇒ HasSpec fn (RatifyEnv era) 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) ⇒ 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 |
(EraSpecPParams ConwayEra, IsConwayUniv fn) ⇒ HasSpec fn (ConwayTxBody ConwayEra) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayTxCert era) Source # | |
Instance details |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (CertState 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 |
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (VState 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 |
(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)) ⇒ HasSpec fn (EpochState era) Source # | |
Instance details |
(EraTxOut era, IsConwayUniv fn, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState 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)) ⇒ HasSpec fn (NewEpochState era) Source # | |
Instance details |
(EraTxOut era, HasSpec fn (TxOut era), IsNormalType (TxOut era), HasSpec fn (GovState 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) ⇒ HasSpec fn (UtxoEnv 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 |
(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 (ConwayTxBody ConwayEra) Source # | |
Instance details |
HasSimpleRep (ConwayTxCert era) Source # | |
Instance details |
HasSimpleRep (CertState era) Source # | |
Instance details |
HasSimpleRep (CommitteeState era) Source # | |
Instance details |
HasSimpleRep (DState era) Source # | |
Instance details |
HasSimpleRep (PState era) Source # | |
Instance details |
HasSimpleRep (VState 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 (UTxO era) Source # | |
Instance details |
HasSimpleRep (ShelleyGovState era) Source # | |
Instance details |
Era era ⇒ HasSimpleRep (EpochState era) Source # | |
Instance details |
EraTxOut era ⇒ 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 |
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 |