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