Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Api.Any
Synopsis
- data family Hash keyrole :: Type
- class HasTypeProxy t where
- data AsType t
- proxyToAsType :: Proxy t -> AsType t
- data FromSomeType (c :: Type -> Constraint) b where
- FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b
- data FileError e
- class CastHash roleA roleB where
- class HasTypeProxy a => SerialiseAsRawBytes a where
- serialiseToRawBytes :: a -> ByteString
- deserialiseFromRawBytes :: AsType a -> ByteString -> Maybe a
- class HasTypeProxy a => SerialiseAsCBOR a where
- serialiseToCBOR :: a -> ByteString
- deserialiseFromCBOR :: AsType a -> ByteString -> Either DecoderError a
- class Show e => Error e where
- displayError :: e -> String
- data ErrorAsException where
- ErrorAsException :: Error e => e -> ErrorAsException
- class (HasTypeProxy a, SerialiseAsRawBytes a) => SerialiseAsBech32 a where
- bech32PrefixFor :: a -> Text
- bech32PrefixesPermitted :: AsType a -> [Text]
- data Bech32DecodeError
- serialiseToRawBytesHex :: SerialiseAsRawBytes a => a -> ByteString
- serialiseToRawBytesHexText :: SerialiseAsRawBytes a => a -> Text
- deserialiseFromRawBytesHex :: SerialiseAsRawBytes a => AsType a -> ByteString -> Maybe a
- throwErrorAsException :: Error e => e -> IO a
- serialiseToBech32 :: a -> Text
- deserialiseFromBech32 :: AsType a -> Text -> Either Bech32DecodeError a
- class Typeable a => DecCBOR a where
- class Typeable a => EncCBOR a where
- encCBOR :: a -> Encoding
- encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy a -> Size
- encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [a] -> Size
- class Typeable a => FromCBOR a where
- fromCBOR :: Decoder s a
- class Typeable a => ToCBOR a where
- toCBOR :: a -> Encoding
- data Proxy (t :: k) = Proxy
Documentation
class HasTypeProxy t where Source #
Associated Types
A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.
Values of this type are passed to deserialisation functions for example.
Methods
proxyToAsType :: Proxy t -> AsType t Source #
Instances
HasTypeProxy a => HasTypeProxy (Hash a) Source # | |
data FromSomeType (c :: Type -> Constraint) b where Source #
Constructors
FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b |
Constructors
FileError FilePath e | |
FileErrorTempFile | |
FileIOError FilePath IOException |
class HasTypeProxy a => SerialiseAsRawBytes a where Source #
Methods
serialiseToRawBytes :: a -> ByteString Source #
deserialiseFromRawBytes :: AsType a -> ByteString -> Maybe a Source #
class HasTypeProxy a => SerialiseAsCBOR a where Source #
Minimal complete definition
Nothing
Methods
serialiseToCBOR :: a -> ByteString Source #
default serialiseToCBOR :: ToCBOR a => a -> ByteString Source #
deserialiseFromCBOR :: AsType a -> ByteString -> Either DecoderError a Source #
class Show e => Error e where Source #
Methods
displayError :: e -> String Source #
Instances
Error IOException Source # | |
Defined in Cardano.Api.Any Methods displayError :: IOException -> String Source # | |
Error Bech32DecodeError Source # | |
Defined in Cardano.Api.Any Methods | |
Error ProtocolInstantiationError Source # | |
Defined in Cardano.Node.Protocol Methods displayError :: ProtocolInstantiationError -> String Source # | |
Error () Source # | |
Defined in Cardano.Api.Any Methods displayError :: () -> String Source # | |
Error e => Error (FileError e) Source # | |
Defined in Cardano.Api.Any Methods displayError :: FileError e -> String Source # |
data ErrorAsException where Source #
Constructors
ErrorAsException :: Error e => e -> ErrorAsException |
Instances
Exception ErrorAsException Source # | |
Defined in Cardano.Api.Any Methods toException :: ErrorAsException -> SomeException Source # fromException :: SomeException -> Maybe ErrorAsException Source # | |
Show ErrorAsException Source # | |
Defined in Cardano.Api.Any |
class (HasTypeProxy a, SerialiseAsRawBytes a) => SerialiseAsBech32 a where Source #
Methods
bech32PrefixFor :: a -> Text Source #
The human readable prefix to use when encoding this value to Bech32.
bech32PrefixesPermitted :: AsType a -> [Text] Source #
The set of human readable prefixes that can be used for this type.
data Bech32DecodeError Source #
Instances
Show Bech32DecodeError Source # | |
Defined in Cardano.Api.Any | |
Error Bech32DecodeError Source # | |
Defined in Cardano.Api.Any Methods |
serialiseToRawBytesHex :: SerialiseAsRawBytes a => a -> ByteString Source #
serialiseToRawBytesHexText :: SerialiseAsRawBytes a => a -> Text Source #
deserialiseFromRawBytesHex :: SerialiseAsRawBytes a => AsType a -> ByteString -> Maybe a Source #
throwErrorAsException :: Error e => e -> IO a Source #
The preferred approach is to use Except
or ExceptT
, but you can if
necessary use IO exceptions.
serialiseToBech32 :: a -> Text Source #
deserialiseFromBech32 :: AsType a -> Text -> Either Bech32DecodeError a Source #
class Typeable a => DecCBOR a where #
Minimal complete definition
Nothing
Instances
DecCBOR ByteArray | |
DecCBOR Void | |
DecCBOR Int16 | |
DecCBOR Int32 | |
DecCBOR Int64 | |
DecCBOR Int8 | |
DecCBOR Rational | |
DecCBOR Word16 | |
DecCBOR Word32 | |
DecCBOR Word64 | |
DecCBOR Word8 | |
DecCBOR ByteString | |
DecCBOR ByteString | |
DecCBOR ShortByteString | |
DecCBOR Proof | |
DecCBOR SignKey | |
DecCBOR VerKey | |
DecCBOR ProtocolMagicId | |
DecCBOR RequiresNetworkMagic | |
DecCBOR Raw | |
DecCBOR CompactRedeemVerificationKey | |
DecCBOR RedeemSigningKey | |
DecCBOR RedeemVerificationKey | |
DecCBOR SigningKey | |
DecCBOR VerificationKey | |
DecCBOR ValidityInterval | |
DecCBOR CoinPerWord | |
DecCBOR AlonzoGenesis | |
DecCBOR OrdExUnits | |
DecCBOR FailureDescription | |
DecCBOR TagMismatchDescription | |
DecCBOR Tag | |
DecCBOR IsValid | |
DecCBOR RdmrPtr | |
DecCBOR MemberStatus | |
DecCBOR NextEpochChange | |
DecCBOR CoinPerByte | |
DecCBOR Version | |
DecCBOR Body | |
DecCBOR BlockSignature | |
DecCBOR ToSign | |
DecCBOR Proof | |
DecCBOR ChainValidationState | |
DecCBOR ApplyMempoolPayloadErr | |
DecCBOR HDAddressPayload | |
DecCBOR AddrSpendingData | |
DecCBOR AddrType | |
DecCBOR Address | |
DecCBOR Address' | |
DecCBOR BlockCount | |
DecCBOR ChainDifficulty | |
DecCBOR CompactAddress | |
DecCBOR KeyHash | |
DecCBOR Lovelace | |
DecCBOR LovelaceError | |
DecCBOR LovelacePortion | |
DecCBOR NetworkMagic | |
DecCBOR TxFeePolicy | |
DecCBOR TxSizeLinear | |
DecCBOR Certificate | |
DecCBOR Map | |
DecCBOR Payload | |
DecCBOR State | |
DecCBOR State | |
DecCBOR Error | |
DecCBOR ScheduledDelegation | |
DecCBOR State | |
DecCBOR GenesisAvvmBalances | |
DecCBOR Config | |
DecCBOR GenesisData | |
DecCBOR GenesisDelegation | |
DecCBOR GenesisHash | |
DecCBOR GenesisKeyHashes | |
DecCBOR GenesisNonAvvmBalances | |
DecCBOR EpochAndSlotCount | |
DecCBOR EpochNumber | |
DecCBOR EpochSlots | |
DecCBOR SlotCount | |
DecCBOR SlotNumber | |
DecCBOR SscPayload | |
DecCBOR SscProof | |
DecCBOR CompactTxId | |
DecCBOR CompactTxIn | |
DecCBOR CompactTxOut | |
DecCBOR Tx | |
DecCBOR TxIn | |
DecCBOR TxOut | |
DecCBOR TxAux | |
DecCBOR TxPayload | |
DecCBOR TxProof | |
DecCBOR TxInWitness | |
DecCBOR TxSigData | |
DecCBOR UTxO | |
DecCBOR UTxOError | |
DecCBOR UTxOConfiguration | |
DecCBOR ApplicationName | |
DecCBOR ApplicationNameError | |
DecCBOR InstallerHash | |
DecCBOR Payload | |
DecCBOR Proposal | |
DecCBOR ProposalBody | |
DecCBOR ProtocolParameters | |
DecCBOR ProtocolParametersUpdate | |
DecCBOR ProtocolVersion | |
DecCBOR SoftforkRule | |
DecCBOR SoftwareVersion | |
DecCBOR SoftwareVersionError | |
DecCBOR SystemTag | |
DecCBOR SystemTagError | |
DecCBOR CandidateProtocolUpdate | |
DecCBOR Endorsement | |
DecCBOR Error | |
DecCBOR Error | |
DecCBOR State | |
DecCBOR Adopted | |
DecCBOR ApplicationVersion | |
DecCBOR Error | |
DecCBOR ProtocolUpdateProposal | |
DecCBOR SoftwareUpdateProposal | |
DecCBOR Error | |
DecCBOR Vote | |
DecCBOR DRepVotingThresholds | |
DecCBOR PoolVotingThresholds | |
DecCBOR GovActionIx | |
DecCBOR Vote | |
DecCBOR ActiveSlotCoeff | |
DecCBOR CertIx | |
DecCBOR DnsName | |
DecCBOR Network | |
DecCBOR NonNegativeInterval | |
DecCBOR Nonce | |
DecCBOR Port | |
DecCBOR PositiveInterval | |
DecCBOR PositiveUnitInterval | |
DecCBOR ProtVer | |
DecCBOR TxIx | |
DecCBOR UnitInterval | |
DecCBOR Url | |
DecCBOR Coin | |
DecCBOR DeltaCoin | |
DecCBOR Ptr | |
DecCBOR ChainCode | |
DecCBOR CostModels | |
DecCBOR PlutusData | |
DecCBOR ExUnits | |
DecCBOR Prices | |
DecCBOR BinaryPlutus | |
DecCBOR Language | |
DecCBOR PoolMetadata | |
DecCBOR StakePoolRelay | |
DecCBOR RewardType | |
DecCBOR RDPair | |
DecCBOR AssetName | |
DecCBOR RewardInfoPool | |
DecCBOR RewardParams | |
DecCBOR NominalDiffTimeMicro | |
DecCBOR AccountState | |
DecCBOR Likelihood | |
DecCBOR LogWeight | |
DecCBOR PerformanceEstimate | |
DecCBOR Desirability | |
DecCBOR VotingPeriod | |
DecCBOR Metadatum | |
DecCBOR MIRPot | |
DecCBOR KESPeriod | |
DecCBOR TicknState | |
DecCBOR BlockNo | |
DecCBOR EpochNo | |
DecCBOR EpochSize | |
DecCBOR SlotNo | |
DecCBOR SystemStart | |
DecCBOR ByteArray | |
DecCBOR SlicedByteArray | |
DecCBOR Term | |
DecCBOR IPv4 | |
DecCBOR IPv6 | |
DecCBOR ByronHash | |
DecCBOR Data | |
DecCBOR Text | |
DecCBOR UTCTime | |
DecCBOR Integer | |
DecCBOR Natural | |
DecCBOR () | |
DecCBOR Bool | |
DecCBOR Double | |
DecCBOR Float | |
DecCBOR Int | |
DecCBOR Word | |
DecCBOR a => DecCBOR (NonEmpty a) | |
DSIGNAlgorithm v => DecCBOR (SigDSIGN v) | |
DSIGNAlgorithm v => DecCBOR (SignKeyDSIGN v) | |
DSIGNAlgorithm v => DecCBOR (VerKeyDSIGN v) | |
DSIGNAlgorithm d => DecCBOR (SigKES (CompactSingleKES d)) | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => DecCBOR (SigKES (CompactSumKES h d)) | |
KnownNat t => DecCBOR (SigKES (MockKES t)) | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => DecCBOR (SigKES (SimpleKES d t)) | |
DSIGNAlgorithm d => DecCBOR (SigKES (SingleKES d)) | |
(KESAlgorithm d, HashAlgorithm h) => DecCBOR (SigKES (SumKES h d)) | |
DSIGNAlgorithm d => DecCBOR (SignKeyKES (CompactSingleKES d)) | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => DecCBOR (SignKeyKES (CompactSumKES h d)) | |
KnownNat t => DecCBOR (SignKeyKES (MockKES t)) | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => DecCBOR (SignKeyKES (SimpleKES d t)) | |
DSIGNAlgorithm d => DecCBOR (SignKeyKES (SingleKES d)) | |
(KESAlgorithm d, HashAlgorithm h) => DecCBOR (SignKeyKES (SumKES h d)) | |
DSIGNAlgorithm d => DecCBOR (VerKeyKES (CompactSingleKES d)) | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => DecCBOR (VerKeyKES (CompactSumKES h d)) | |
KnownNat t => DecCBOR (VerKeyKES (MockKES t)) | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => DecCBOR (VerKeyKES (SimpleKES d t)) | |
DSIGNAlgorithm d => DecCBOR (VerKeyKES (SingleKES d)) | |
(KESAlgorithm d, HashAlgorithm h) => DecCBOR (VerKeyKES (SumKES h d)) | |
DecCBOR (CertVRF MockVRF) | |
DecCBOR (CertVRF SimpleVRF) | |
DecCBOR (CertVRF PraosVRF) | |
Typeable v => DecCBOR (OutputVRF v) | |
DecCBOR (SignKeyVRF MockVRF) | |
DecCBOR (SignKeyVRF SimpleVRF) | |
DecCBOR (SignKeyVRF PraosVRF) | |
DecCBOR (VerKeyVRF MockVRF) | |
DecCBOR (VerKeyVRF SimpleVRF) | |
DecCBOR (VerKeyVRF PraosVRF) | |
Typeable a => DecCBOR (RedeemSignature a) | |
Typeable a => DecCBOR (Signature a) | |
(Show a, Ord a, DecCBOR a) => DecCBOR (OSet a) | |
(EraTxOut era, DecCBOR (PPUPPredFailure era)) => DecCBOR (AllegraUtxoPredFailure era) | |
Crypto c => DecCBOR (TranslationError c) | |
(Era era, DecCBOR (TxCert era)) => DecCBOR (CollectError era) | |
(Typeable era, DecCBOR (ShelleyBbodyPredFailure era)) => DecCBOR (AlonzoBbodyPredFailure era) | |
(Era era, DecCBOR (TxOut era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) => DecCBOR (AlonzoUtxoPredFailure era) | |
(Era era, DecCBOR (TxCert era), DecCBOR (PPUPPredFailure era)) => DecCBOR (AlonzoUtxosPredFailure era) | |
(Era era, DecCBOR (TxCert era), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (AlonzoUtxowPredFailure era) | |
(Era era, DecCBOR (TxCert era)) => DecCBOR (ScriptPurpose era) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (AlonzoTxBodyRaw era) | |
(Era era, Val (Value era)) => DecCBOR (AlonzoTxOut era) | |
Crypto c => DecCBOR (CommitteeMemberState c) | |
Crypto c => DecCBOR (CommitteeMembersState c) | |
Crypto c => DecCBOR (HotCredAuthStatus c) | |
(Era era, DecCBOR (TxOut era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era)), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (BabbageUtxoPredFailure era) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era)), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (BabbageUtxowPredFailure era) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (BabbageTxBodyRaw era) | |
(EraScript era, Val (Value era)) => DecCBOR (BabbageTxOut era) | |
Era era => DecCBOR (Annotator (Timelock era)) | |
Era era => DecCBOR (Annotator (TimelockRaw era)) | |
Era era => DecCBOR (Annotator (AllegraTxAuxData era)) | |
Era era => DecCBOR (Annotator (AllegraTxAuxDataRaw era)) | |
AllegraEraTxBody era => DecCBOR (Annotator (AllegraTxBody era)) | |
AllegraEraTxBody era => DecCBOR (Annotator (AllegraTxBodyRaw () era)) | |
Era era => DecCBOR (Annotator (AlonzoScript era)) | |
(Typeable era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) => DecCBOR (Annotator (AlonzoTx era)) | |
Era era => DecCBOR (Annotator (AlonzoTxAuxDataRaw era)) | |
Era era => DecCBOR (Annotator (AuxiliaryData era)) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (Annotator (AlonzoTxBody era)) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (Annotator (AlonzoTxBodyRaw era)) | |
AlonzoEraTx era => DecCBOR (Annotator (TxSeq era)) | |
(EraScript era, Script era ~ AlonzoScript era) => DecCBOR (Annotator (AlonzoTxWits era)) | |
(EraScript era, EncCBOR (Data era), EraScript era, Script era ~ AlonzoScript era) => DecCBOR (Annotator (AlonzoTxWitsRaw era)) | |
Era era => DecCBOR (Annotator (Redeemers era)) | |
Era era => DecCBOR (Annotator (RedeemersRaw era)) | |
Era era => DecCBOR (Annotator (TxDats era)) | |
Era era => DecCBOR (Annotator (TxDatsRaw era)) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (Annotator (BabbageTxBody era)) | |
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (Annotator (BabbageTxBodyRaw era)) | |
(DecCBOR (TxOut era), EraPParams era, ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (Annotator (ConwayTxBody era)) | |
(DecCBOR (TxOut era), EraPParams era, ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (Annotator (ConwayTxBodyRaw era)) | |
(EraSegWits era, DecCBOR (Annotator h), Typeable h) => DecCBOR (Annotator (Block h era)) | |
Crypto c => DecCBOR (Annotator (BootstrapWitness c)) | |
(Typeable kr, Crypto c) => DecCBOR (Annotator (WitVKey kr c)) | |
(Typeable t, DecCBOR (Annotator (t era)), Era era) => DecCBOR (Annotator (MemoBytes t era)) | |
Era era => DecCBOR (Annotator (Data era)) | |
Typeable era => DecCBOR (Annotator (PlutusData era)) | |
DecCBOR (Annotator BinaryPlutus) | |
MaryEraTxBody era => DecCBOR (Annotator (MaryTxBody era)) | |
AllegraEraTxBody era => DecCBOR (Annotator (MaryTxBodyRaw era)) | |
EraTx era => DecCBOR (Annotator (ShelleyTxSeq era)) | |
Era era => DecCBOR (Annotator (MultiSig era)) | |
Era era => DecCBOR (Annotator (MultiSigRaw era)) | |
EraTx era => DecCBOR (Annotator (ShelleyTx era)) | |
(Era era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) => DecCBOR (Annotator (ShelleyTxRaw era)) | |
Typeable era => DecCBOR (Annotator (ShelleyTxAuxData era)) | |
EraTxBody era => DecCBOR (Annotator (ShelleyTxBody era)) | |
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) => DecCBOR (Annotator (ShelleyTxBodyRaw era)) | |
EraScript era => DecCBOR (Annotator (ShelleyTxWits era)) | |
Crypto c => DecCBOR (Annotator (BHeader c)) | |
ShelleyCompatible proto era => DecCBOR (Annotator (Header (ShelleyBlock proto era))) | |
ShelleyCompatible proto era => DecCBOR (Annotator (ShelleyBlock proto era)) | |
Crypto c => DecCBOR (Annotator (Header c)) | |
Crypto crypto => DecCBOR (Annotator (HeaderRaw crypto)) | |
DecCBOR (Annotator Data) | |
DecCBOR a => DecCBOR (Sized a) | |
(DecCBORGroup a, EncCBORGroup a) => DecCBOR (CBORGroup a) | |
DecCBOR (ABody ByteSpan) | |
DecCBOR (ABlockSignature ByteSpan) | |
DecCBOR (Attributes AddrAttributes) | |
DecCBOR (Attributes ()) | |
DecCBOR a => DecCBOR (MerkleRoot a) | |
(DecCBOR a, EncCBOR a) => DecCBOR (MerkleTree a) | |
DecCBOR (ACertificate ByteSpan) | |
DecCBOR (APayload ByteSpan) | |
DecCBOR (ATxAux ByteSpan) | |
DecCBOR (ATxPayload ByteSpan) | |
DecCBOR (APayload ByteSpan) | |
DecCBOR (AProposal ByteSpan) | |
DecCBOR n => DecCBOR (TooLarge n) | |
DecCBOR (AVote ByteSpan) | |
Crypto c => DecCBOR (ConwayGenesis c) | |
EraPParams era => DecCBOR (ConwayGovState era) | |
EraPParams era => DecCBOR (DRepPulsingState era) | |
EraPParams era => DecCBOR (EnactState era) | |
Era era => DecCBOR (PrevGovActionIds era) | |
EraPParams era => DecCBOR (PulsingSnapshot era) | |
EraPParams era => DecCBOR (RatifyState era) | |
Era era => DecCBOR (Committee era) | |
EraPParams era => DecCBOR (GovAction era) | |
Crypto c => DecCBOR (GovActionId c) | |
EraPParams era => DecCBOR (GovActionState era) | |
EraPParams era => DecCBOR (ProposalProcedure era) | |
Crypto c => DecCBOR (Voter c) | |
Era era => DecCBOR (VotingProcedure era) | |
Era era => DecCBOR (VotingProcedures era) | |
EraPParams era => DecCBOR (Proposals era) | |
DecCBOR (UpgradeConwayPParams Identity) | |
(Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) => DecCBOR (ConwayCertPredFailure era) | |
(Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) => DecCBOR (ConwayCertsPredFailure era) | |
Era era => DecCBOR (ConwayDelegPredFailure era) | |
EraPParams era => DecCBOR (ConwayGovPredFailure era) | |
(Typeable era, Crypto (EraCrypto era)) => DecCBOR (ConwayGovCertPredFailure era) | |
(Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) => DecCBOR (ConwayLedgerPredFailure era) | |
(EraPParams era, DecCBOR (TxOut era), ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (ConwayTxBodyRaw era) | |
(ConwayEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (ConwayTxCert era) | |
Crypto c => DecCBOR (Addr c) | |
Crypto c => DecCBOR (CompactAddr c) | |
Crypto c => DecCBOR (RewardAcnt c) | |
Crypto c => DecCBOR (Withdrawals c) | |
Crypto c => DecCBOR (AuxiliaryDataHash c) | |
Crypto c => DecCBOR (Anchor c) | |
Crypto c => DecCBOR (BlocksMade c) | |
Era era => DecCBOR (CommitteeState era) | |
Crypto c => DecCBOR (FutureGenDeleg c) | |
(Era era, DecShareCBOR (PState era)) => DecCBOR (PState era) | |
Era era => DecCBOR (VState era) | |
DecCBOR (CompactForm Coin) | |
DecCBOR (CompactForm DeltaCoin) | |
Crypto c => DecCBOR (CompactForm (MaryValue c)) | |
(Typeable era, DecCBOR (PParamsHKD Identity era)) => DecCBOR (PParams era) | |
(Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) => DecCBOR (PParamsUpdate era) | |
Crypto c => DecCBOR (DRep c) | |
Crypto c => DecCBOR (DRepState c) | |
Crypto c => DecCBOR (SnapShots c) | |
Crypto c => DecCBOR (ScriptHash c) | |
Crypto c => DecCBOR (GenDelegPair c) | |
Crypto c => DecCBOR (GenDelegs c) | |
Era era => DecCBOR (BinaryData era) | |
Era era => DecCBOR (Datum era) | |
IsLanguage l => DecCBOR (PlutusDebugLang l) | |
IsLanguage l => DecCBOR (SLanguage l) | |
Crypto c => DecCBOR (TxOutSource c) | |
Crypto c => DecCBOR (IndividualPoolStake c) | |
Crypto c => DecCBOR (PoolDistr c) | |
Crypto c => DecCBOR (PoolParams c) | |
Crypto c => DecCBOR (Reward c) | |
Crypto c => DecCBOR (TxId c) | |
Crypto c => DecCBOR (TxIn c) | |
(Era era, DecCBOR (TxOut era)) => DecCBOR (UTxO era) | |
AllegraEraTxBody era => DecCBOR (MaryTxBodyRaw era) | |
Crypto c => DecCBOR (CompactValue c) | |
Crypto c => DecCBOR (MaryValue c) | |
Crypto c => DecCBOR (MultiAsset c) | |
Crypto c => DecCBOR (PolicyID c) | |
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) => DecCBOR (ApplyTxError era) | |
Crypto c => DecCBOR (ShelleyGenesis c) | |
Crypto c => DecCBOR (ShelleyGenesisStaking c) | |
Era era => DecCBOR (Constitution era) | |
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecCBOR (ShelleyGovState era) | |
(EraTxOut era, EraGov era) => DecCBOR (EpochState era) | |
(EraTxOut era, EraGov era, DecCBOR (StashedAVVMAddresses era)) => DecCBOR (NewEpochState era) | |
(Era era, DecCBOR (PParamsUpdate era)) => DecCBOR (ProposedPPUpdates era) | |
(Era era, DecCBOR (PParamsUpdate era)) => DecCBOR (Update era) | |
Crypto c => DecCBOR (RewardProvenance c) | |
Crypto c => DecCBOR (RewardProvenancePool c) | |
Crypto c => DecCBOR (FreeVars c) | |
Crypto c => DecCBOR (Pulser c) | |
Crypto c => DecCBOR (PulsingRewUpdate c) | |
Crypto c => DecCBOR (RewardAns c) | |
Crypto c => DecCBOR (RewardSnapShot c) | |
Crypto c => DecCBOR (RewardUpdate c) | |
Crypto c => DecCBOR (LeaderOnlyReward c) | |
Crypto c => DecCBOR (PoolRewardInfo c) | |
(Era era, Typeable (Script era)) => DecCBOR (ShelleyDelegPredFailure era) | |
(Era era, DecCBOR (PredicateFailure (EraRule "DELPL" era)), Typeable (Script era)) => DecCBOR (ShelleyDelegsPredFailure era) | |
(Era era, DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "DELEG" era)), Typeable (Script era)) => DecCBOR (ShelleyDelplPredFailure era) | |
(DecCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) => DecCBOR (ShelleyLedgerPredFailure era) | |
(Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) => DecCBOR (ShelleyLedgersPredFailure era) | |
Era era => DecCBOR (ShelleyPoolPredFailure era) | |
Era era => DecCBOR (ShelleyPpupPredFailure era) | |
(EraTxOut era, DecCBOR (PPUPPredFailure era)) => DecCBOR (ShelleyUtxoPredFailure era) | |
(Era era, DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (ShelleyUtxowPredFailure era) | |
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) => DecCBOR (ShelleyTxBodyRaw era) | |
Crypto c => DecCBOR (MIRCert c) | |
Crypto c => DecCBOR (MIRTarget c) | |
(ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) => DecCBOR (ShelleyTxCert era) | |
(Era era, DecCBOR (CompactForm (Value era))) => DecCBOR (ShelleyTxOut era) | |
Crypto c => DecCBOR (ChainDepState c) | |
Crypto c => DecCBOR (BHBody c) | |
Crypto c => DecCBOR (HashHeader c) | |
Crypto c => DecCBOR (LastAppliedBlock c) | |
Crypto c => DecCBOR (PrevHash c) | |
Crypto c => DecCBOR (OBftSlot c) | |
Crypto c => DecCBOR (PrtclState c) | |
(Serialise t, Typeable t) => DecCBOR (WithOrigin t) | |
DecCBOR a => DecCBOR (StrictMaybe a) | |
DecCBOR a => DecCBOR (StrictSeq a) | |
DecCBOR a => DecCBOR (Seq a) | |
(Ord a, DecCBOR a) => DecCBOR (Set a) | |
Crypto crypto => DecCBOR (HeaderBody crypto) | |
Crypto crypto => DecCBOR (HeaderRaw crypto) | |
DecCBOR a => DecCBOR (Vector a) | |
(DecCBOR a, Prim a) => DecCBOR (Vector a) | |
(DecCBOR a, Storable a) => DecCBOR (Vector a) | |
(DecCBOR a, Unbox a) => DecCBOR (Vector a) | |
DecCBOR a => DecCBOR (Maybe a) | |
DecCBOR a => DecCBOR [a] | |
(DecCBOR a, DecCBOR b) => DecCBOR (Either a b) | |
Typeable p => DecCBOR (Fixed p) | |
(HashAlgorithm h, Typeable a) => DecCBOR (Hash h a) | |
(VRFAlgorithm v, Typeable a) => DecCBOR (CertifiedVRF v a) | |
(Typeable algo, Typeable a, HashAlgorithm algo) => DecCBOR (AbstractHash algo a) | |
(DecCBOR k, DecCBOR v) => DecCBOR (ListMap k v) | |
(Typeable k, HasOKey k v, DecCBOR v, Eq v) => DecCBOR (OMap k v) | |
(DecCBOR ma, Monoid ma, AllegraEraTxBody era) => DecCBOR (AllegraTxBodyRaw ma era) | |
Era era => DecCBOR (AlonzoPParams Identity era) | |
Era era => DecCBOR (AlonzoPParams StrictMaybe era) | |
Era era => DecCBOR (BabbagePParams Identity era) | |
Era era => DecCBOR (BabbagePParams StrictMaybe era) | |
(Crypto c, Typeable r) => DecCBOR (PrevGovActionId r c) | |
Era era => DecCBOR (ConwayPParams Identity era) | |
Era era => DecCBOR (ConwayPParams StrictMaybe era) | |
(DecCBOR a, Bounded (BoundedRatio b a), Bounded a, Integral a, Typeable b, Show a) => DecCBOR (BoundedRatio b a) | |
(Typeable kr, Crypto c) => DecCBOR (Credential kr c) | |
(Crypto c, Typeable disc) => DecCBOR (KeyHash disc c) | |
(Crypto c, Typeable kd) => DecCBOR (VKey kd c) | |
(Typeable index, Crypto c) => DecCBOR (SafeHash c index) | |
Era era => DecCBOR (ShelleyPParams Identity era) | |
Era era => DecCBOR (ShelleyPParams StrictMaybe era) | |
(Ord k, DecCBOR k, DecCBOR v) => DecCBOR (Map k v) | |
(DecCBOR a, DecCBOR b) => DecCBOR (a, b) | |
(Typeable t, DecCBOR a) => DecCBOR (THKD t Identity a) | |
(Typeable t, DecCBOR a) => DecCBOR (THKD t StrictMaybe a) | |
(Typeable s, DecCBOR a) => DecCBOR (Tagged s a) | |
(DecCBOR a, DecCBOR b, DecCBOR c) => DecCBOR (a, b, c) | |
(Ord k, DecCBOR k, DecCBOR a, Typeable kv, Typeable av, Vector kv k, Vector av a) => DecCBOR (VMap kv av k a) | |
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d) => DecCBOR (a, b, c, d) | |
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d, DecCBOR e) => DecCBOR (a, b, c, d, e) | |
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d, DecCBOR e, DecCBOR f) => DecCBOR (a, b, c, d, e, f) | |
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d, DecCBOR e, DecCBOR f, DecCBOR g) => DecCBOR (a, b, c, d, e, f, g) | |
class Typeable a => EncCBOR a where #
Minimal complete definition
Nothing
Methods
encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy a -> Size #
encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [a] -> Size #
Instances
EncCBOR ByteArray | |
EncCBOR Void | |
EncCBOR Int16 | |
EncCBOR Int32 | |
EncCBOR Int64 | |
EncCBOR Int8 | |
EncCBOR Word16 | |
EncCBOR Word32 | |
EncCBOR Word64 | |
EncCBOR Word8 | |
EncCBOR ByteString | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR ByteString | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR ShortByteString | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Proof | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR SignKey | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR VerKey | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR ProtocolMagicId | |
Defined in Cardano.Crypto.ProtocolMagic | |
EncCBOR RequiresNetworkMagic | |
Defined in Cardano.Crypto.ProtocolMagic | |
EncCBOR Raw | |
Defined in Cardano.Crypto.Raw | |
EncCBOR CompactRedeemVerificationKey | |
Defined in Cardano.Crypto.Signing.Redeem.Compact | |
EncCBOR RedeemSigningKey | |
Defined in Cardano.Crypto.Signing.Redeem.SigningKey | |
EncCBOR RedeemVerificationKey | |
EncCBOR SigningKey | |
Defined in Cardano.Crypto.Signing.SigningKey | |
EncCBOR VerificationKey | |
Defined in Cardano.Crypto.Signing.VerificationKey | |
EncCBOR ValidityInterval | |
Defined in Cardano.Ledger.Allegra.Scripts | |
EncCBOR CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.Core | |
EncCBOR AlonzoGenesis | |
Defined in Cardano.Ledger.Alonzo.Genesis | |
EncCBOR OrdExUnits | |
Defined in Cardano.Ledger.Alonzo.PParams | |
EncCBOR FailureDescription | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
EncCBOR TagMismatchDescription | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
EncCBOR Tag | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
EncCBOR IsValid | |
Defined in Cardano.Ledger.Alonzo.Tx | |
EncCBOR RdmrPtr | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
EncCBOR MemberStatus | |
EncCBOR NextEpochChange | |
EncCBOR CoinPerByte | |
Defined in Cardano.Ledger.Babbage.Core | |
EncCBOR PreEncoded | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Encoding | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Version | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Body | |
Defined in Cardano.Chain.Block.Body | |
EncCBOR BlockSignature | |
Defined in Cardano.Chain.Block.Header | |
EncCBOR ToSign | |
Defined in Cardano.Chain.Block.Header | |
EncCBOR Proof | |
Defined in Cardano.Chain.Block.Proof | |
EncCBOR ChainValidationState | |
Defined in Cardano.Chain.Block.Validation | |
EncCBOR ApplyMempoolPayloadErr | |
Defined in Cardano.Chain.Byron.API.Mempool | |
EncCBOR HDAddressPayload | |
Defined in Cardano.Chain.Common.AddrAttributes | |
EncCBOR AddrSpendingData | |
Defined in Cardano.Chain.Common.AddrSpendingData | |
EncCBOR AddrType | |
Defined in Cardano.Chain.Common.AddrSpendingData | |
EncCBOR Address | |
Defined in Cardano.Chain.Common.Address | |
EncCBOR Address' | |
Defined in Cardano.Chain.Common.Address | |
EncCBOR BlockCount | |
Defined in Cardano.Chain.Common.BlockCount | |
EncCBOR ChainDifficulty | |
Defined in Cardano.Chain.Common.ChainDifficulty | |
EncCBOR CompactAddress | |
Defined in Cardano.Chain.Common.Compact | |
EncCBOR KeyHash | |
Defined in Cardano.Chain.Common.KeyHash | |
EncCBOR Lovelace | |
Defined in Cardano.Chain.Common.Lovelace | |
EncCBOR LovelaceError | |
Defined in Cardano.Chain.Common.Lovelace | |
EncCBOR LovelacePortion | |
Defined in Cardano.Chain.Common.LovelacePortion | |
EncCBOR NetworkMagic | |
Defined in Cardano.Chain.Common.NetworkMagic | |
EncCBOR TxFeePolicy | |
Defined in Cardano.Chain.Common.TxFeePolicy | |
EncCBOR TxSizeLinear | |
Defined in Cardano.Chain.Common.TxSizeLinear | |
EncCBOR Certificate | |
Defined in Cardano.Chain.Delegation.Certificate | |
EncCBOR Map | |
Defined in Cardano.Chain.Delegation.Map | |
EncCBOR Payload | |
Defined in Cardano.Chain.Delegation.Payload | |
EncCBOR State | |
EncCBOR State | |
EncCBOR Error | |
EncCBOR ScheduledDelegation | |
EncCBOR State | |
EncCBOR GenesisAvvmBalances | |
Defined in Cardano.Chain.Genesis.AvvmBalances | |
EncCBOR Config | |
Defined in Cardano.Chain.Genesis.Config | |
EncCBOR GenesisData | |
Defined in Cardano.Chain.Genesis.Data | |
EncCBOR GenesisDelegation | |
Defined in Cardano.Chain.Genesis.Delegation | |
EncCBOR GenesisHash | |
Defined in Cardano.Chain.Genesis.Hash | |
EncCBOR GenesisKeyHashes | |
Defined in Cardano.Chain.Genesis.KeyHashes | |
EncCBOR GenesisNonAvvmBalances | |
Defined in Cardano.Chain.Genesis.NonAvvmBalances | |
EncCBOR EpochAndSlotCount | |
Defined in Cardano.Chain.Slotting.EpochAndSlotCount | |
EncCBOR EpochNumber | |
Defined in Cardano.Chain.Slotting.EpochNumber | |
EncCBOR EpochSlots | |
Defined in Cardano.Chain.Slotting.EpochSlots | |
EncCBOR SlotCount | |
Defined in Cardano.Chain.Slotting.SlotCount | |
EncCBOR SlotNumber | |
Defined in Cardano.Chain.Slotting.SlotNumber | |
EncCBOR SscPayload | |
Defined in Cardano.Chain.Ssc | |
EncCBOR SscProof | |
Defined in Cardano.Chain.Ssc | |
EncCBOR CompactTxId | |
Defined in Cardano.Chain.UTxO.Compact | |
EncCBOR CompactTxIn | |
Defined in Cardano.Chain.UTxO.Compact | |
EncCBOR CompactTxOut | |
Defined in Cardano.Chain.UTxO.Compact | |
EncCBOR Tx | |
Defined in Cardano.Chain.UTxO.Tx | |
EncCBOR TxIn | |
Defined in Cardano.Chain.UTxO.Tx | |
EncCBOR TxOut | |
Defined in Cardano.Chain.UTxO.Tx | |
EncCBOR TxAux | |
Defined in Cardano.Chain.UTxO.TxAux | |
EncCBOR TxPayload | |
Defined in Cardano.Chain.UTxO.TxPayload | |
EncCBOR TxProof | |
Defined in Cardano.Chain.UTxO.TxProof | |
EncCBOR TxInWitness | |
Defined in Cardano.Chain.UTxO.TxWitness | |
EncCBOR TxSigData | |
Defined in Cardano.Chain.UTxO.TxWitness | |
EncCBOR UTxO | |
Defined in Cardano.Chain.UTxO.UTxO | |
EncCBOR UTxOError | |
Defined in Cardano.Chain.UTxO.UTxO | |
EncCBOR UTxOConfiguration | |
Defined in Cardano.Chain.UTxO.UTxOConfiguration | |
EncCBOR ApplicationName | |
Defined in Cardano.Chain.Update.ApplicationName | |
EncCBOR ApplicationNameError | |
Defined in Cardano.Chain.Update.ApplicationName | |
EncCBOR InstallerHash | |
Defined in Cardano.Chain.Update.InstallerHash | |
EncCBOR Payload | |
Defined in Cardano.Chain.Update.Payload | |
EncCBOR Proposal | |
Defined in Cardano.Chain.Update.Proposal | |
EncCBOR ProposalBody | |
Defined in Cardano.Chain.Update.Proposal | |
EncCBOR ProtocolParameters | |
Defined in Cardano.Chain.Update.ProtocolParameters | |
EncCBOR ProtocolParametersUpdate | |
EncCBOR ProtocolVersion | |
Defined in Cardano.Chain.Update.ProtocolVersion | |
EncCBOR SoftforkRule | |
Defined in Cardano.Chain.Update.SoftforkRule | |
EncCBOR SoftwareVersion | |
Defined in Cardano.Chain.Update.SoftwareVersion | |
EncCBOR SoftwareVersionError | |
Defined in Cardano.Chain.Update.SoftwareVersion | |
EncCBOR SystemTag | |
Defined in Cardano.Chain.Update.SystemTag | |
EncCBOR SystemTagError | |
Defined in Cardano.Chain.Update.SystemTag | |
EncCBOR CandidateProtocolUpdate | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
EncCBOR Endorsement | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Interface | |
EncCBOR State | |
Defined in Cardano.Chain.Update.Validation.Interface | |
EncCBOR Adopted | |
Defined in Cardano.Chain.Update.Validation.Registration | |
EncCBOR ApplicationVersion | |
Defined in Cardano.Chain.Update.Validation.Registration | |
EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Registration | |
EncCBOR ProtocolUpdateProposal | |
Defined in Cardano.Chain.Update.Validation.Registration | |
EncCBOR SoftwareUpdateProposal | |
Defined in Cardano.Chain.Update.Validation.Registration | |
EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Voting | |
EncCBOR Vote | |
Defined in Cardano.Chain.Update.Vote | |
EncCBOR DRepVotingThresholds | |
Defined in Cardano.Ledger.Conway.Core | |
EncCBOR PoolVotingThresholds | |
Defined in Cardano.Ledger.Conway.Core | |
EncCBOR GovActionIx | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
EncCBOR Vote | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
EncCBOR ActiveSlotCoeff | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR CertIx | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR DnsName | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR Network | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR NonNegativeInterval | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR Nonce | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR Port | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR PositiveInterval | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR PositiveUnitInterval | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR ProtVer | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR Seed | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR TxIx | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR UnitInterval | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR Url | |
Defined in Cardano.Ledger.BaseTypes | |
EncCBOR Coin | |
Defined in Cardano.Ledger.Coin | |
EncCBOR DeltaCoin | |
Defined in Cardano.Ledger.Coin | |
EncCBOR Ptr | |
Defined in Cardano.Ledger.Credential | |
EncCBOR ChainCode | |
Defined in Cardano.Ledger.Keys.Bootstrap | |
EncCBOR CostModels | |
Defined in Cardano.Ledger.Plutus.CostModels | |
EncCBOR PlutusData | |
Defined in Cardano.Ledger.Plutus.Evaluate | |
EncCBOR PlutusDebug | |
Defined in Cardano.Ledger.Plutus.Evaluate | |
EncCBOR ExUnits | |
Defined in Cardano.Ledger.Plutus.ExUnits | |
EncCBOR Prices | |
Defined in Cardano.Ledger.Plutus.ExUnits | |
EncCBOR BinaryPlutus | |
Defined in Cardano.Ledger.Plutus.Language | |
EncCBOR Language | |
Defined in Cardano.Ledger.Plutus.Language | |
EncCBOR PoolMetadata | |
Defined in Cardano.Ledger.PoolParams | |
EncCBOR SizeOfPoolOwners | |
Defined in Cardano.Ledger.PoolParams | |
EncCBOR SizeOfPoolRelays | |
Defined in Cardano.Ledger.PoolParams | |
EncCBOR StakePoolRelay | |
Defined in Cardano.Ledger.PoolParams | |
EncCBOR RewardType | |
Defined in Cardano.Ledger.Rewards | |
EncCBOR RDPair | |
Defined in Cardano.Ledger.UMap | |
EncCBOR AssetName | |
Defined in Cardano.Ledger.Mary.Value | |
EncCBOR RewardInfoPool | |
Defined in Cardano.Ledger.Shelley.API.Wallet | |
EncCBOR RewardParams | |
Defined in Cardano.Ledger.Shelley.API.Wallet | |
EncCBOR NominalDiffTimeMicro | |
Defined in Cardano.Ledger.Shelley.Genesis | |
EncCBOR AccountState | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
EncCBOR Likelihood | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
EncCBOR LogWeight | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
EncCBOR PerformanceEstimate | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
EncCBOR Desirability | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
EncCBOR VotingPeriod | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
EncCBOR Metadatum | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
EncCBOR MIRPot | |
Defined in Cardano.Ledger.Shelley.TxCert | |
EncCBOR KESPeriod | |
Defined in Cardano.Protocol.TPraos.OCert | |
EncCBOR TicknState | |
Defined in Cardano.Protocol.TPraos.Rules.Tickn | |
EncCBOR BlockNo | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR EpochNo | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR EpochSize | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR SlotNo | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR SystemStart | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR ByteArray | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR SlicedByteArray | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Encoding | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Term | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR IPv4 | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR IPv6 | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR ByronHash | |
Defined in Ouroboros.Consensus.Byron.Ledger.Block | |
EncCBOR Data | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Text | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR UTCTime | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Integer | |
EncCBOR Natural | |
EncCBOR () | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR Bool | |
EncCBOR Double | |
EncCBOR Float | |
EncCBOR Int | |
EncCBOR Word | |
EncCBOR a => EncCBOR (NonEmpty a) | |
EncCBOR a => EncCBOR (Ratio a) | |
DSIGNAlgorithm v => EncCBOR (SigDSIGN v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm v => EncCBOR (SignKeyDSIGN v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm v => EncCBOR (VerKeyDSIGN v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm d => EncCBOR (SigKES (CompactSingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => EncCBOR (SigKES (CompactSumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
KnownNat t => EncCBOR (SigKES (MockKES t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => EncCBOR (SigKES (SimpleKES d t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm d => EncCBOR (SigKES (SingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(KESAlgorithm d, HashAlgorithm h) => EncCBOR (SigKES (SumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm d => EncCBOR (SignKeyKES (CompactSingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => EncCBOR (SignKeyKES (CompactSumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
KnownNat t => EncCBOR (SignKeyKES (MockKES t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => EncCBOR (SignKeyKES (SimpleKES d t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm d => EncCBOR (SignKeyKES (SingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(KESAlgorithm d, HashAlgorithm h) => EncCBOR (SignKeyKES (SumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm d => EncCBOR (VerKeyKES (CompactSingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => EncCBOR (VerKeyKES (CompactSumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
KnownNat t => EncCBOR (VerKeyKES (MockKES t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => EncCBOR (VerKeyKES (SimpleKES d t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
DSIGNAlgorithm d => EncCBOR (VerKeyKES (SingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(KESAlgorithm d, HashAlgorithm h) => EncCBOR (VerKeyKES (SumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (CertVRF MockVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (CertVRF SimpleVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (CertVRF PraosVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
Typeable v => EncCBOR (OutputVRF v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (SignKeyVRF MockVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (SignKeyVRF SimpleVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (SignKeyVRF PraosVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (VerKeyVRF MockVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (VerKeyVRF SimpleVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (VerKeyVRF PraosVRF) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
Typeable a => EncCBOR (RedeemSignature a) | |
Defined in Cardano.Crypto.Signing.Redeem.Signature | |
Typeable a => EncCBOR (Signature a) | |
Defined in Cardano.Crypto.Signing.Signature | |
EncCBOR a => EncCBOR (OSet a) | |
Defined in Data.OSet.Strict | |
(Typeable era, Crypto (EraCrypto era), EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (PPUPPredFailure era)) => EncCBOR (AllegraUtxoPredFailure era) | |
Defined in Cardano.Ledger.Allegra.Rules.Utxo | |
Era era => EncCBOR (Timelock era) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
Era era => EncCBOR (TimelockRaw era) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
Era era => EncCBOR (AllegraTxAuxData era) | |
Defined in Cardano.Ledger.Allegra.TxAuxData | |
Era era => EncCBOR (AllegraTxAuxDataRaw era) | |
Defined in Cardano.Ledger.Allegra.TxAuxData | |
Era era => EncCBOR (AllegraTxBody era) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
Crypto c => EncCBOR (TranslationError c) | |
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo | |
EraTxCert era => EncCBOR (CollectError era) | |
Defined in Cardano.Ledger.Alonzo.PlutusScriptApi | |
(Typeable era, EncCBOR (ShelleyBbodyPredFailure era)) => EncCBOR (AlonzoBbodyPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Bbody | |
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) => EncCBOR (AlonzoUtxoPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxo | |
(EraTxCert era, EncCBOR (PPUPPredFailure era)) => EncCBOR (AlonzoUtxosPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
(Era era, EncCBOR (TxCert era), EncCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (TxAuxData era), EncCBOR (Script era)) => EncCBOR (AlonzoUtxowPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxow | |
Era era => EncCBOR (AlonzoScript era) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) => EncCBOR (AlonzoTx era) | |
Defined in Cardano.Ledger.Alonzo.Tx | |
(Era era, EncCBOR (TxCert era)) => EncCBOR (ScriptPurpose era) | |
Defined in Cardano.Ledger.Alonzo.Tx | |
Era era => EncCBOR (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
Era era => EncCBOR (AlonzoTxAuxDataRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
Era era => EncCBOR (AlonzoTxBody era) | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) => EncCBOR (AlonzoTxBodyRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
(Era era, Val (Value era)) => EncCBOR (AlonzoTxOut era) | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
Era era => EncCBOR (AlonzoTxWits era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
(Era era, Script era ~ AlonzoScript era) => EncCBOR (AlonzoTxWitsRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
Era era => EncCBOR (Redeemers era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
Typeable era => EncCBOR (RedeemersRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
Era era => EncCBOR (TxDats era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
(Typeable era, EncCBOR (Data era)) => EncCBOR (TxDatsRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
Crypto c => EncCBOR (CommitteeMemberState c) | |
Crypto c => EncCBOR (CommitteeMembersState c) | |
Crypto c => EncCBOR (HotCredAuthStatus c) | |
(Era era, EncCBOR (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era)), EncCBOR (PredicateFailure (EraRule "UTXO" era)), EncCBOR (Script era), Typeable (TxAuxData era)) => EncCBOR (BabbageUtxoPredFailure era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxo | |
(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era)), EncCBOR (PredicateFailure (EraRule "UTXO" era)), EncCBOR (Script era), Typeable (TxAuxData era)) => EncCBOR (BabbageUtxowPredFailure era) | |
Defined in Cardano.Ledger.Babbage.Rules.Utxow | |
Era era => EncCBOR (BabbageTxBody era) | |
Defined in Cardano.Ledger.Babbage.TxBody | |
(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) => EncCBOR (BabbageTxBodyRaw era) | |
Defined in Cardano.Ledger.Babbage.TxBody | |
(EraScript era, Val (Value era)) => EncCBOR (BabbageTxOut era) | |
Defined in Cardano.Ledger.Babbage.TxOut | |
EncCBOR a => EncCBOR (Sized a) | |
Defined in Cardano.Ledger.Binary.Decoding.Sized | |
Typeable xs => EncCBOR (LengthOf xs) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBORGroup a => EncCBOR (CBORGroup a) | |
Defined in Cardano.Ledger.Binary.Group | |
EncCBOR (Attributes AddrAttributes) | |
Defined in Cardano.Chain.Common.AddrAttributes | |
EncCBOR (Attributes ()) | |
Defined in Cardano.Chain.Common.Attributes | |
EncCBOR a => EncCBOR (MerkleRoot a) | |
Defined in Cardano.Chain.Common.Merkle | |
EncCBOR a => EncCBOR (MerkleTree a) | |
Defined in Cardano.Chain.Common.Merkle | |
EncCBOR n => EncCBOR (TooLarge n) | |
Defined in Cardano.Chain.Update.Validation.Registration | |
Crypto c => EncCBOR (ConwayGenesis c) | |
Defined in Cardano.Ledger.Conway.Genesis | |
EraPParams era => EncCBOR (ConwayGovState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
EraPParams era => EncCBOR (DRepPulsingState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
EraPParams era => EncCBOR (EnactState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
Era era => EncCBOR (PrevGovActionIds era) | |
Defined in Cardano.Ledger.Conway.Governance | |
EraPParams era => EncCBOR (PulsingSnapshot era) | |
Defined in Cardano.Ledger.Conway.Governance | |
EraPParams era => EncCBOR (RatifyState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
Era era => EncCBOR (Committee era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
EraPParams era => EncCBOR (GovAction era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
Crypto c => EncCBOR (GovActionId c) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
EraPParams era => EncCBOR (GovActionState era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
EraPParams era => EncCBOR (ProposalProcedure era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
Crypto c => EncCBOR (Voter c) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
Era era => EncCBOR (VotingProcedure era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
Era era => EncCBOR (VotingProcedures era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
EraPParams era => EncCBOR (Proposals era) | |
Defined in Cardano.Ledger.Conway.Governance.Proposals | |
EncCBOR (UpgradeConwayPParams Identity) | |
Defined in Cardano.Ledger.Conway.PParams | |
(Typeable era, EncCBOR (PredicateFailure (EraRule "DELEG" era)), EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "GOVCERT" era))) => EncCBOR (ConwayCertPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Cert | |
(Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) => EncCBOR (ConwayCertsPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Certs | |
Era era => EncCBOR (ConwayDelegPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Deleg | |
EraPParams era => EncCBOR (ConwayGovPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
(Typeable era, Crypto (EraCrypto era)) => EncCBOR (ConwayGovCertPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.GovCert | |
(Era era, EncCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "CERTS" era)), EncCBOR (PredicateFailure (EraRule "GOV" era))) => EncCBOR (ConwayLedgerPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Ledger | |
Era era => EncCBOR (ConwayTxBody era) | |
Defined in Cardano.Ledger.Conway.TxBody | |
ConwayEraTxBody era => EncCBOR (ConwayTxBodyRaw era) | |
Defined in Cardano.Ledger.Conway.TxBody | |
(Era era, Val (Value era)) => EncCBOR (ConwayTxCert era) | |
Defined in Cardano.Ledger.Conway.TxCert | |
Crypto c => EncCBOR (Addr c) | |
Defined in Cardano.Ledger.Address | |
Crypto c => EncCBOR (CompactAddr c) | |
Defined in Cardano.Ledger.Address | |
Crypto c => EncCBOR (RewardAcnt c) | |
Defined in Cardano.Ledger.Address | |
Crypto c => EncCBOR (Withdrawals c) | |
Defined in Cardano.Ledger.Address | |
Crypto c => EncCBOR (AuxiliaryDataHash c) | |
Defined in Cardano.Ledger.AuxiliaryData | |
Crypto c => EncCBOR (Anchor c) | |
Defined in Cardano.Ledger.BaseTypes | |
Crypto c => EncCBOR (BlocksMade c) | |
Defined in Cardano.Ledger.BaseTypes | |
Era era => EncCBOR (CertState era) | |
Defined in Cardano.Ledger.CertState | |
Era era => EncCBOR (CommitteeState era) | |
Defined in Cardano.Ledger.CertState | |
(Era era, EncCBOR (InstantaneousRewards (EraCrypto era))) => EncCBOR (DState era) | |
Defined in Cardano.Ledger.CertState | |
Crypto c => EncCBOR (FutureGenDeleg c) | |
Defined in Cardano.Ledger.CertState | |
Crypto c => EncCBOR (InstantaneousRewards c) | |
Defined in Cardano.Ledger.CertState | |
Era era => EncCBOR (PState era) | |
Defined in Cardano.Ledger.CertState | |
Era era => EncCBOR (VState era) | |
Defined in Cardano.Ledger.CertState | |
EncCBOR (CompactForm Coin) | |
Defined in Cardano.Ledger.Coin | |
EncCBOR (CompactForm DeltaCoin) | |
Defined in Cardano.Ledger.Coin | |
Crypto c => EncCBOR (CompactForm (MaryValue c)) | |
Defined in Cardano.Ledger.Mary.Value | |
(Typeable era, EncCBOR (PParamsHKD Identity era)) => EncCBOR (PParams era) | |
Defined in Cardano.Ledger.Core.PParams | |
(Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) => EncCBOR (PParamsUpdate era) | |
Defined in Cardano.Ledger.Core.PParams | |
Crypto c => EncCBOR (GenesisCredential c) | |
Defined in Cardano.Ledger.Credential | |
Crypto c => EncCBOR (DRep c) | |
Defined in Cardano.Ledger.DRep | |
Crypto c => EncCBOR (DRepState c) | |
Defined in Cardano.Ledger.DRep | |
Crypto c => EncCBOR (SnapShot c) | |
Defined in Cardano.Ledger.EpochBoundary | |
Crypto c => EncCBOR (SnapShots c) | |
Defined in Cardano.Ledger.EpochBoundary | |
Crypto c => EncCBOR (Stake c) | |
Defined in Cardano.Ledger.EpochBoundary | |
Crypto c => EncCBOR (ScriptHash c) | |
Defined in Cardano.Ledger.Hashes | |
Crypto c => EncCBOR (GenDelegPair c) | |
Defined in Cardano.Ledger.Keys | |
Crypto c => EncCBOR (GenDelegs c) | |
Defined in Cardano.Ledger.Keys | |
Crypto c => EncCBOR (BootstrapWitness c) | |
Defined in Cardano.Ledger.Keys.Bootstrap | |
Typeable era => EncCBOR (BinaryData era) | |
Defined in Cardano.Ledger.Plutus.Data | |
Typeable era => EncCBOR (Data era) | |
Defined in Cardano.Ledger.Plutus.Data | |
Era era => EncCBOR (Datum era) | |
Defined in Cardano.Ledger.Plutus.Data | |
Typeable era => EncCBOR (PlutusData era) | |
Defined in Cardano.Ledger.Plutus.Data | |
(IsLanguage l, EncCBOR (SLanguage l)) => EncCBOR (PlutusDebugLang l) | |
Defined in Cardano.Ledger.Plutus.Evaluate | |
IsLanguage l => EncCBOR (SLanguage l) | |
Defined in Cardano.Ledger.Plutus.Language | |
Crypto c => EncCBOR (TxOutSource c) | |
Defined in Cardano.Ledger.Plutus.TxInfo | |
Crypto c => EncCBOR (IndividualPoolStake c) | |
Defined in Cardano.Ledger.PoolDistr | |
Crypto c => EncCBOR (PoolDistr c) | |
Defined in Cardano.Ledger.PoolDistr | |
Crypto c => EncCBOR (PoolParams c) | |
Defined in Cardano.Ledger.PoolParams | |
Crypto c => EncCBOR (Reward c) | |
Defined in Cardano.Ledger.Rewards | |
Crypto c => EncCBOR (TxId c) | |
Defined in Cardano.Ledger.TxIn | |
Crypto c => EncCBOR (TxIn c) | |
Defined in Cardano.Ledger.TxIn | |
Crypto c => EncCBOR (UMElem c) | |
Defined in Cardano.Ledger.UMap | |
Crypto c => EncCBOR (UMap c) | |
Defined in Cardano.Ledger.UMap | |
(Era era, EncCBOR (TxOut era)) => EncCBOR (UTxO era) | |
Defined in Cardano.Ledger.UTxO | |
Era era => EncCBOR (MaryTxBody era) | |
Defined in Cardano.Ledger.Mary.TxBody | |
(EraTxOut era, EraTxCert era) => EncCBOR (MaryTxBodyRaw era) | |
Defined in Cardano.Ledger.Mary.TxBody | |
Crypto c => EncCBOR (CompactValue c) | |
Defined in Cardano.Ledger.Mary.Value | |
Crypto c => EncCBOR (MaryValue c) | |
Defined in Cardano.Ledger.Mary.Value | |
Crypto c => EncCBOR (MultiAsset c) | |
Defined in Cardano.Ledger.Mary.Value | |
Crypto c => EncCBOR (PolicyID c) | |
Defined in Cardano.Ledger.Mary.Value | |
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) => EncCBOR (ApplyTxError era) | |
Defined in Cardano.Ledger.Shelley.API.Mempool | |
Crypto c => EncCBOR (ShelleyGenesis c) | |
Defined in Cardano.Ledger.Shelley.Genesis | |
Crypto c => EncCBOR (ShelleyGenesisStaking c) | |
Defined in Cardano.Ledger.Shelley.Genesis | |
Era era => EncCBOR (Constitution era) | |
Defined in Cardano.Ledger.Shelley.Governance | |
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => EncCBOR (ShelleyGovState era) | |
Defined in Cardano.Ledger.Shelley.Governance | |
(EraTxOut era, EncCBOR (GovState era)) => EncCBOR (EpochState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
Crypto c => EncCBOR (IncrementalStake c) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
(EraTxOut era, EncCBOR (GovState era)) => EncCBOR (LedgerState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
(EraTxOut era, EncCBOR (StashedAVVMAddresses era), EncCBOR (GovState era)) => EncCBOR (NewEpochState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
(EraTxOut era, EncCBOR (GovState era)) => EncCBOR (UTxOState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
(Era era, EncCBOR (PParamsUpdate era)) => EncCBOR (ProposedPPUpdates era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
(Era era, EncCBOR (PParamsUpdate era)) => EncCBOR (Update era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
Crypto c => EncCBOR (NonMyopic c) | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
Crypto c => EncCBOR (RewardProvenance c) | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
Crypto c => EncCBOR (RewardProvenancePool c) | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
Crypto c => EncCBOR (FreeVars c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
Crypto c => EncCBOR (Pulser c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
Crypto c => EncCBOR (PulsingRewUpdate c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
Crypto c => EncCBOR (RewardAns c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
Crypto c => EncCBOR (RewardSnapShot c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
Crypto c => EncCBOR (RewardUpdate c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
Crypto c => EncCBOR (LeaderOnlyReward c) | |
Defined in Cardano.Ledger.Shelley.Rewards | |
Crypto c => EncCBOR (PoolRewardInfo c) | |
Defined in Cardano.Ledger.Shelley.Rewards | |
(Era era, Typeable (Script era)) => EncCBOR (ShelleyDelegPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |
(Era era, Typeable (Script era), EncCBOR (PredicateFailure (EraRule "DELPL" era))) => EncCBOR (ShelleyDelegsPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Delegs | |
(Era era, EncCBOR (PredicateFailure (EraRule "POOL" era)), EncCBOR (PredicateFailure (EraRule "DELEG" era)), Typeable (Script era)) => EncCBOR (ShelleyDelplPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Delpl | |
(EncCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) => EncCBOR (ShelleyLedgerPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) => EncCBOR (ShelleyLedgersPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |
Era era => EncCBOR (ShelleyPoolPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Pool | |
Era era => EncCBOR (ShelleyPpupPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
(Era era, EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (PPUPPredFailure era)) => EncCBOR (ShelleyUtxoPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |
(Era era, Typeable (Script era), Typeable (TxAuxData era), EncCBOR (PredicateFailure (EraRule "UTXO" era))) => EncCBOR (ShelleyUtxowPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxow | |
Era era => EncCBOR (MultiSig era) | |
Defined in Cardano.Ledger.Shelley.Scripts | |
Era era => EncCBOR (ShelleyTx era) | |
Defined in Cardano.Ledger.Shelley.Tx | |
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) => EncCBOR (ShelleyTxRaw era) | |
Defined in Cardano.Ledger.Shelley.Tx | |
Era era => EncCBOR (ShelleyTxAuxData era) | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
Era era => EncCBOR (ShelleyTxBody era) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) => EncCBOR (ShelleyTxBodyRaw era) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
Crypto c => EncCBOR (MIRCert c) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
Crypto c => EncCBOR (MIRTarget c) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
Era era => EncCBOR (ShelleyTxCert era) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
(Era era, EncCBOR (CompactForm (Value era))) => EncCBOR (ShelleyTxOut era) | |
Defined in Cardano.Ledger.Shelley.TxOut | |
Era era => EncCBOR (ShelleyTxWits era) | |
Defined in Cardano.Ledger.Shelley.TxWits | |
Crypto c => EncCBOR (ChainDepState c) | |
Defined in Cardano.Protocol.TPraos.API | |
Crypto c => EncCBOR (BHBody c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
Crypto c => EncCBOR (BHeader c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
Crypto c => EncCBOR (HashHeader c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
Crypto c => EncCBOR (LastAppliedBlock c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
Crypto c => EncCBOR (PrevHash c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
Crypto c => EncCBOR (OCert c) | |
Defined in Cardano.Protocol.TPraos.OCert | |
Crypto c => EncCBOR (OBftSlot c) | |
Defined in Cardano.Protocol.TPraos.Rules.Overlay | |
Crypto c => EncCBOR (PrtclState c) | |
Defined in Cardano.Protocol.TPraos.Rules.Prtcl | |
(Serialise t, Typeable t) => EncCBOR (WithOrigin t) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR a => EncCBOR (StrictMaybe a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR a => EncCBOR (StrictSeq a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR a => EncCBOR (Seq a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(Ord a, EncCBOR a) => EncCBOR (Set a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
ShelleyCompatible proto era => EncCBOR (Header (ShelleyBlock proto era)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |
Crypto c => EncCBOR (Header c) | |
Defined in Ouroboros.Consensus.Protocol.Praos.Header | |
Crypto crypto => EncCBOR (HeaderBody crypto) | |
Defined in Ouroboros.Consensus.Protocol.Praos.Header | |
Crypto crypto => EncCBOR (HeaderRaw crypto) | |
Defined in Ouroboros.Consensus.Protocol.Praos.Header | |
EncCBOR a => EncCBOR (Vector a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, Prim a) => EncCBOR (Vector a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, Storable a) => EncCBOR (Vector a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, Unbox a) => EncCBOR (Vector a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR a => EncCBOR (Maybe a) | |
EncCBOR a => EncCBOR [a] | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, EncCBOR b) => EncCBOR (Either a b) | |
Typeable p => EncCBOR (Fixed p) | |
(HashAlgorithm h, Typeable a) => EncCBOR (Hash h a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(VRFAlgorithm v, Typeable a) => EncCBOR (CertifiedVRF v a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(Typeable algo, Typeable a, HashAlgorithm algo) => EncCBOR (AbstractHash algo a) | |
Defined in Cardano.Crypto.Hashing | |
(EncCBOR k, EncCBOR v) => EncCBOR (ListMap k v) | |
Defined in Data.ListMap | |
(Typeable k, EncCBOR v, Ord k) => EncCBOR (OMap k v) | |
Defined in Data.OMap.Strict | |
(EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) => EncCBOR (AllegraTxBodyRaw ma era) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
Era era => EncCBOR (AlonzoPParams Identity era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
Era era => EncCBOR (AlonzoPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
Era era => EncCBOR (BabbagePParams Identity era) | |
Defined in Cardano.Ledger.Babbage.PParams | |
Era era => EncCBOR (BabbagePParams StrictMaybe era) | |
Defined in Cardano.Ledger.Babbage.PParams | |
(Crypto c, Typeable r) => EncCBOR (PrevGovActionId r c) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
Era era => EncCBOR (ConwayPParams Identity era) | |
Defined in Cardano.Ledger.Conway.PParams | |
Era era => EncCBOR (ConwayPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Conway.PParams | |
(EncCBOR a, Integral a, Bounded a, Typeable b) => EncCBOR (BoundedRatio b a) | |
Defined in Cardano.Ledger.BaseTypes | |
(EraTx era, Typeable h) => EncCBOR (Block h era) | |
Defined in Cardano.Ledger.Block | |
(Typeable kr, Crypto c) => EncCBOR (Credential kr c) | |
Defined in Cardano.Ledger.Credential | |
(Crypto c, Typeable disc) => EncCBOR (KeyHash disc c) | |
Defined in Cardano.Ledger.Keys | |
(Crypto c, Typeable kd) => EncCBOR (VKey kd c) | |
Defined in Cardano.Ledger.Keys | |
(Typeable kr, Crypto c) => EncCBOR (WitVKey kr c) | |
Defined in Cardano.Ledger.Keys.WitVKey | |
(Typeable index, Crypto c) => EncCBOR (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash | |
Era era => EncCBOR (ShelleyPParams Identity era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
Era era => EncCBOR (ShelleyPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
(Ord k, EncCBOR k, EncCBOR v) => EncCBOR (Map k v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
ShelleyCompatible proto era => EncCBOR (ShelleyBlock proto era) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |
(EncCBOR a, EncCBOR b) => EncCBOR (a, b) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
EncCBOR (Tokens -> Tokens) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(Typeable t, EncCBOR a) => EncCBOR (THKD t Identity a) | |
(Typeable t, EncCBOR a) => EncCBOR (THKD t StrictMaybe a) | |
Defined in Cardano.Ledger.Conway.PParams | |
(Typeable s, EncCBOR a) => EncCBOR (Tagged s a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, EncCBOR b, EncCBOR c) => EncCBOR (a, b, c) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(Ord k, EncCBOR k, EncCBOR v, Vector kv k, Vector vv v, Typeable kv, Typeable vv) => EncCBOR (VMap kv vv k v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d) => EncCBOR (a, b, c, d) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e) => EncCBOR (a, b, c, d, e) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e, EncCBOR f) => EncCBOR (a, b, c, d, e, f) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e, EncCBOR f, EncCBOR g) => EncCBOR (a, b, c, d, e, f, g) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR |
class Typeable a => FromCBOR a where #
Instances
class Typeable a => ToCBOR a where #
Instances
ToCBOR Void | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Int32 | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Int64 | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Word16 | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Word32 | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Word64 | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Word8 | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR ByteString | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: ByteString -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ByteString -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ByteString] -> Size | |
ToCBOR ByteString | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: ByteString -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ByteString -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ByteString] -> Size | |
ToCBOR ShortByteString | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: ShortByteString -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ShortByteString -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShortByteString] -> Size | |
ToCBOR Point | |
Defined in Cardano.Crypto.VRF.Simple Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Point -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Point] -> Size | |
ToCBOR Proof | |
Defined in Cardano.Crypto.VRF.Praos Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proof -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Proof] -> Size | |
ToCBOR SignKey | |
Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: SignKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SignKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKey] -> Size | |
ToCBOR VerKey | |
Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: VerKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy VerKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKey] -> Size | |
ToCBOR Proof | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proof -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Proof] -> Size | |
ToCBOR SignKey | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR :: SignKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SignKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKey] -> Size | |
ToCBOR VerKey | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR :: VerKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy VerKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKey] -> Size | |
ToCBOR ProtocolMagicId | |
Defined in Cardano.Crypto.ProtocolMagic Methods toCBOR :: ProtocolMagicId -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtocolMagicId -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtocolMagicId] -> Size | |
ToCBOR RequiresNetworkMagic | |
Defined in Cardano.Crypto.ProtocolMagic Methods toCBOR :: RequiresNetworkMagic -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy RequiresNetworkMagic -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RequiresNetworkMagic] -> Size | |
ToCBOR Raw | |
Defined in Cardano.Crypto.Raw Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Raw -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Raw] -> Size | |
ToCBOR CompactRedeemVerificationKey | |
Defined in Cardano.Crypto.Signing.Redeem.Compact Methods toCBOR :: CompactRedeemVerificationKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CompactRedeemVerificationKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactRedeemVerificationKey] -> Size | |
ToCBOR RedeemSigningKey | |
Defined in Cardano.Crypto.Signing.Redeem.SigningKey Methods toCBOR :: RedeemSigningKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy RedeemSigningKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RedeemSigningKey] -> Size | |
ToCBOR RedeemVerificationKey | |
Defined in Cardano.Crypto.Signing.Redeem.VerificationKey Methods toCBOR :: RedeemVerificationKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy RedeemVerificationKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RedeemVerificationKey] -> Size | |
ToCBOR SigningKey | |
Defined in Cardano.Crypto.Signing.SigningKey Methods toCBOR :: SigningKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SigningKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigningKey] -> Size | |
ToCBOR VerificationKey | |
Defined in Cardano.Crypto.Signing.VerificationKey Methods toCBOR :: VerificationKey -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy VerificationKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerificationKey] -> Size | |
ToCBOR AlonzoGenesis | |
Defined in Cardano.Ledger.Alonzo.Genesis Methods toCBOR :: AlonzoGenesis -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AlonzoGenesis -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoGenesis] -> Size | |
ToCBOR IsValid | |
Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR :: IsValid -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy IsValid -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [IsValid] -> Size | |
ToCBOR Version | |
Defined in Cardano.Ledger.Binary.Version Methods toCBOR :: Version -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Version -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Version] -> Size | |
ToCBOR Body | |
Defined in Cardano.Chain.Block.Body Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Body -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Body] -> Size | |
ToCBOR BlockSignature | |
Defined in Cardano.Chain.Block.Header Methods toCBOR :: BlockSignature -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BlockSignature -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BlockSignature] -> Size | |
ToCBOR ToSign | |
Defined in Cardano.Chain.Block.Header Methods toCBOR :: ToSign -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ToSign -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ToSign] -> Size | |
ToCBOR Proof | |
Defined in Cardano.Chain.Block.Proof Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proof -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Proof] -> Size | |
ToCBOR ChainValidationState | |
Defined in Cardano.Chain.Block.Validation Methods toCBOR :: ChainValidationState -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ChainValidationState -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ChainValidationState] -> Size | |
ToCBOR ApplyMempoolPayloadErr | |
Defined in Cardano.Chain.Byron.API.Mempool Methods toCBOR :: ApplyMempoolPayloadErr -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ApplyMempoolPayloadErr -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ApplyMempoolPayloadErr] -> Size | |
ToCBOR HDAddressPayload | |
Defined in Cardano.Chain.Common.AddrAttributes Methods toCBOR :: HDAddressPayload -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy HDAddressPayload -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [HDAddressPayload] -> Size | |
ToCBOR AddrSpendingData | |
Defined in Cardano.Chain.Common.AddrSpendingData Methods toCBOR :: AddrSpendingData -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AddrSpendingData -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AddrSpendingData] -> Size | |
ToCBOR AddrType | |
Defined in Cardano.Chain.Common.AddrSpendingData Methods toCBOR :: AddrType -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AddrType -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AddrType] -> Size | |
ToCBOR Address | |
Defined in Cardano.Chain.Common.Address Methods toCBOR :: Address -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Address -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Address] -> Size | |
ToCBOR Address' | |
Defined in Cardano.Chain.Common.Address Methods toCBOR :: Address' -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Address' -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Address'] -> Size | |
ToCBOR BlockCount | |
Defined in Cardano.Chain.Common.BlockCount Methods toCBOR :: BlockCount -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BlockCount -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BlockCount] -> Size | |
ToCBOR ChainDifficulty | |
Defined in Cardano.Chain.Common.ChainDifficulty Methods toCBOR :: ChainDifficulty -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ChainDifficulty -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ChainDifficulty] -> Size | |
ToCBOR CompactAddress | |
Defined in Cardano.Chain.Common.Compact Methods toCBOR :: CompactAddress -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CompactAddress -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactAddress] -> Size | |
ToCBOR Lovelace | |
Defined in Cardano.Chain.Common.Lovelace Methods toCBOR :: Lovelace -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Lovelace -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Lovelace] -> Size | |
ToCBOR LovelaceError | |
Defined in Cardano.Chain.Common.Lovelace Methods toCBOR :: LovelaceError -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy LovelaceError -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LovelaceError] -> Size | |
ToCBOR LovelacePortion | |
Defined in Cardano.Chain.Common.LovelacePortion Methods toCBOR :: LovelacePortion -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy LovelacePortion -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LovelacePortion] -> Size | |
ToCBOR NetworkMagic | |
Defined in Cardano.Chain.Common.NetworkMagic Methods toCBOR :: NetworkMagic -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy NetworkMagic -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [NetworkMagic] -> Size | |
ToCBOR TxFeePolicy | |
Defined in Cardano.Chain.Common.TxFeePolicy Methods toCBOR :: TxFeePolicy -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxFeePolicy -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxFeePolicy] -> Size | |
ToCBOR TxSizeLinear | |
Defined in Cardano.Chain.Common.TxSizeLinear Methods toCBOR :: TxSizeLinear -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxSizeLinear -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxSizeLinear] -> Size | |
ToCBOR Certificate | |
Defined in Cardano.Chain.Delegation.Certificate Methods toCBOR :: Certificate -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Certificate -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Certificate] -> Size | |
ToCBOR Map | |
Defined in Cardano.Chain.Delegation.Map Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Map -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Map] -> Size | |
ToCBOR Payload | |
Defined in Cardano.Chain.Delegation.Payload Methods toCBOR :: Payload -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Payload -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Payload] -> Size | |
ToCBOR State | |
Defined in Cardano.Chain.Delegation.Validation.Activation Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [State] -> Size | |
ToCBOR State | |
Defined in Cardano.Chain.Delegation.Validation.Interface Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [State] -> Size | |
ToCBOR Error | |
Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Error] -> Size | |
ToCBOR ScheduledDelegation | |
Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods toCBOR :: ScheduledDelegation -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ScheduledDelegation -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ScheduledDelegation] -> Size | |
ToCBOR State | |
Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [State] -> Size | |
ToCBOR GenesisAvvmBalances | |
Defined in Cardano.Chain.Genesis.AvvmBalances Methods toCBOR :: GenesisAvvmBalances -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy GenesisAvvmBalances -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenesisAvvmBalances] -> Size | |
ToCBOR Config | |
Defined in Cardano.Chain.Genesis.Config Methods toCBOR :: Config -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Config -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Config] -> Size | |
ToCBOR GenesisData | |
Defined in Cardano.Chain.Genesis.Data Methods toCBOR :: GenesisData -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy GenesisData -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenesisData] -> Size | |
ToCBOR GenesisDelegation | |
Defined in Cardano.Chain.Genesis.Delegation Methods toCBOR :: GenesisDelegation -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy GenesisDelegation -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenesisDelegation] -> Size | |
ToCBOR GenesisKeyHashes | |
Defined in Cardano.Chain.Genesis.KeyHashes Methods toCBOR :: GenesisKeyHashes -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy GenesisKeyHashes -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenesisKeyHashes] -> Size | |
ToCBOR GenesisNonAvvmBalances | |
Defined in Cardano.Chain.Genesis.NonAvvmBalances Methods toCBOR :: GenesisNonAvvmBalances -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy GenesisNonAvvmBalances -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenesisNonAvvmBalances] -> Size | |
ToCBOR EpochAndSlotCount | |
Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods toCBOR :: EpochAndSlotCount -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochAndSlotCount -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochAndSlotCount] -> Size | |
ToCBOR EpochNumber | |
Defined in Cardano.Chain.Slotting.EpochNumber Methods toCBOR :: EpochNumber -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochNumber -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochNumber] -> Size | |
ToCBOR EpochSlots | |
Defined in Cardano.Chain.Slotting.EpochSlots Methods toCBOR :: EpochSlots -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochSlots -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochSlots] -> Size | |
ToCBOR SlotCount | |
Defined in Cardano.Chain.Slotting.SlotCount Methods toCBOR :: SlotCount -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotCount -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotCount] -> Size | |
ToCBOR SlotNumber | |
Defined in Cardano.Chain.Slotting.SlotNumber Methods toCBOR :: SlotNumber -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNumber -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotNumber] -> Size | |
ToCBOR SscPayload | |
Defined in Cardano.Chain.Ssc Methods toCBOR :: SscPayload -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SscPayload -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SscPayload] -> Size | |
ToCBOR SscProof | |
Defined in Cardano.Chain.Ssc Methods toCBOR :: SscProof -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SscProof -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SscProof] -> Size | |
ToCBOR CompactTxId | |
Defined in Cardano.Chain.UTxO.Compact Methods toCBOR :: CompactTxId -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CompactTxId -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactTxId] -> Size | |
ToCBOR CompactTxIn | |
Defined in Cardano.Chain.UTxO.Compact Methods toCBOR :: CompactTxIn -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CompactTxIn -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactTxIn] -> Size | |
ToCBOR CompactTxOut | |
Defined in Cardano.Chain.UTxO.Compact Methods toCBOR :: CompactTxOut -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CompactTxOut -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactTxOut] -> Size | |
ToCBOR Tx | |
Defined in Cardano.Chain.UTxO.Tx Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Tx -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Tx] -> Size | |
ToCBOR TxIn | |
Defined in Cardano.Chain.UTxO.Tx Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxIn -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxIn] -> Size | |
ToCBOR TxOut | |
Defined in Cardano.Chain.UTxO.Tx Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxOut -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxOut] -> Size | |
ToCBOR TxAux | |
Defined in Cardano.Chain.UTxO.TxAux Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxAux -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxAux] -> Size | |
ToCBOR TxPayload | |
Defined in Cardano.Chain.UTxO.TxPayload Methods toCBOR :: TxPayload -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxPayload -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxPayload] -> Size | |
ToCBOR TxProof | |
Defined in Cardano.Chain.UTxO.TxProof Methods toCBOR :: TxProof -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxProof -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxProof] -> Size | |
ToCBOR TxInWitness | |
Defined in Cardano.Chain.UTxO.TxWitness Methods toCBOR :: TxInWitness -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxInWitness -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxInWitness] -> Size | |
ToCBOR TxSigData | |
Defined in Cardano.Chain.UTxO.TxWitness Methods toCBOR :: TxSigData -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxSigData -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxSigData] -> Size | |
ToCBOR UTxO | |
Defined in Cardano.Chain.UTxO.UTxO Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UTxO -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTxO] -> Size | |
ToCBOR UTxOError | |
Defined in Cardano.Chain.UTxO.UTxO Methods toCBOR :: UTxOError -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UTxOError -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTxOError] -> Size | |
ToCBOR UTxOConfiguration | |
Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods toCBOR :: UTxOConfiguration -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UTxOConfiguration -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTxOConfiguration] -> Size | |
ToCBOR ApplicationName | |
Defined in Cardano.Chain.Update.ApplicationName Methods toCBOR :: ApplicationName -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ApplicationName -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ApplicationName] -> Size | |
ToCBOR ApplicationNameError | |
Defined in Cardano.Chain.Update.ApplicationName Methods toCBOR :: ApplicationNameError -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ApplicationNameError -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ApplicationNameError] -> Size | |
ToCBOR InstallerHash | |
Defined in Cardano.Chain.Update.InstallerHash Methods toCBOR :: InstallerHash -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy InstallerHash -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [InstallerHash] -> Size | |
ToCBOR Payload | |
Defined in Cardano.Chain.Update.Payload Methods toCBOR :: Payload -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Payload -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Payload] -> Size | |
ToCBOR Proposal | |
Defined in Cardano.Chain.Update.Proposal Methods toCBOR :: Proposal -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Proposal -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Proposal] -> Size | |
ToCBOR ProposalBody | |
Defined in Cardano.Chain.Update.Proposal Methods toCBOR :: ProposalBody -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProposalBody -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProposalBody] -> Size | |
ToCBOR ProtocolParameters | |
Defined in Cardano.Chain.Update.ProtocolParameters Methods toCBOR :: ProtocolParameters -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtocolParameters -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtocolParameters] -> Size | |
ToCBOR ProtocolParametersUpdate | |
Defined in Cardano.Chain.Update.ProtocolParametersUpdate Methods toCBOR :: ProtocolParametersUpdate -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtocolParametersUpdate -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtocolParametersUpdate] -> Size | |
ToCBOR ProtocolVersion | |
Defined in Cardano.Chain.Update.ProtocolVersion Methods toCBOR :: ProtocolVersion -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtocolVersion -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtocolVersion] -> Size | |
ToCBOR SoftforkRule | |
Defined in Cardano.Chain.Update.SoftforkRule Methods toCBOR :: SoftforkRule -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SoftforkRule -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SoftforkRule] -> Size | |
ToCBOR SoftwareVersion | |
Defined in Cardano.Chain.Update.SoftwareVersion Methods toCBOR :: SoftwareVersion -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SoftwareVersion -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SoftwareVersion] -> Size | |
ToCBOR SoftwareVersionError | |
Defined in Cardano.Chain.Update.SoftwareVersion Methods toCBOR :: SoftwareVersionError -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SoftwareVersionError -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SoftwareVersionError] -> Size | |
ToCBOR SystemTag | |
Defined in Cardano.Chain.Update.SystemTag Methods toCBOR :: SystemTag -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SystemTag -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SystemTag] -> Size | |
ToCBOR SystemTagError | |
Defined in Cardano.Chain.Update.SystemTag Methods toCBOR :: SystemTagError -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SystemTagError -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SystemTagError] -> Size | |
ToCBOR CandidateProtocolUpdate | |
Defined in Cardano.Chain.Update.Validation.Endorsement Methods toCBOR :: CandidateProtocolUpdate -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CandidateProtocolUpdate -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CandidateProtocolUpdate] -> Size | |
ToCBOR Endorsement | |
Defined in Cardano.Chain.Update.Validation.Endorsement Methods toCBOR :: Endorsement -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Endorsement -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Endorsement] -> Size | |
ToCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Endorsement Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Error] -> Size | |
ToCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Interface Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Error] -> Size | |
ToCBOR State | |
Defined in Cardano.Chain.Update.Validation.Interface Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy State -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [State] -> Size | |
ToCBOR Adopted | |
Defined in Cardano.Chain.Update.Validation.Registration Methods toCBOR :: Adopted -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Adopted -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Adopted] -> Size | |
ToCBOR ApplicationVersion | |
Defined in Cardano.Chain.Update.Validation.Registration Methods toCBOR :: ApplicationVersion -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ApplicationVersion -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ApplicationVersion] -> Size | |
ToCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Registration Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Error] -> Size | |
ToCBOR ProtocolUpdateProposal | |
Defined in Cardano.Chain.Update.Validation.Registration Methods toCBOR :: ProtocolUpdateProposal -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtocolUpdateProposal -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtocolUpdateProposal] -> Size | |
ToCBOR SoftwareUpdateProposal | |
Defined in Cardano.Chain.Update.Validation.Registration Methods toCBOR :: SoftwareUpdateProposal -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SoftwareUpdateProposal -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SoftwareUpdateProposal] -> Size | |
ToCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Voting Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Error] -> Size | |
ToCBOR Vote | |
Defined in Cardano.Chain.Update.Vote Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Vote -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Vote] -> Size | |
ToCBOR CertIx | |
Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: CertIx -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CertIx -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertIx] -> Size | |
ToCBOR Nonce | |
Defined in Cardano.Ledger.BaseTypes Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Nonce -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Nonce] -> Size | |
ToCBOR ProtVer | |
Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: ProtVer -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ProtVer -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProtVer] -> Size | |
ToCBOR TxIx | |
Defined in Cardano.Ledger.BaseTypes Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxIx -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxIx] -> Size | |
ToCBOR Coin | |
Defined in Cardano.Ledger.Coin Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Coin -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Coin] -> Size | |
ToCBOR DeltaCoin | |
Defined in Cardano.Ledger.Coin Methods toCBOR :: DeltaCoin -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy DeltaCoin -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [DeltaCoin] -> Size | |
ToCBOR Ptr | |
Defined in Cardano.Ledger.Credential Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Ptr -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Ptr] -> Size | |
ToCBOR BinaryPlutus | |
Defined in Cardano.Ledger.Plutus.Language Methods toCBOR :: BinaryPlutus -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BinaryPlutus -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BinaryPlutus] -> Size | |
ToCBOR KESPeriod | |
Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR :: KESPeriod -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy KESPeriod -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [KESPeriod] -> Size | |
ToCBOR TicknState | |
Defined in Cardano.Protocol.TPraos.Rules.Tickn Methods toCBOR :: TicknState -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TicknState -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TicknState] -> Size | |
ToCBOR BlockNo | |
Defined in Cardano.Slotting.Block Methods toCBOR :: BlockNo -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy BlockNo -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BlockNo] -> Size | |
ToCBOR EpochNo | |
Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochNo -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochNo -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochNo] -> Size | |
ToCBOR EpochSize | |
Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochSize -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochSize -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochSize] -> Size | |
ToCBOR SlotNo | |
Defined in Cardano.Slotting.Slot Methods toCBOR :: SlotNo -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotNo -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotNo] -> Size | |
ToCBOR RelativeTime | |
Defined in Cardano.Slotting.Time Methods toCBOR :: RelativeTime -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy RelativeTime -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RelativeTime] -> Size | |
ToCBOR SlotLength | |
Defined in Cardano.Slotting.Time Methods toCBOR :: SlotLength -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SlotLength -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SlotLength] -> Size | |
ToCBOR SystemStart | |
Defined in Cardano.Slotting.Time Methods toCBOR :: SystemStart -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SystemStart -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SystemStart] -> Size | |
ToCBOR Encoding | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: Encoding -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Encoding -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Encoding] -> Size | |
ToCBOR Term | |
Defined in Cardano.Binary.ToCBOR Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Term -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Term] -> Size | |
ToCBOR InputVRF | |
Defined in Ouroboros.Consensus.Protocol.Praos.VRF Methods toCBOR :: InputVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy InputVRF -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [InputVRF] -> Size | |
ToCBOR Text | |
Defined in Cardano.Binary.ToCBOR Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Text -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Text] -> Size | |
ToCBOR UTCTime | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: UTCTime -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UTCTime -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTCTime] -> Size | |
ToCBOR Integer | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Natural | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR () | |
Defined in Cardano.Binary.ToCBOR Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy () -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [()] -> Size | |
ToCBOR Bool | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Double | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Float | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Int | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR Word | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR a => ToCBOR (NonEmpty a) | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR a => ToCBOR (Ratio a) | |
Defined in Cardano.Binary.ToCBOR | |
Typeable xs => ToCBOR (LengthOf xs) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: LengthOf xs -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LengthOf xs) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LengthOf xs] -> Size | |
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN) | |
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: SigDSIGN EcdsaSecp256k1DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN EcdsaSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN EcdsaSecp256k1DSIGN] -> Size | |
ToCBOR (SigDSIGN Ed25519DSIGN) | |
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: SigDSIGN Ed25519DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed25519DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed25519DSIGN] -> Size | |
ToCBOR (SigDSIGN Ed448DSIGN) | |
Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: SigDSIGN Ed448DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN Ed448DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN Ed448DSIGN] -> Size | |
ToCBOR (SigDSIGN MockDSIGN) | |
Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: SigDSIGN MockDSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN MockDSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN MockDSIGN] -> Size | |
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN) | |
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: SigDSIGN SchnorrSecp256k1DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigDSIGN SchnorrSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigDSIGN SchnorrSecp256k1DSIGN] -> Size | |
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN) | |
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] -> Size | |
ToCBOR (SignKeyDSIGN Ed25519DSIGN) | |
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: SignKeyDSIGN Ed25519DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed25519DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed25519DSIGN] -> Size | |
ToCBOR (SignKeyDSIGN Ed448DSIGN) | |
Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: SignKeyDSIGN Ed448DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN Ed448DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN Ed448DSIGN] -> Size | |
ToCBOR (SignKeyDSIGN MockDSIGN) | |
Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: SignKeyDSIGN MockDSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN MockDSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN MockDSIGN] -> Size | |
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN) | |
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] -> Size | |
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN) | |
Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] -> Size | |
ToCBOR (VerKeyDSIGN Ed25519DSIGN) | |
Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR :: VerKeyDSIGN Ed25519DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed25519DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed25519DSIGN] -> Size | |
ToCBOR (VerKeyDSIGN Ed448DSIGN) | |
Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR :: VerKeyDSIGN Ed448DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN Ed448DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN Ed448DSIGN] -> Size | |
ToCBOR (VerKeyDSIGN MockDSIGN) | |
Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR :: VerKeyDSIGN MockDSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN MockDSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN MockDSIGN] -> Size | |
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN) | |
Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] -> Size | |
DSIGNAlgorithm d => ToCBOR (SigKES (CompactSingleKES d)) | |
Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR :: SigKES (CompactSingleKES d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (CompactSingleKES d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (CompactSingleKES d)] -> Size | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => ToCBOR (SigKES (CompactSumKES h d)) | |
Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR :: SigKES (CompactSumKES h d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (CompactSumKES h d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (CompactSumKES h d)] -> Size | |
KnownNat t => ToCBOR (SigKES (MockKES t)) | |
Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: SigKES (MockKES t) -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (MockKES t)) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (MockKES t)] -> Size | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SigKES (SimpleKES d t)) | |
Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: SigKES (SimpleKES d t) -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SigKES (SimpleKES d t)) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SigKES (SimpleKES d t)] -> Size | |
DSIGNAlgorithm d => ToCBOR (SigKES (SingleKES d)) | |
Defined in Cardano.Crypto.KES.Single Methods toCBOR :: SigKES (SingleKES d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SingleKES d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SingleKES d)] -> Size | |
(KESAlgorithm d, HashAlgorithm h) => ToCBOR (SigKES (SumKES h d)) | |
Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: SigKES (SumKES h d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SigKES (SumKES h d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SigKES (SumKES h d)] -> Size | |
DSIGNAlgorithm d => ToCBOR (SignKeyKES (CompactSingleKES d)) | |
Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR :: SignKeyKES (CompactSingleKES d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (CompactSingleKES d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (CompactSingleKES d)] -> Size | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => ToCBOR (SignKeyKES (CompactSumKES h d)) | |
Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR :: SignKeyKES (CompactSumKES h d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (CompactSumKES h d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (CompactSumKES h d)] -> Size | |
KnownNat t => ToCBOR (SignKeyKES (MockKES t)) | |
Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: SignKeyKES (MockKES t) -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (MockKES t)) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (MockKES t)] -> Size | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (SignKeyKES (SimpleKES d t)) | |
Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: SignKeyKES (SimpleKES d t) -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (SignKeyKES (SimpleKES d t)) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [SignKeyKES (SimpleKES d t)] -> Size | |
DSIGNAlgorithm d => ToCBOR (SignKeyKES (SingleKES d)) | |
Defined in Cardano.Crypto.KES.Single Methods toCBOR :: SignKeyKES (SingleKES d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SingleKES d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SingleKES d)] -> Size | |
(KESAlgorithm d, HashAlgorithm h) => ToCBOR (SignKeyKES (SumKES h d)) | |
Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: SignKeyKES (SumKES h d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyKES (SumKES h d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyKES (SumKES h d)] -> Size | |
DSIGNAlgorithm d => ToCBOR (VerKeyKES (CompactSingleKES d)) | |
Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR :: VerKeyKES (CompactSingleKES d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (CompactSingleKES d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (CompactSingleKES d)] -> Size | |
(OptimizedKESAlgorithm d, HashAlgorithm h) => ToCBOR (VerKeyKES (CompactSumKES h d)) | |
Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR :: VerKeyKES (CompactSumKES h d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (CompactSumKES h d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (CompactSumKES h d)] -> Size | |
KnownNat t => ToCBOR (VerKeyKES (MockKES t)) | |
Defined in Cardano.Crypto.KES.Mock Methods toCBOR :: VerKeyKES (MockKES t) -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (MockKES t)) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (MockKES t)] -> Size | |
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => ToCBOR (VerKeyKES (SimpleKES d t)) | |
Defined in Cardano.Crypto.KES.Simple Methods toCBOR :: VerKeyKES (SimpleKES d t) -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (VerKeyKES (SimpleKES d t)) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [VerKeyKES (SimpleKES d t)] -> Size | |
DSIGNAlgorithm d => ToCBOR (VerKeyKES (SingleKES d)) | |
Defined in Cardano.Crypto.KES.Single Methods toCBOR :: VerKeyKES (SingleKES d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SingleKES d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SingleKES d)] -> Size | |
(KESAlgorithm d, HashAlgorithm h) => ToCBOR (VerKeyKES (SumKES h d)) | |
Defined in Cardano.Crypto.KES.Sum Methods toCBOR :: VerKeyKES (SumKES h d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyKES (SumKES h d)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyKES (SumKES h d)] -> Size | |
ToCBOR (CertVRF MockVRF) | |
Defined in Cardano.Crypto.VRF.Mock Methods toCBOR :: CertVRF MockVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF MockVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF MockVRF] -> Size | |
ToCBOR (CertVRF SimpleVRF) | |
Defined in Cardano.Crypto.VRF.Simple Methods toCBOR :: CertVRF SimpleVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF SimpleVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF SimpleVRF] -> Size | |
ToCBOR (CertVRF PraosVRF) | |
Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: CertVRF PraosVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF PraosVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF PraosVRF] -> Size | |
ToCBOR (CertVRF PraosBatchCompatVRF) | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR :: CertVRF PraosBatchCompatVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertVRF PraosBatchCompatVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertVRF PraosBatchCompatVRF] -> Size | |
Typeable v => ToCBOR (OutputVRF v) | |
Defined in Cardano.Crypto.VRF.Class Methods toCBOR :: OutputVRF v -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OutputVRF v) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [OutputVRF v] -> Size | |
ToCBOR (SignKeyVRF MockVRF) | |
Defined in Cardano.Crypto.VRF.Mock Methods toCBOR :: SignKeyVRF MockVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF MockVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF MockVRF] -> Size | |
ToCBOR (SignKeyVRF SimpleVRF) | |
Defined in Cardano.Crypto.VRF.Simple Methods toCBOR :: SignKeyVRF SimpleVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF SimpleVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF SimpleVRF] -> Size | |
ToCBOR (SignKeyVRF PraosVRF) | |
Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: SignKeyVRF PraosVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF PraosVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF PraosVRF] -> Size | |
ToCBOR (SignKeyVRF PraosBatchCompatVRF) | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR :: SignKeyVRF PraosBatchCompatVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SignKeyVRF PraosBatchCompatVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SignKeyVRF PraosBatchCompatVRF] -> Size | |
ToCBOR (VerKeyVRF MockVRF) | |
Defined in Cardano.Crypto.VRF.Mock Methods toCBOR :: VerKeyVRF MockVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF MockVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF MockVRF] -> Size | |
ToCBOR (VerKeyVRF SimpleVRF) | |
Defined in Cardano.Crypto.VRF.Simple Methods toCBOR :: VerKeyVRF SimpleVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF SimpleVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF SimpleVRF] -> Size | |
ToCBOR (VerKeyVRF PraosVRF) | |
Defined in Cardano.Crypto.VRF.Praos Methods toCBOR :: VerKeyVRF PraosVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF PraosVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF PraosVRF] -> Size | |
ToCBOR (VerKeyVRF PraosBatchCompatVRF) | |
Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR :: VerKeyVRF PraosBatchCompatVRF -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VerKeyVRF PraosBatchCompatVRF) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VerKeyVRF PraosBatchCompatVRF] -> Size | |
EncCBOR a => ToCBOR (RedeemSignature a) | |
Defined in Cardano.Crypto.Signing.Redeem.Signature Methods toCBOR :: RedeemSignature a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (RedeemSignature a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RedeemSignature a] -> Size | |
Typeable a => ToCBOR (Signature a) | |
Defined in Cardano.Crypto.Signing.Signature Methods toCBOR :: Signature a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Signature a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Signature a] -> Size | |
Typeable era => ToCBOR (Timelock era) | |
Defined in Cardano.Ledger.Allegra.Scripts Methods toCBOR :: Timelock era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Timelock era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Timelock era] -> Size | |
Typeable era => ToCBOR (AllegraTxAuxData era) | |
Defined in Cardano.Ledger.Allegra.TxAuxData Methods toCBOR :: AllegraTxAuxData era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AllegraTxAuxData era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AllegraTxAuxData era] -> Size | |
Typeable e => ToCBOR (AllegraTxBody e) | |
Defined in Cardano.Ledger.Allegra.TxBody Methods toCBOR :: AllegraTxBody e -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AllegraTxBody e) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AllegraTxBody e] -> Size | |
Era era => ToCBOR (AlonzoScript era) | |
Defined in Cardano.Ledger.Alonzo.Scripts Methods toCBOR :: AlonzoScript era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoScript era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoScript era] -> Size | |
(Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) => ToCBOR (AlonzoTx era) | |
Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR :: AlonzoTx era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoTx era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoTx era] -> Size | |
Typeable era => ToCBOR (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods toCBOR :: AlonzoTxAuxData era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoTxAuxData era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoTxAuxData era] -> Size | |
Typeable era => ToCBOR (AlonzoTxBody era) | |
Defined in Cardano.Ledger.Alonzo.TxBody Methods toCBOR :: AlonzoTxBody era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoTxBody era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoTxBody era] -> Size | |
(Era era, Val (Value era)) => ToCBOR (AlonzoTxOut era) | |
Defined in Cardano.Ledger.Alonzo.TxOut Methods toCBOR :: AlonzoTxOut era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoTxOut era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoTxOut era] -> Size | |
Typeable era => ToCBOR (AlonzoTxWits era) | |
Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR :: AlonzoTxWits era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoTxWits era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoTxWits era] -> Size | |
Typeable era => ToCBOR (Redeemers era) | |
Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR :: Redeemers era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Redeemers era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Redeemers era] -> Size | |
Typeable era => ToCBOR (TxDats era) | |
Defined in Cardano.Ledger.Alonzo.TxWits Methods toCBOR :: TxDats era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (TxDats era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxDats era] -> Size | |
Typeable era => ToCBOR (BabbageTxBody era) | |
Defined in Cardano.Ledger.Babbage.TxBody Methods toCBOR :: BabbageTxBody era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BabbageTxBody era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BabbageTxBody era] -> Size | |
(EraScript era, Val (Value era)) => ToCBOR (BabbageTxOut era) | |
Defined in Cardano.Ledger.Babbage.TxOut Methods toCBOR :: BabbageTxOut era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BabbageTxOut era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BabbageTxOut era] -> Size | |
ToCBOR (Attributes AddrAttributes) | |
Defined in Cardano.Chain.Common.AddrAttributes Methods toCBOR :: Attributes AddrAttributes -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Attributes AddrAttributes) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Attributes AddrAttributes] -> Size | |
ToCBOR (Attributes ()) | |
Defined in Cardano.Chain.Common.Attributes Methods toCBOR :: Attributes () -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Attributes ()) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Attributes ()] -> Size | |
EncCBOR a => ToCBOR (MerkleRoot a) | |
Defined in Cardano.Chain.Common.Merkle Methods toCBOR :: MerkleRoot a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MerkleRoot a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MerkleRoot a] -> Size | |
EncCBOR a => ToCBOR (MerkleTree a) | |
Defined in Cardano.Chain.Common.Merkle Methods toCBOR :: MerkleTree a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MerkleTree a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MerkleTree a] -> Size | |
EncCBOR n => ToCBOR (TooLarge n) | |
Defined in Cardano.Chain.Update.Validation.Registration Methods toCBOR :: TooLarge n -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (TooLarge n) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TooLarge n] -> Size | |
EraPParams era => ToCBOR (ConwayGovState era) | |
Defined in Cardano.Ledger.Conway.Governance Methods toCBOR :: ConwayGovState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayGovState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayGovState era] -> Size | |
EraPParams era => ToCBOR (EnactState era) | |
Defined in Cardano.Ledger.Conway.Governance Methods toCBOR :: EnactState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (EnactState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EnactState era] -> Size | |
EraPParams era => ToCBOR (PulsingSnapshot era) | |
Defined in Cardano.Ledger.Conway.Governance Methods toCBOR :: PulsingSnapshot era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PulsingSnapshot era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PulsingSnapshot era] -> Size | |
EraPParams era => ToCBOR (ConwayGovPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Gov Methods toCBOR :: ConwayGovPredFailure era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayGovPredFailure era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayGovPredFailure era] -> Size | |
Typeable era => ToCBOR (ConwayTxBody era) | |
Defined in Cardano.Ledger.Conway.TxBody Methods toCBOR :: ConwayTxBody era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayTxBody era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayTxBody era] -> Size | |
(Era era, Val (Value era)) => ToCBOR (ConwayTxCert era) | |
Defined in Cardano.Ledger.Conway.TxCert Methods toCBOR :: ConwayTxCert era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayTxCert era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayTxCert era] -> Size | |
Era era => ToCBOR (CommitteeState era) | |
Defined in Cardano.Ledger.CertState Methods toCBOR :: CommitteeState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CommitteeState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CommitteeState era] -> Size | |
ToCBOR (CompactForm Coin) | |
Defined in Cardano.Ledger.Coin Methods toCBOR :: CompactForm Coin -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CompactForm Coin) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactForm Coin] -> Size | |
(Typeable era, ToCBOR (PParamsHKD Identity era)) => ToCBOR (PParams era) | |
Defined in Cardano.Ledger.Core.PParams Methods toCBOR :: PParams era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PParams era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PParams era] -> Size | |
(Typeable era, ToCBOR (PParamsHKD StrictMaybe era)) => ToCBOR (PParamsUpdate era) | |
Defined in Cardano.Ledger.Core.PParams Methods toCBOR :: PParamsUpdate era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PParamsUpdate era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PParamsUpdate era] -> Size | |
Crypto c => ToCBOR (GenesisCredential c) | |
Defined in Cardano.Ledger.Credential Methods toCBOR :: GenesisCredential c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (GenesisCredential c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [GenesisCredential c] -> Size | |
Crypto c => ToCBOR (ScriptHash c) | |
Defined in Cardano.Ledger.Hashes Methods toCBOR :: ScriptHash c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ScriptHash c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ScriptHash c] -> Size | |
Crypto c => ToCBOR (BootstrapWitness c) | |
Defined in Cardano.Ledger.Keys.Bootstrap Methods toCBOR :: BootstrapWitness c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BootstrapWitness c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BootstrapWitness c] -> Size | |
Typeable era => ToCBOR (Data era) | |
Defined in Cardano.Ledger.Plutus.Data Methods toCBOR :: Data era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Data era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Data era] -> Size | |
(EncCBOR (TxOut era), Era era) => ToCBOR (UTxO era) | |
Defined in Cardano.Ledger.UTxO Methods toCBOR :: UTxO era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (UTxO era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTxO era] -> Size | |
Typeable era => ToCBOR (MaryTxBody era) | |
Defined in Cardano.Ledger.Mary.TxBody Methods toCBOR :: MaryTxBody era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MaryTxBody era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MaryTxBody era] -> Size | |
(Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) => ToCBOR (ApplyTxError era) | |
Defined in Cardano.Ledger.Shelley.API.Mempool Methods toCBOR :: ApplyTxError era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ApplyTxError era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ApplyTxError era] -> Size | |
Crypto c => ToCBOR (ShelleyGenesis c) | |
Defined in Cardano.Ledger.Shelley.Genesis Methods toCBOR :: ShelleyGenesis c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyGenesis c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyGenesis c] -> Size | |
Era era => ToCBOR (Constitution era) | |
Defined in Cardano.Ledger.Shelley.Governance Methods toCBOR :: Constitution era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Constitution era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Constitution era] -> Size | |
(Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => ToCBOR (ShelleyGovState era) | |
Defined in Cardano.Ledger.Shelley.Governance Methods toCBOR :: ShelleyGovState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyGovState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyGovState era] -> Size | |
(EraTxOut era, EraGov era) => ToCBOR (EpochState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR :: EpochState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (EpochState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochState era] -> Size | |
(EraTxOut era, EraGov era) => ToCBOR (LedgerState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR :: LedgerState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LedgerState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LedgerState era] -> Size | |
(EraTxOut era, EraGov era, EncCBOR (StashedAVVMAddresses era)) => ToCBOR (NewEpochState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR :: NewEpochState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (NewEpochState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [NewEpochState era] -> Size | |
(EraTxOut era, EraGov era) => ToCBOR (UTxOState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods toCBOR :: UTxOState era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (UTxOState era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [UTxOState era] -> Size | |
(Era era, ToCBOR (PParamsUpdate era)) => ToCBOR (ProposedPPUpdates era) | |
Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR :: ProposedPPUpdates era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ProposedPPUpdates era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ProposedPPUpdates era] -> Size | |
Typeable era => ToCBOR (MultiSig era) | |
Defined in Cardano.Ledger.Shelley.Scripts Methods toCBOR :: MultiSig era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MultiSig era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MultiSig era] -> Size | |
Typeable era => ToCBOR (ShelleyTx era) | |
Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR :: ShelleyTx era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTx era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTx era] -> Size | |
Typeable era => ToCBOR (ShelleyTxAuxData era) | |
Defined in Cardano.Ledger.Shelley.TxAuxData Methods toCBOR :: ShelleyTxAuxData era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxAuxData era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxAuxData era] -> Size | |
Typeable era => ToCBOR (ShelleyTxBody era) | |
Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: ShelleyTxBody era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxBody era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxBody era] -> Size | |
Era era => ToCBOR (ShelleyTxCert era) | |
Defined in Cardano.Ledger.Shelley.TxCert Methods toCBOR :: ShelleyTxCert era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxCert era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxCert era] -> Size | |
(Era era, EncCBOR (CompactForm (Value era))) => ToCBOR (ShelleyTxOut era) | |
Defined in Cardano.Ledger.Shelley.TxOut Methods toCBOR :: ShelleyTxOut era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxOut era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxOut era] -> Size | |
Era era => ToCBOR (ShelleyTxWits era) | |
Defined in Cardano.Ledger.Shelley.TxWits Methods toCBOR :: ShelleyTxWits era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxWits era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxWits era] -> Size | |
Crypto c => ToCBOR (ChainDepState c) | |
Defined in Cardano.Protocol.TPraos.API Methods toCBOR :: ChainDepState c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ChainDepState c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ChainDepState c] -> Size | |
Crypto c => ToCBOR (BHeader c) | |
Defined in Cardano.Protocol.TPraos.BHeader Methods toCBOR :: BHeader c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BHeader c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BHeader c] -> Size | |
Crypto c => ToCBOR (OCert c) | |
Defined in Cardano.Protocol.TPraos.OCert Methods toCBOR :: OCert c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (OCert c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [OCert c] -> Size | |
Crypto c => ToCBOR (PrtclState c) | |
Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods toCBOR :: PrtclState c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PrtclState c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PrtclState c] -> Size | |
(Serialise t, Typeable t) => ToCBOR (WithOrigin t) | |
Defined in Cardano.Slotting.Slot Methods toCBOR :: WithOrigin t -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (WithOrigin t) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [WithOrigin t] -> Size | |
ToCBOR a => ToCBOR (StrictMaybe a) | |
Defined in Data.Maybe.Strict Methods toCBOR :: StrictMaybe a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size | |
ToCBOR a => ToCBOR (StrictSeq a) | |
Defined in Data.Sequence.Strict Methods toCBOR :: StrictSeq a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StrictSeq a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StrictSeq a] -> Size | |
ToCBOR a => ToCBOR (Seq a) | |
Defined in Cardano.Binary.ToCBOR Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Seq a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Seq a] -> Size | |
(Ord a, ToCBOR a) => ToCBOR (Set a) | |
Defined in Cardano.Binary.ToCBOR Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Set a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Set a] -> Size | |
Crypto c => ToCBOR (CompactGenesis c) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Config Methods toCBOR :: CompactGenesis c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CompactGenesis c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactGenesis c] -> Size | |
Crypto c => ToCBOR (NonMyopicMemberRewards c) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR :: NonMyopicMemberRewards c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (NonMyopicMemberRewards c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [NonMyopicMemberRewards c] -> Size | |
Crypto crypto => ToCBOR (StakeSnapshot crypto) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR :: StakeSnapshot crypto -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StakeSnapshot crypto) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StakeSnapshot crypto] -> Size | |
Crypto crypto => ToCBOR (StakeSnapshots crypto) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query Methods toCBOR :: StakeSnapshots crypto -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StakeSnapshots crypto) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StakeSnapshots crypto] -> Size | |
Crypto c => ToCBOR (LegacyPParams (AllegraEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder Methods toCBOR :: LegacyPParams (AllegraEra c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LegacyPParams (AllegraEra c)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LegacyPParams (AllegraEra c)] -> Size | |
Crypto c => ToCBOR (LegacyPParams (AlonzoEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder Methods toCBOR :: LegacyPParams (AlonzoEra c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LegacyPParams (AlonzoEra c)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LegacyPParams (AlonzoEra c)] -> Size | |
Crypto c => ToCBOR (LegacyPParams (BabbageEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder Methods toCBOR :: LegacyPParams (BabbageEra c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LegacyPParams (BabbageEra c)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LegacyPParams (BabbageEra c)] -> Size | |
Crypto c => ToCBOR (LegacyPParams (ConwayEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder Methods toCBOR :: LegacyPParams (ConwayEra c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LegacyPParams (ConwayEra c)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LegacyPParams (ConwayEra c)] -> Size | |
Crypto c => ToCBOR (LegacyPParams (MaryEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder Methods toCBOR :: LegacyPParams (MaryEra c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LegacyPParams (MaryEra c)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LegacyPParams (MaryEra c)] -> Size | |
Crypto c => ToCBOR (LegacyPParams (ShelleyEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Query.PParamsLegacyEncoder Methods toCBOR :: LegacyPParams (ShelleyEra c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (LegacyPParams (ShelleyEra c)) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LegacyPParams (ShelleyEra c)] -> Size | |
Crypto crypto => ToCBOR (ShelleyHash crypto) | |
Defined in Ouroboros.Consensus.Shelley.Protocol.Abstract Methods toCBOR :: ShelleyHash crypto -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyHash crypto) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyHash crypto] -> Size | |
PraosCrypto c => ToCBOR (PraosState c) | |
Defined in Ouroboros.Consensus.Protocol.Praos Methods toCBOR :: PraosState c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PraosState c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PraosState c] -> Size | |
Crypto c => ToCBOR (Header c) | |
Defined in Ouroboros.Consensus.Protocol.Praos.Header Methods toCBOR :: Header c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Header c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Header c] -> Size | |
PraosCrypto c => ToCBOR (TPraosState c) | |
Defined in Ouroboros.Consensus.Protocol.TPraos Methods toCBOR :: TPraosState c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (TPraosState c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TPraosState c] -> Size | |
ToCBOR a => ToCBOR (Vector a) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: Vector a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Vector a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Vector a] -> Size | |
ToCBOR a => ToCBOR (Maybe a) | |
Defined in Cardano.Binary.ToCBOR | |
ToCBOR a => ToCBOR [a] | |
Defined in Cardano.Binary.ToCBOR Methods encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [a] -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [[a]] -> Size | |
(ToCBOR a, ToCBOR b) => ToCBOR (Either a b) | |
Defined in Cardano.Binary.ToCBOR | |
Typeable a => ToCBOR (Fixed a) | |
Defined in Cardano.Binary.ToCBOR | |
(HashAlgorithm h, Typeable a) => ToCBOR (Hash h a) | |
Defined in Cardano.Crypto.Hash.Class Methods toCBOR :: Hash h a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Hash h a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Hash h a] -> Size | |
(VRFAlgorithm v, Typeable a) => ToCBOR (CertifiedVRF v a) | |
Defined in Cardano.Crypto.VRF.Class Methods toCBOR :: CertifiedVRF v a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CertifiedVRF v a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CertifiedVRF v a] -> Size | |
(Typeable algo, Typeable a, HashAlgorithm algo) => ToCBOR (AbstractHash algo a) | |
Defined in Cardano.Crypto.Hashing Methods toCBOR :: AbstractHash algo a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AbstractHash algo a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AbstractHash algo a] -> Size | |
Era era => ToCBOR (AlonzoPParams Identity era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
Era era => ToCBOR (AlonzoPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods toCBOR :: AlonzoPParams StrictMaybe era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size | |
Era era => ToCBOR (BabbagePParams Identity era) | |
Defined in Cardano.Ledger.Babbage.PParams | |
Era era => ToCBOR (BabbagePParams StrictMaybe era) | |
Defined in Cardano.Ledger.Babbage.PParams Methods toCBOR :: BabbagePParams StrictMaybe era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size | |
Era era => ToCBOR (ConwayPParams Identity era) | |
Defined in Cardano.Ledger.Conway.PParams | |
Era era => ToCBOR (ConwayPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Conway.PParams Methods toCBOR :: ConwayPParams StrictMaybe era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size | |
(EraTx era, Typeable h) => ToCBOR (Block h era) | |
Defined in Cardano.Ledger.Block Methods toCBOR :: Block h era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Block h era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Block h era] -> Size | |
(Typeable kr, Crypto c) => ToCBOR (Credential kr c) | |
Defined in Cardano.Ledger.Credential Methods toCBOR :: Credential kr c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Credential kr c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Credential kr c] -> Size | |
(Crypto c, Typeable disc) => ToCBOR (KeyHash disc c) | |
Defined in Cardano.Ledger.Keys Methods toCBOR :: KeyHash disc c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (KeyHash disc c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [KeyHash disc c] -> Size | |
(Crypto c, Typeable kd) => ToCBOR (VKey kd c) | |
Defined in Cardano.Ledger.Keys Methods toCBOR :: VKey kd c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VKey kd c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VKey kd c] -> Size | |
(Typeable kr, Crypto c) => ToCBOR (WitVKey kr c) | |
Defined in Cardano.Ledger.Keys.WitVKey Methods toCBOR :: WitVKey kr c -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (WitVKey kr c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [WitVKey kr c] -> Size | |
(Typeable t, Typeable era) => ToCBOR (MemoBytes t era) | |
Defined in Cardano.Ledger.MemoBytes Methods toCBOR :: MemoBytes t era -> Encoding # encodedSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy (MemoBytes t era) -> Size encodedListSizeExpr :: (forall t0. ToCBOR t0 => Proxy t0 -> Size) -> Proxy [MemoBytes t era] -> Size | |
(Typeable index, Crypto c) => ToCBOR (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash Methods toCBOR :: SafeHash c index -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (SafeHash c index) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SafeHash c index] -> Size | |
Era era => ToCBOR (ShelleyPParams Identity era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
Era era => ToCBOR (ShelleyPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR :: ShelleyPParams StrictMaybe era -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size | |
(Ord k, ToCBOR k, ToCBOR v) => ToCBOR (Map k v) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: Map k v -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Map k v) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Map k v] -> Size | |
(ToCBOR a, ToCBOR b) => ToCBOR (a, b) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b)] -> Size | |
ToCBOR (Tokens -> Tokens) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (Tokens -> Tokens) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Tokens -> Tokens) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Tokens -> Tokens] -> Size | |
(Typeable s, ToCBOR a) => ToCBOR (Tagged s a) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: Tagged s a -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Tagged s a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Tagged s a] -> Size | |
(ToCBOR a, ToCBOR b, ToCBOR c) => ToCBOR (a, b, c) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b, c) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c)] -> Size | |
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d) => ToCBOR (a, b, c, d) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b, c, d) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d)] -> Size | |
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e) => ToCBOR (a, b, c, d, e) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b, c, d, e) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d, e) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d, e)] -> Size | |
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f) => ToCBOR (a, b, c, d, e, f) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b, c, d, e, f) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d, e, f) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d, e, f)] -> Size | |
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g) => ToCBOR (a, b, c, d, e, f, g) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b, c, d, e, f, g) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d, e, f, g) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d, e, f, g)] -> Size | |
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g, ToCBOR h) => ToCBOR (a, b, c, d, e, f, g, h) | |
Defined in Cardano.Binary.ToCBOR Methods toCBOR :: (a, b, c, d, e, f, g, h) -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (a, b, c, d, e, f, g, h) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [(a, b, c, d, e, f, g, h)] -> Size |
Proxy
is a type that holds no data, but has a phantom parameter of
arbitrary type (or even kind). Its use is to provide type information, even
though there is no value available of that type (or it may be too costly to
create one).
Historically,
is a safer alternative to the
Proxy
:: Proxy
a
idiom.undefined
:: a
>>>
Proxy :: Proxy (Void, Int -> Int)
Proxy
Proxy can even hold types of higher kinds,
>>>
Proxy :: Proxy Either
Proxy
>>>
Proxy :: Proxy Functor
Proxy
>>>
Proxy :: Proxy complicatedStructure
Proxy
Constructors
Proxy |
Instances
ApplicativeB (Proxy :: (k -> Type) -> Type) | |
ConstraintsB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.ConstraintsB Associated Types type AllB c Proxy | |
DistributiveB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.DistributiveB | |
FunctorB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.FunctorB | |
TraversableB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.TraversableB Methods btraverse :: Applicative e => (forall (a :: k0). f a -> e (g a)) -> Proxy f -> e (Proxy g) | |
Generic1 (Proxy :: k -> Type) | |
Representable (Proxy :: Type -> Type) | |
FromJSON1 (Proxy :: Type -> Type) | |
Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (Proxy a) liftParseJSONList :: Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [Proxy a] liftOmittedField :: Maybe a -> Maybe (Proxy a) | |
ToJSON1 (Proxy :: Type -> Type) | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> Proxy a -> Value liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [Proxy a] -> Value liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> Proxy a -> Encoding liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [Proxy a] -> Encoding liftOmitField :: (a -> Bool) -> Proxy a -> Bool | |
Foldable (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
Defined in Data.Foldable Methods fold :: Monoid m => Proxy m -> m Source # foldMap :: Monoid m => (a -> m) -> Proxy a -> m Source # foldMap' :: Monoid m => (a -> m) -> Proxy a -> m Source # foldr :: (a -> b -> b) -> b -> Proxy a -> b Source # foldr' :: (a -> b -> b) -> b -> Proxy a -> b Source # foldl :: (b -> a -> b) -> b -> Proxy a -> b Source # foldl' :: (b -> a -> b) -> b -> Proxy a -> b Source # foldr1 :: (a -> a -> a) -> Proxy a -> a Source # foldl1 :: (a -> a -> a) -> Proxy a -> a Source # toList :: Proxy a -> [a] Source # null :: Proxy a -> Bool Source # length :: Proxy a -> Int Source # elem :: Eq a => a -> Proxy a -> Bool Source # maximum :: Ord a => Proxy a -> a Source # minimum :: Ord a => Proxy a -> a Source # | |
Contravariant (Proxy :: Type -> Type) | |
Traversable (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
Alternative (Proxy :: Type -> Type) | Since: base-4.9.0.0 |
Applicative (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
Functor (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
Monad (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
MonadPlus (Proxy :: Type -> Type) | Since: base-4.9.0.0 |
NFData1 (Proxy :: Type -> Type) | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
Hashable1 (Proxy :: Type -> Type) | |
Defined in Data.Hashable.Class | |
FromJSON (Proxy a) | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Proxy a) parseJSONList :: Value -> Parser [Proxy a] omittedField :: Maybe (Proxy a) | |
ToJSON (Proxy a) | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: Proxy a -> Encoding toJSONList :: [Proxy a] -> Value toEncodingList :: [Proxy a] -> Encoding | |
Monoid (Proxy s) | Since: base-4.7.0.0 |
Semigroup (Proxy s) | Since: base-4.9.0.0 |
Bounded (Proxy t) | Since: base-4.7.0.0 |
Enum (Proxy s) | Since: base-4.7.0.0 |
Defined in Data.Proxy Methods succ :: Proxy s -> Proxy s Source # pred :: Proxy s -> Proxy s Source # toEnum :: Int -> Proxy s Source # fromEnum :: Proxy s -> Int Source # enumFrom :: Proxy s -> [Proxy s] Source # enumFromThen :: Proxy s -> Proxy s -> [Proxy s] Source # enumFromTo :: Proxy s -> Proxy s -> [Proxy s] Source # enumFromThenTo :: Proxy s -> Proxy s -> Proxy s -> [Proxy s] Source # | |
Generic (Proxy t) | |
Ix (Proxy s) | Since: base-4.7.0.0 |
Read (Proxy t) | Since: base-4.7.0.0 |
Show (Proxy s) | Since: base-4.7.0.0 |
NFData (Proxy a) | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
Eq (Proxy s) | Since: base-4.7.0.0 |
Ord (Proxy s) | Since: base-4.7.0.0 |
Abelian (Proxy x) | |
Defined in Data.Group | |
Cyclic (Proxy x) | |
Defined in Data.Group | |
Group (Proxy x) | |
Hashable (Proxy a) | |
Defined in Data.Hashable.Class | |
MonoFoldable (Proxy a) | |
Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element (Proxy a) -> m) -> Proxy a -> m ofoldr :: (Element (Proxy a) -> b -> b) -> b -> Proxy a -> b ofoldl' :: (a0 -> Element (Proxy a) -> a0) -> a0 -> Proxy a -> a0 otoList :: Proxy a -> [Element (Proxy a)] oall :: (Element (Proxy a) -> Bool) -> Proxy a -> Bool oany :: (Element (Proxy a) -> Bool) -> Proxy a -> Bool ocompareLength :: Integral i => Proxy a -> i -> Ordering otraverse_ :: Applicative f => (Element (Proxy a) -> f b) -> Proxy a -> f () ofor_ :: Applicative f => Proxy a -> (Element (Proxy a) -> f b) -> f () omapM_ :: Applicative m => (Element (Proxy a) -> m ()) -> Proxy a -> m () oforM_ :: Applicative m => Proxy a -> (Element (Proxy a) -> m ()) -> m () ofoldlM :: Monad m => (a0 -> Element (Proxy a) -> m a0) -> a0 -> Proxy a -> m a0 ofoldMap1Ex :: Semigroup m => (Element (Proxy a) -> m) -> Proxy a -> m ofoldr1Ex :: (Element (Proxy a) -> Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Element (Proxy a) ofoldl1Ex' :: (Element (Proxy a) -> Element (Proxy a) -> Element (Proxy a)) -> Proxy a -> Element (Proxy a) headEx :: Proxy a -> Element (Proxy a) lastEx :: Proxy a -> Element (Proxy a) unsafeHead :: Proxy a -> Element (Proxy a) unsafeLast :: Proxy a -> Element (Proxy a) maximumByEx :: (Element (Proxy a) -> Element (Proxy a) -> Ordering) -> Proxy a -> Element (Proxy a) minimumByEx :: (Element (Proxy a) -> Element (Proxy a) -> Ordering) -> Proxy a -> Element (Proxy a) | |
MonoFunctor (Proxy a) | |
MonoPointed (Proxy a) | |
Defined in Data.MonoTraversable | |
MonoTraversable (Proxy a) | |
Defined in Data.MonoTraversable | |
Serialise (Proxy a) | |
Defined in Codec.Serialise.Class | |
ToExpr (Proxy a) | |
Defined in Data.TreeDiff.Class | |
type AllB (c :: k -> Constraint) (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.ConstraintsB | |
type Rep1 (Proxy :: k -> Type) | Since: base-4.6.0.0 |
type Rep (Proxy :: Type -> Type) | |
Defined in Data.Functor.Rep | |
type Rep (Proxy t) | Since: base-4.6.0.0 |
type Element (Proxy a) | |
Defined in Data.MonoTraversable type Element (Proxy a) = a |