| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Api.Any
Synopsis
- data Bech32DecodeError
- class (HasTypeProxy a, SerialiseAsRawBytes a) => SerialiseAsBech32 a where
- bech32PrefixFor :: a -> Text
- bech32PrefixesPermitted :: AsType a -> [Text]
- data FileError e
- data ErrorAsException where
- ErrorAsException :: Error e => e -> ErrorAsException
- class Show e => Error e where
- displayError :: e -> String
- class HasTypeProxy a => SerialiseAsCBOR a where
- serialiseToCBOR :: a -> ByteString
- deserialiseFromCBOR :: AsType a -> ByteString -> Either DecoderError a
- class HasTypeProxy a => SerialiseAsRawBytes a where
- serialiseToRawBytes :: a -> ByteString
- deserialiseFromRawBytes :: AsType a -> ByteString -> Maybe a
- class CastHash roleA roleB where
- data family Hash keyrole :: Type
- data FromSomeType (c :: Type -> Constraint) b where
- FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b
- class HasTypeProxy t where
- data AsType t
- proxyToAsType :: Proxy t -> AsType t
- 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 => FromCBOR a where
- fromCBOR :: Decoder s a
- class Typeable a => ToCBOR a where
- toCBOR :: a -> Encoding
- 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
- data Proxy (t :: k) = Proxy
Documentation
data Bech32DecodeError Source #
Instances
| Show Bech32DecodeError Source # | |
Defined in Cardano.Api.Any | |
| Error Bech32DecodeError Source # | |
Defined in Cardano.Api.Any Methods | |
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.
Constructors
| FileError FilePath e | |
| FileErrorTempFile | |
| FileIOError FilePath IOException | |
data ErrorAsException where Source #
Constructors
| ErrorAsException :: Error e => e -> ErrorAsException |
Instances
| Show ErrorAsException Source # | |
Defined in Cardano.Api.Any | |
| Exception ErrorAsException Source # | |
Defined in Cardano.Api.Any Methods toException :: ErrorAsException -> SomeException Source # fromException :: SomeException -> Maybe ErrorAsException Source # | |
class Show e => Error e where Source #
Methods
displayError :: e -> String Source #
Instances
| Error () Source # | |
Defined in Cardano.Api.Any Methods displayError :: () -> String Source # | |
| 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 e => Error (FileError e) Source # | |
Defined in Cardano.Api.Any Methods displayError :: FileError e -> String 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 HasTypeProxy a => SerialiseAsRawBytes a where Source #
Methods
serialiseToRawBytes :: a -> ByteString Source #
deserialiseFromRawBytes :: AsType a -> ByteString -> Maybe a Source #
data FromSomeType (c :: Type -> Constraint) b where Source #
Constructors
| FromSomeType :: c a => AsType a -> (a -> b) -> FromSomeType c b |
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 # | |
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 => FromCBOR a where #
Instances
class Typeable a => ToCBOR a where #
Instances
| 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 Int32 | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR Int64 | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR Integer | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR Natural | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR Word | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR Word8 | |
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 () | |
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 Void | |
Defined in Cardano.Binary.ToCBOR | |
| 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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.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 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 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 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 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 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 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 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 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 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 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 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 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 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.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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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.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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 MempoolPayload | |
Defined in Cardano.Chain.MempoolPayload Methods toCBOR :: MempoolPayload -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy MempoolPayload -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MempoolPayload] -> Size | |
| 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 (Maybe a) | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR a => ToCBOR (Ratio a) | |
Defined in Cardano.Binary.ToCBOR | |
| ToCBOR a => ToCBOR (NonEmpty 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 | |
| (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 | |
| 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 | |
| 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 (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 | |
| (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 (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 (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 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 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 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 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 | |
| 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 => 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 | |
| (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 | |
| 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 | |
| (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, 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 | |
| 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 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 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 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 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 | |
| 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 => 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 | |
| (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 | |
| 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 | |
| (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, 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 | |
| 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 (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 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 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 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 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 | |
| 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 => 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 | |
| (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 | |
| 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 | |
| (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 | |
| (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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 (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 | |
| 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 | |
| (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 | |
| (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 | |
| (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 | |
| (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 | |
| (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, 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 | |
| (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 | |
| (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 (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 | |
| 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 (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 | |
| 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 (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 | |
| (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 | |
| 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 | |
| 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 | |
| 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 | |
| (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 | |
| ToCBOR (AMempoolPayload ByteString) | |
Defined in Cardano.Chain.MempoolPayload Methods toCBOR :: AMempoolPayload ByteString -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AMempoolPayload ByteString) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AMempoolPayload ByteString] -> 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 | |
| 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 | |
| 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 | |
| (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 | |
| 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 (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 | |
| 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 | |
| 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, 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 (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 | |
| 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 | |
| (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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 (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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| (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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 | |
| 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 (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 | |
| 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 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 | |
| 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 | |
| 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 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 | |
| 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 | |
| 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 | |
| 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 | |
| (ToCBOR a, ToCBOR b) => ToCBOR (Either a b) | |
Defined in Cardano.Binary.ToCBOR | |
| (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 | |
| Typeable a => ToCBOR (Fixed a) | |
Defined in Cardano.Binary.ToCBOR | |
| (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 | |
| (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 | |
| (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 | |
| (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 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 | |
| (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 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 | |
| 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 | |
| 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 | |
| (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 | |
| 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 (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 | |
| (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 | |
| (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 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 | |
class Typeable a => DecCBOR a where #
Minimal complete definition
Nothing
Instances
| DecCBOR Bool | |
| DecCBOR Double | |
| DecCBOR Float | |
| DecCBOR Int | |
| DecCBOR Int8 | |
| DecCBOR Int16 | |
| DecCBOR Int32 | |
| DecCBOR Int64 | |
| DecCBOR Integer | |
| DecCBOR Natural | |
| DecCBOR Rational | |
| DecCBOR Word | |
| DecCBOR Word8 | |
| DecCBOR Word16 | |
| DecCBOR Word32 | |
| DecCBOR Word64 | |
| DecCBOR () | |
| DecCBOR Void | |
| DecCBOR Version | |
| DecCBOR Term | |
| DecCBOR Text | |
| DecCBOR ByteString | |
| DecCBOR ByteString | |
| DecCBOR Data | |
| DecCBOR ShortByteString | |
| DecCBOR BlockNo | |
| DecCBOR EpochNo | |
| DecCBOR EpochSize | |
| DecCBOR IPv4 | |
| DecCBOR IPv6 | |
| DecCBOR SlotNo | |
| DecCBOR UTCTime | |
| DecCBOR ByteArray | |
| DecCBOR ByteArray | |
| DecCBOR Proof | |
| DecCBOR SignKey | |
| DecCBOR SlicedByteArray | |
| DecCBOR SystemStart | |
| DecCBOR VerKey | |
| DecCBOR EpochAndSlotCount | |
| DecCBOR EpochNumber | |
| DecCBOR EpochSlots | |
| DecCBOR SlotCount | |
| DecCBOR SlotNumber | |
| DecCBOR ByronHash | |
| DecCBOR Nonce | |
| DecCBOR ProtVer | |
| DecCBOR TicknState | |
| DecCBOR KESPeriod | |
| DecCBOR ActiveSlotCoeff | |
| DecCBOR Network | |
| DecCBOR PositiveUnitInterval | |
| DecCBOR Config | |
| DecCBOR GenesisNonAvvmBalances | |
| DecCBOR GenesisDelegation | |
| DecCBOR GenesisKeyHashes | |
| DecCBOR CompactAddress | |
| DecCBOR RequiresNetworkMagic | |
| DecCBOR GenesisAvvmBalances | |
| DecCBOR ProtocolParameters | |
| DecCBOR ProtocolVersion | |
| DecCBOR ProtocolMagicId | |
| DecCBOR Certificate | |
| DecCBOR SigningKey | |
| DecCBOR SoftwareVersion | |
| DecCBOR GenesisHash | |
| DecCBOR Raw | |
| DecCBOR CompactRedeemVerificationKey | |
| DecCBOR Lovelace | |
| DecCBOR Error | |
| DecCBOR ChainValidationState | |
| DecCBOR VerificationKey | |
| DecCBOR KeyHash | |
| DecCBOR CandidateProtocolUpdate | |
| DecCBOR Endorsement | |
| DecCBOR ApplyMempoolPayloadErr | |
| DecCBOR Tx | |
| DecCBOR Proposal | |
| DecCBOR Vote | |
| DecCBOR Map | |
| DecCBOR ScheduledDelegation | |
| DecCBOR State | |
| DecCBOR UTxO | |
| DecCBOR ToSign | |
| DecCBOR OrdExUnits | |
| DecCBOR ExUnits | |
| DecCBOR StakePoolRelay | |
| DecCBOR Coin | |
| DecCBOR UnitInterval | |
| DecCBOR RewardParams | |
| DecCBOR RewardInfoPool | |
| DecCBOR MemberStatus | |
| DecCBOR NominalDiffTimeMicro | |
| DecCBOR Language | |
| DecCBOR Likelihood | |
| DecCBOR Ptr | |
| DecCBOR AccountState | |
| DecCBOR Vote | |
| DecCBOR CoinPerWord | |
| DecCBOR NonNegativeInterval | |
| DecCBOR CoinPerByte | |
| DecCBOR CostModels | |
| DecCBOR Prices | |
| DecCBOR PoolVotingThresholds | |
| DecCBOR DRepVotingThresholds | |
| DecCBOR AssetName | |
| DecCBOR IsValid | |
| DecCBOR BinaryPlutus | |
| DecCBOR ValidityInterval | |
| DecCBOR Address | |
| DecCBOR Address' | |
| DecCBOR AddrType | |
| DecCBOR GovActionIx | |
| DecCBOR AlonzoGenesis | |
| DecCBOR Tag | |
| DecCBOR RdmrPtr | |
| DecCBOR FailureDescription | |
| DecCBOR TagMismatchDescription | |
| DecCBOR PlutusData | |
| DecCBOR Metadatum | |
| DecCBOR TxIx | |
| DecCBOR RDPair | |
| DecCBOR MIRPot | |
| DecCBOR LogWeight | |
| DecCBOR DeltaCoin | |
| DecCBOR VotingPeriod | |
| DecCBOR Url | |
| DecCBOR PoolMetadata | |
| DecCBOR ChainDifficulty | |
| DecCBOR Proof | |
| DecCBOR SscPayload | |
| DecCBOR ProposalBody | |
| DecCBOR TxInWitness | |
| DecCBOR Body | |
| DecCBOR BlockSignature | |
| DecCBOR RedeemVerificationKey | |
| DecCBOR RedeemSigningKey | |
| DecCBOR TxPayload | |
| DecCBOR Payload | |
| DecCBOR Payload | |
| DecCBOR TxAux | |
| DecCBOR SscProof | |
| DecCBOR TxProof | |
| DecCBOR SoftwareVersionError | |
| DecCBOR ApplicationNameError | |
| DecCBOR ApplicationName | |
| DecCBOR CompactTxIn | |
| DecCBOR CompactTxOut | |
| DecCBOR State | |
| DecCBOR BlockCount | |
| DecCBOR UTxOConfiguration | |
| DecCBOR ApplicationVersion | |
| DecCBOR ProtocolUpdateProposal | |
| DecCBOR SoftwareUpdateProposal | |
| DecCBOR Error | |
| DecCBOR UTxOError | |
| DecCBOR TxIn | |
| DecCBOR TxOut | |
| DecCBOR LovelaceError | |
| DecCBOR CompactTxId | |
| DecCBOR Error | |
| DecCBOR Error | |
| DecCBOR Error | |
| DecCBOR State | |
| DecCBOR State | |
| DecCBOR HDAddressPayload | |
| DecCBOR NetworkMagic | |
| DecCBOR AddrSpendingData | |
| DecCBOR LovelacePortion | |
| DecCBOR TxFeePolicy | |
| DecCBOR TxSizeLinear | |
| DecCBOR GenesisData | |
| DecCBOR SoftforkRule | |
| DecCBOR TxSigData | |
| DecCBOR InstallerHash | |
| DecCBOR SystemTag | |
| DecCBOR ProtocolParametersUpdate | |
| DecCBOR SystemTagError | |
| DecCBOR Adopted | |
| DecCBOR CertIx | |
| DecCBOR DnsName | |
| DecCBOR Port | |
| DecCBOR PositiveInterval | |
| DecCBOR RewardType | |
| DecCBOR NextEpochChange | |
| DecCBOR ChainCode | |
| DecCBOR PerformanceEstimate | |
| DecCBOR Desirability | |
| DecCBOR MempoolPayload | |
| DecCBOR a => DecCBOR [a] | |
| DecCBOR a => DecCBOR (Maybe a) | |
| DecCBOR a => DecCBOR (NonEmpty a) | |
| DecCBOR (Annotator Data) | |
| ShelleyCompatible proto era => DecCBOR (Annotator (Header (ShelleyBlock proto era))) | |
| ShelleyCompatible proto era => DecCBOR (Annotator (ShelleyBlock proto era)) | |
| Crypto c => DecCBOR (Annotator (BHeader c)) | |
| (Typeable era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) => DecCBOR (Annotator (AlonzoTx era)) | |
| Era era => DecCBOR (Annotator (AlonzoScript era)) | |
| EraTx era => DecCBOR (Annotator (ShelleyTx era)) | |
| (EraSegWits era, DecCBOR (Annotator h), Typeable h) => DecCBOR (Annotator (Block h era)) | |
| Crypto c => DecCBOR (Annotator (Header c)) | |
| Era era => DecCBOR (Annotator (Redeemers era)) | |
| (EraScript era, Script era ~ AlonzoScript era) => DecCBOR (Annotator (AlonzoTxWits era)) | |
| (Typeable t, DecCBOR (Annotator (t era)), Era era) => DecCBOR (Annotator (MemoBytes t era)) | |
| Era era => DecCBOR (Annotator (Data era)) | |
| (DecCBOR (TxOut era), EraPParams era, ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (Annotator (ConwayTxBody era)) | |
| (EraScript era, EncCBOR (Data era), EraScript era, Script era ~ AlonzoScript era) => DecCBOR (Annotator (AlonzoTxWitsRaw era)) | |
| Era era => DecCBOR (Annotator (RedeemersRaw era)) | |
| Era era => DecCBOR (Annotator (TxDatsRaw era)) | |
| Era era => DecCBOR (Annotator (Timelock era)) | |
| Era era => DecCBOR (Annotator (AuxiliaryData era)) | |
| Era era => DecCBOR (Annotator (AlonzoTxAuxDataRaw era)) | |
| AlonzoEraTx era => DecCBOR (Annotator (TxSeq era)) | |
| Era era => DecCBOR (Annotator (TxDats era)) | |
| (Typeable kr, Crypto c) => DecCBOR (Annotator (WitVKey kr c)) | |
| Crypto c => DecCBOR (Annotator (BootstrapWitness c)) | |
| DecCBOR (Annotator BinaryPlutus) | |
| Era era => DecCBOR (Annotator (TimelockRaw era)) | |
| (DecCBOR (TxOut era), EraPParams era, ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (Annotator (ConwayTxBodyRaw 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 (AlonzoTxBody era)) | |
| (Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (Annotator (BabbageTxBodyRaw era)) | |
| Typeable era => DecCBOR (Annotator (PlutusData era)) | |
| (Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (Annotator (AlonzoTxBodyRaw era)) | |
| MaryEraTxBody era => DecCBOR (Annotator (MaryTxBody era)) | |
| Era era => DecCBOR (Annotator (AllegraTxAuxData era)) | |
| Era era => DecCBOR (Annotator (AllegraTxAuxDataRaw era)) | |
| EraScript era => DecCBOR (Annotator (ShelleyTxWits era)) | |
| EraTx era => DecCBOR (Annotator (ShelleyTxSeq era)) | |
| AllegraEraTxBody era => DecCBOR (Annotator (AllegraTxBodyRaw () era)) | |
| (Era era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) => DecCBOR (Annotator (ShelleyTxRaw era)) | |
| AllegraEraTxBody era => DecCBOR (Annotator (MaryTxBodyRaw era)) | |
| AllegraEraTxBody era => DecCBOR (Annotator (AllegraTxBody era)) | |
| Era era => DecCBOR (Annotator (MultiSig era)) | |
| EraTxBody era => DecCBOR (Annotator (ShelleyTxBody era)) | |
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) => DecCBOR (Annotator (ShelleyTxBodyRaw era)) | |
| Typeable era => DecCBOR (Annotator (ShelleyTxAuxData era)) | |
| Era era => DecCBOR (Annotator (MultiSigRaw era)) | |
| Crypto crypto => DecCBOR (Annotator (HeaderRaw crypto)) | |
| DecCBOR a => DecCBOR (Sized a) | |
| (DecCBORGroup a, EncCBORGroup a) => DecCBOR (CBORGroup a) | |
| (Ord a, DecCBOR a) => DecCBOR (Set a) | |
| DecCBOR a => DecCBOR (Seq a) | |
| DecCBOR a => DecCBOR (Vector a) | |
| (DecCBOR a, Unbox a) => DecCBOR (Vector a) | |
| (DecCBOR a, Storable a) => DecCBOR (Vector a) | |
| (DecCBOR a, Prim a) => DecCBOR (Vector a) | |
| DecCBOR a => DecCBOR (StrictMaybe a) | |
| DecCBOR a => DecCBOR (StrictSeq a) | |
| (Serialise t, Typeable t) => DecCBOR (WithOrigin t) | |
| DecCBOR (CertVRF MockVRF) | |
| DecCBOR (CertVRF SimpleVRF) | |
| DecCBOR (CertVRF PraosVRF) | |
| Typeable v => DecCBOR (OutputVRF v) | |
| DSIGNAlgorithm v => DecCBOR (SigDSIGN v) | |
| KnownNat t => DecCBOR (SigKES (MockKES t)) | |
| DSIGNAlgorithm d => DecCBOR (SigKES (SingleKES d)) | |
| (OptimizedKESAlgorithm d, HashAlgorithm h) => DecCBOR (SigKES (CompactSumKES h d)) | |
| DSIGNAlgorithm d => DecCBOR (SigKES (CompactSingleKES d)) | |
| (KESAlgorithm d, HashAlgorithm h) => DecCBOR (SigKES (SumKES h d)) | |
| (DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => DecCBOR (SigKES (SimpleKES d t)) | |
| DSIGNAlgorithm v => DecCBOR (SignKeyDSIGN v) | |
| KnownNat t => DecCBOR (SignKeyKES (MockKES t)) | |
| DSIGNAlgorithm d => DecCBOR (SignKeyKES (SingleKES d)) | |
| (OptimizedKESAlgorithm d, HashAlgorithm h) => DecCBOR (SignKeyKES (CompactSumKES h d)) | |
| DSIGNAlgorithm d => DecCBOR (SignKeyKES (CompactSingleKES d)) | |
| (KESAlgorithm d, HashAlgorithm h) => DecCBOR (SignKeyKES (SumKES h d)) | |
| (DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => DecCBOR (SignKeyKES (SimpleKES d t)) | |
| DecCBOR (SignKeyVRF MockVRF) | |
| DecCBOR (SignKeyVRF SimpleVRF) | |
| DecCBOR (SignKeyVRF PraosVRF) | |
| DSIGNAlgorithm v => DecCBOR (VerKeyDSIGN v) | |
| KnownNat t => DecCBOR (VerKeyKES (MockKES t)) | |
| DSIGNAlgorithm d => DecCBOR (VerKeyKES (SingleKES d)) | |
| (OptimizedKESAlgorithm d, HashAlgorithm h) => DecCBOR (VerKeyKES (CompactSumKES h d)) | |
| DSIGNAlgorithm d => DecCBOR (VerKeyKES (CompactSingleKES d)) | |
| (KESAlgorithm d, HashAlgorithm h) => DecCBOR (VerKeyKES (SumKES h d)) | |
| (DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => DecCBOR (VerKeyKES (SimpleKES d t)) | |
| DecCBOR (VerKeyVRF MockVRF) | |
| DecCBOR (VerKeyVRF SimpleVRF) | |
| DecCBOR (VerKeyVRF PraosVRF) | |
| Crypto c => DecCBOR (ShelleyGenesis c) | |
| Crypto c => DecCBOR (ShelleyGenesisStaking c) | |
| Crypto c => DecCBOR (PoolDistr c) | |
| Crypto c => DecCBOR (IndividualPoolStake c) | |
| Crypto c => DecCBOR (ChainDepState c) | |
| Crypto c => DecCBOR (PrtclState c) | |
| (Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) => DecCBOR (PParamsUpdate 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) | |
| (EraTxOut era, DecCBOR (PPUPPredFailure era)) => DecCBOR (AllegraUtxoPredFailure era) | |
| (Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) => DecCBOR (ApplyTxError era) | |
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (PParams era)) => DecCBOR (ShelleyGovState era) | |
| (Typeable era, DecCBOR (PParamsHKD Identity era)) => DecCBOR (PParams era) | |
| (Typeable era, DecCBOR (ShelleyBbodyPredFailure era)) => DecCBOR (AlonzoBbodyPredFailure era) | |
| (Era era, DecCBOR (TxOut era)) => DecCBOR (UTxO era) | |
| (Era era, DecCBOR (PredicateFailure (EraRule "LEDGER" era))) => DecCBOR (ShelleyLedgersPredFailure era) | |
| (DecCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) => DecCBOR (ShelleyLedgerPredFailure era) | |
| Crypto c => DecCBOR (ConwayGenesis c) | |
| (Era era, DecCBOR (PredicateFailure (EraRule "CERT" era))) => DecCBOR (ConwayCertsPredFailure era) | |
| (Typeable era, DecCBOR (PredicateFailure (EraRule "DELEG" era)), DecCBOR (PredicateFailure (EraRule "POOL" era)), DecCBOR (PredicateFailure (EraRule "GOVCERT" era))) => DecCBOR (ConwayCertPredFailure era) | |
| (EraTxOut era, DecCBOR (PPUPPredFailure era)) => DecCBOR (ShelleyUtxoPredFailure era) | |
| (Era era, DecCBOR (CompactForm (Value era))) => DecCBOR (ShelleyTxOut era) | |
| Crypto c => DecCBOR (CompactForm (MaryValue c)) | |
| DecCBOR (CompactForm Coin) | |
| DecCBOR (CompactForm DeltaCoin) | |
| Crypto c => DecCBOR (TxIn c) | |
| (Era era, DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (ShelleyUtxowPredFailure era) | |
| Era era => DecCBOR (ShelleyPpupPredFailure era) | |
| (Era era, DecCBOR (TxCert era), DecCBOR (PPUPPredFailure era)) => DecCBOR (AlonzoUtxosPredFailure era) | |
| Crypto c => DecCBOR (MaryValue c) | |
| (EraScript era, Val (Value era)) => DecCBOR (BabbageTxOut era) | |
| (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 (Value era), DecCBOR (PredicateFailure (EraRule "UTXOS" era))) => DecCBOR (AlonzoUtxoPredFailure era) | |
| (Era era, DecCBOR (TxCert era), DecCBOR (PredicateFailure (EraRule "UTXO" era)), Typeable (Script era), Typeable (TxAuxData era)) => DecCBOR (AlonzoUtxowPredFailure era) | |
| EraPParams era => DecCBOR (ConwayGovPredFailure era) | |
| (Era era, DecCBOR (PredicateFailure (EraRule "UTXOW" era)), DecCBOR (PredicateFailure (EraRule "CERTS" era)), DecCBOR (PredicateFailure (EraRule "GOV" era))) => DecCBOR (ConwayLedgerPredFailure era) | |
| Crypto c => DecCBOR (PrevHash c) | |
| (Era era, DecShareCBOR (PState era)) => DecCBOR (PState era) | |
| (EraTxOut era, EraGov era, DecCBOR (StashedAVVMAddresses era)) => DecCBOR (NewEpochState era) | |
| DecCBOR (AMempoolPayload ByteSpan) | |
| DecCBOR (ATxAux ByteSpan) | |
| DecCBOR (ACertificate ByteSpan) | |
| DecCBOR (AProposal ByteSpan) | |
| DecCBOR (AVote ByteSpan) | |
| Crypto crypto => DecCBOR (HeaderBody crypto) | |
| Crypto c => DecCBOR (TxId c) | |
| (EraTxOut era, EraGov era) => DecCBOR (EpochState era) | |
| Crypto c => DecCBOR (PoolParams c) | |
| Crypto c => DecCBOR (DRep c) | |
| Crypto c => DecCBOR (CommitteeMembersState c) | |
| Crypto c => DecCBOR (DRepState c) | |
| Era era => DecCBOR (Constitution era) | |
| (Era era, DecCBOR (PParamsUpdate era)) => DecCBOR (ProposedPPUpdates era) | |
| Crypto c => DecCBOR (RewardProvenance c) | |
| Crypto c => DecCBOR (Addr c) | |
| Crypto c => DecCBOR (GenDelegPair c) | |
| Crypto c => DecCBOR (HashHeader c) | |
| Crypto c => DecCBOR (BHBody c) | |
| (Era era, DecCBOR (TxCert era)) => DecCBOR (ScriptPurpose era) | |
| Crypto c => DecCBOR (TranslationError c) | |
| EraPParams era => DecCBOR (RatifyState era) | |
| EraPParams era => DecCBOR (ConwayGovState era) | |
| EraPParams era => DecCBOR (Proposals era) | |
| Crypto c => DecCBOR (RewardAcnt c) | |
| Era era => DecCBOR (ConwayDelegPredFailure era) | |
| (Typeable era, Crypto (EraCrypto era)) => DecCBOR (ConwayGovCertPredFailure era) | |
| Era era => DecCBOR (ShelleyPoolPredFailure era) | |
| Era era => DecCBOR (VState era) | |
| (ConwayEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (ConwayTxCert era) | |
| Crypto c => DecCBOR (GovActionId c) | |
| EraPParams era => DecCBOR (GovAction era) | |
| Crypto c => DecCBOR (Voter c) | |
| EraPParams era => DecCBOR (ProposalProcedure era) | |
| Era era => DecCBOR (PrevGovActionIds era) | |
| Crypto c => DecCBOR (RewardUpdate c) | |
| Crypto c => DecCBOR (PulsingRewUpdate c) | |
| Crypto c => DecCBOR (Reward c) | |
| Crypto c => DecCBOR (SnapShots c) | |
| EraPParams era => DecCBOR (EnactState era) | |
| Era era => DecCBOR (CommitteeState era) | |
| EraPParams era => DecCBOR (GovActionState era) | |
| Era era => DecCBOR (Committee era) | |
| Crypto c => DecCBOR (Withdrawals c) | |
| Era era => DecCBOR (VotingProcedures era) | |
| Era era => DecCBOR (VotingProcedure era) | |
| Crypto c => DecCBOR (FutureGenDeleg c) | |
| Crypto c => DecCBOR (GenDelegs c) | |
| Crypto c => DecCBOR (ScriptHash c) | |
| Crypto c => DecCBOR (BlocksMade c) | |
| Crypto c => DecCBOR (PolicyID c) | |
| Crypto c => DecCBOR (CompactAddr c) | |
| Crypto c => DecCBOR (MultiAsset c) | |
| Crypto c => DecCBOR (AuxiliaryDataHash c) | |
| (Show a, Ord a, DecCBOR a) => DecCBOR (OSet a) | |
| (EraPParams era, DecCBOR (TxOut era), ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (ConwayTxBodyRaw era) | |
| Crypto c => DecCBOR (Anchor c) | |
| DecCBOR (Attributes ()) | |
| DecCBOR (Attributes AddrAttributes) | |
| (Era era, DecCBOR (PParamsUpdate era)) => DecCBOR (Update era) | |
| Crypto c => DecCBOR (MIRCert c) | |
| EraPParams era => DecCBOR (DRepPulsingState era) | |
| EraPParams era => DecCBOR (PulsingSnapshot era) | |
| Era era => DecCBOR (Datum era) | |
| DecCBOR (UpgradeConwayPParams Identity) | |
| (Era era, Val (Value era)) => DecCBOR (AlonzoTxOut era) | |
| (ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) => DecCBOR (ShelleyTxCert era) | |
| Crypto c => DecCBOR (TxOutSource c) | |
| (Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (BabbageTxBodyRaw era) | |
| Era era => DecCBOR (BinaryData era) | |
| (Era era, DecCBOR (TxCert era)) => DecCBOR (CollectError era) | |
| IsLanguage l => DecCBOR (PlutusDebugLang l) | |
| Crypto c => DecCBOR (CompactValue c) | |
| (Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) => DecCBOR (AlonzoTxBodyRaw era) | |
| AllegraEraTxBody era => DecCBOR (MaryTxBodyRaw era) | |
| (Era era, Typeable (Script era)) => DecCBOR (ShelleyDelegPredFailure era) | |
| (Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) => DecCBOR (ShelleyTxBodyRaw era) | |
| Crypto c => DecCBOR (MIRTarget c) | |
| DecCBOR (ABody ByteSpan) | |
| DecCBOR (APayload ByteSpan) | |
| DecCBOR (ABlockSignature ByteSpan) | |
| DecCBOR (ATxPayload ByteSpan) | |
| DecCBOR (APayload ByteSpan) | |
| Typeable a => DecCBOR (Signature a) | |
| Typeable a => DecCBOR (RedeemSignature a) | |
| DecCBOR a => DecCBOR (MerkleRoot a) | |
| DecCBOR n => DecCBOR (TooLarge n) | |
| (DecCBOR a, EncCBOR a) => DecCBOR (MerkleTree a) | |
| Crypto c => DecCBOR (LastAppliedBlock c) | |
| Crypto crypto => DecCBOR (HeaderRaw crypto) | |
| Crypto c => DecCBOR (RewardAns c) | |
| Crypto c => DecCBOR (CommitteeMemberState c) | |
| Crypto c => DecCBOR (HotCredAuthStatus c) | |
| IsLanguage l => DecCBOR (SLanguage l) | |
| Crypto c => DecCBOR (RewardProvenancePool c) | |
| Crypto c => DecCBOR (FreeVars c) | |
| Crypto c => DecCBOR (Pulser c) | |
| Crypto c => DecCBOR (RewardSnapShot c) | |
| Crypto c => DecCBOR (PoolRewardInfo c) | |
| Crypto c => DecCBOR (LeaderOnlyReward c) | |
| Crypto c => DecCBOR (OBftSlot c) | |
| (DecCBOR a, DecCBOR b) => DecCBOR (Either a b) | |
| (DecCBOR a, DecCBOR b) => DecCBOR (a, b) | |
| Typeable p => DecCBOR (Fixed p) | |
| (Ord k, DecCBOR k, DecCBOR v) => DecCBOR (Map k v) | |
| (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) | |
| (Crypto c, Typeable disc) => DecCBOR (KeyHash disc c) | |
| (Crypto c, Typeable kd) => DecCBOR (VKey kd c) | |
| (Typeable index, Crypto c) => DecCBOR (SafeHash c index) | |
| (Typeable kr, Crypto c) => DecCBOR (Credential kr c) | |
| (DecCBOR k, DecCBOR v) => DecCBOR (ListMap k v) | |
| Era era => DecCBOR (ShelleyPParams Identity era) | |
| Era era => DecCBOR (ShelleyPParams StrictMaybe era) | |
| (Crypto c, Typeable r) => DecCBOR (PrevGovActionId r c) | |
| Era era => DecCBOR (ConwayPParams Identity era) | |
| Era era => DecCBOR (ConwayPParams StrictMaybe era) | |
| (Typeable k, HasOKey k v, DecCBOR v, Eq v) => DecCBOR (OMap k v) | |
| Era era => DecCBOR (BabbagePParams Identity era) | |
| Era era => DecCBOR (BabbagePParams StrictMaybe era) | |
| (DecCBOR a, Bounded (BoundedRatio b a), Bounded a, Integral a, Typeable b, Show a) => DecCBOR (BoundedRatio b a) | |
| Era era => DecCBOR (AlonzoPParams Identity era) | |
| Era era => DecCBOR (AlonzoPParams StrictMaybe era) | |
| (DecCBOR ma, Monoid ma, AllegraEraTxBody era) => DecCBOR (AllegraTxBodyRaw ma era) | |
| (DecCBOR a, DecCBOR b, DecCBOR c) => DecCBOR (a, b, c) | |
| (Typeable s, DecCBOR a) => DecCBOR (Tagged s a) | |
| (Typeable t, DecCBOR a) => DecCBOR (THKD t Identity a) | |
| (Typeable t, DecCBOR a) => DecCBOR (THKD t StrictMaybe a) | |
| (DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d) => DecCBOR (a, b, c, d) | |
| (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 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 Bool | |
| EncCBOR Double | |
| EncCBOR Float | |
| EncCBOR Int | |
| EncCBOR Int8 | |
| EncCBOR Int16 | |
| EncCBOR Int32 | |
| EncCBOR Int64 | |
| EncCBOR Integer | |
| EncCBOR Natural | |
| EncCBOR Word | |
| EncCBOR Word8 | |
| EncCBOR Word16 | |
| EncCBOR Word32 | |
| EncCBOR Word64 | |
| EncCBOR () | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR Void | |
| 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 Term | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR Text | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR ByteString | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR ByteString | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR Encoding | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR Data | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR ShortByteString | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| 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 IPv4 | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR IPv6 | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR SlotNo | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR UTCTime | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR ByteArray | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR ByteArray | |
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 SlicedByteArray | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR SystemStart | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR VerKey | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| 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 ByronHash | |
Defined in Ouroboros.Consensus.Byron.Ledger.Block | |
| EncCBOR Nonce | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR ProtVer | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR TicknState | |
Defined in Cardano.Protocol.TPraos.Rules.Tickn | |
| EncCBOR KESPeriod | |
Defined in Cardano.Protocol.TPraos.OCert | |
| EncCBOR ActiveSlotCoeff | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR Network | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR PositiveUnitInterval | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR Config | |
Defined in Cardano.Chain.Genesis.Config | |
| EncCBOR GenesisNonAvvmBalances | |
Defined in Cardano.Chain.Genesis.NonAvvmBalances | |
| EncCBOR GenesisDelegation | |
Defined in Cardano.Chain.Genesis.Delegation | |
| EncCBOR GenesisKeyHashes | |
Defined in Cardano.Chain.Genesis.KeyHashes | |
| EncCBOR CompactAddress | |
Defined in Cardano.Chain.Common.Compact | |
| EncCBOR RequiresNetworkMagic | |
Defined in Cardano.Crypto.ProtocolMagic | |
| EncCBOR GenesisAvvmBalances | |
Defined in Cardano.Chain.Genesis.AvvmBalances | |
| EncCBOR ProtocolParameters | |
Defined in Cardano.Chain.Update.ProtocolParameters | |
| EncCBOR ProtocolVersion | |
Defined in Cardano.Chain.Update.ProtocolVersion | |
| EncCBOR ProtocolMagicId | |
Defined in Cardano.Crypto.ProtocolMagic | |
| EncCBOR Certificate | |
Defined in Cardano.Chain.Delegation.Certificate | |
| EncCBOR SigningKey | |
Defined in Cardano.Crypto.Signing.SigningKey | |
| EncCBOR SoftwareVersion | |
Defined in Cardano.Chain.Update.SoftwareVersion | |
| EncCBOR GenesisHash | |
Defined in Cardano.Chain.Genesis.Hash | |
| EncCBOR Raw | |
Defined in Cardano.Crypto.Raw | |
| EncCBOR CompactRedeemVerificationKey | |
Defined in Cardano.Crypto.Signing.Redeem.Compact | |
| EncCBOR Lovelace | |
Defined in Cardano.Chain.Common.Lovelace | |
| EncCBOR Error | |
| EncCBOR ChainValidationState | |
Defined in Cardano.Chain.Block.Validation | |
| EncCBOR VerificationKey | |
Defined in Cardano.Crypto.Signing.VerificationKey | |
| EncCBOR KeyHash | |
Defined in Cardano.Chain.Common.KeyHash | |
| EncCBOR CandidateProtocolUpdate | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
| EncCBOR Endorsement | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
| EncCBOR ApplyMempoolPayloadErr | |
Defined in Cardano.Chain.Byron.API.Mempool | |
| EncCBOR Tx | |
Defined in Cardano.Chain.UTxO.Tx | |
| EncCBOR Proposal | |
Defined in Cardano.Chain.Update.Proposal | |
| EncCBOR Vote | |
Defined in Cardano.Chain.Update.Vote | |
| EncCBOR Map | |
Defined in Cardano.Chain.Delegation.Map | |
| EncCBOR ScheduledDelegation | |
| EncCBOR State | |
Defined in Cardano.Chain.Update.Validation.Interface | |
| EncCBOR UTxO | |
Defined in Cardano.Chain.UTxO.UTxO | |
| EncCBOR ToSign | |
Defined in Cardano.Chain.Block.Header | |
| EncCBOR OrdExUnits | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| EncCBOR ExUnits | |
Defined in Cardano.Ledger.Plutus.ExUnits | |
| EncCBOR StakePoolRelay | |
Defined in Cardano.Ledger.PoolParams | |
| EncCBOR Coin | |
Defined in Cardano.Ledger.Coin | |
| EncCBOR UnitInterval | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR RewardParams | |
Defined in Cardano.Ledger.Shelley.API.Wallet | |
| EncCBOR RewardInfoPool | |
Defined in Cardano.Ledger.Shelley.API.Wallet | |
| EncCBOR MemberStatus | |
| EncCBOR NominalDiffTimeMicro | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| EncCBOR Language | |
Defined in Cardano.Ledger.Plutus.Language | |
| EncCBOR Likelihood | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
| EncCBOR Ptr | |
Defined in Cardano.Ledger.Credential | |
| EncCBOR AccountState | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| EncCBOR Vote | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| EncCBOR CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.Core | |
| EncCBOR NonNegativeInterval | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR CoinPerByte | |
Defined in Cardano.Ledger.Babbage.Core | |
| EncCBOR CostModels | |
Defined in Cardano.Ledger.Plutus.CostModels | |
| EncCBOR Prices | |
Defined in Cardano.Ledger.Plutus.ExUnits | |
| EncCBOR PoolVotingThresholds | |
Defined in Cardano.Ledger.Conway.Core | |
| EncCBOR DRepVotingThresholds | |
Defined in Cardano.Ledger.Conway.Core | |
| EncCBOR AssetName | |
Defined in Cardano.Ledger.Mary.Value | |
| EncCBOR IsValid | |
Defined in Cardano.Ledger.Alonzo.Tx | |
| EncCBOR BinaryPlutus | |
Defined in Cardano.Ledger.Plutus.Language | |
| EncCBOR ValidityInterval | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| EncCBOR Address | |
Defined in Cardano.Chain.Common.Address | |
| EncCBOR Address' | |
Defined in Cardano.Chain.Common.Address | |
| EncCBOR AddrType | |
Defined in Cardano.Chain.Common.AddrSpendingData | |
| EncCBOR GovActionIx | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| EncCBOR AlonzoGenesis | |
Defined in Cardano.Ledger.Alonzo.Genesis | |
| EncCBOR Tag | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
| EncCBOR RdmrPtr | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| EncCBOR FailureDescription | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| EncCBOR TagMismatchDescription | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| EncCBOR PlutusDebug | |
Defined in Cardano.Ledger.Plutus.Evaluate | |
| EncCBOR PlutusData | |
Defined in Cardano.Ledger.Plutus.Evaluate | |
| EncCBOR Metadatum | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
| EncCBOR TxIx | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR RDPair | |
Defined in Cardano.Ledger.UMap | |
| EncCBOR MIRPot | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| EncCBOR LogWeight | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
| EncCBOR DeltaCoin | |
Defined in Cardano.Ledger.Coin | |
| EncCBOR VotingPeriod | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| EncCBOR Url | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR PoolMetadata | |
Defined in Cardano.Ledger.PoolParams | |
| EncCBOR SizeOfPoolOwners | |
Defined in Cardano.Ledger.PoolParams | |
| EncCBOR SizeOfPoolRelays | |
Defined in Cardano.Ledger.PoolParams | |
| EncCBOR ChainDifficulty | |
Defined in Cardano.Chain.Common.ChainDifficulty | |
| EncCBOR Proof | |
Defined in Cardano.Chain.Block.Proof | |
| EncCBOR SscPayload | |
Defined in Cardano.Chain.Ssc | |
| EncCBOR ProposalBody | |
Defined in Cardano.Chain.Update.Proposal | |
| EncCBOR TxInWitness | |
Defined in Cardano.Chain.UTxO.TxWitness | |
| EncCBOR Body | |
Defined in Cardano.Chain.Block.Body | |
| EncCBOR BlockSignature | |
Defined in Cardano.Chain.Block.Header | |
| EncCBOR RedeemVerificationKey | |
| EncCBOR RedeemSigningKey | |
Defined in Cardano.Crypto.Signing.Redeem.SigningKey | |
| EncCBOR TxPayload | |
Defined in Cardano.Chain.UTxO.TxPayload | |
| EncCBOR Payload | |
Defined in Cardano.Chain.Delegation.Payload | |
| EncCBOR Payload | |
Defined in Cardano.Chain.Update.Payload | |
| EncCBOR TxAux | |
Defined in Cardano.Chain.UTxO.TxAux | |
| EncCBOR SscProof | |
Defined in Cardano.Chain.Ssc | |
| EncCBOR TxProof | |
Defined in Cardano.Chain.UTxO.TxProof | |
| EncCBOR SoftwareVersionError | |
Defined in Cardano.Chain.Update.SoftwareVersion | |
| EncCBOR ApplicationNameError | |
Defined in Cardano.Chain.Update.ApplicationName | |
| EncCBOR ApplicationName | |
Defined in Cardano.Chain.Update.ApplicationName | |
| EncCBOR CompactTxIn | |
Defined in Cardano.Chain.UTxO.Compact | |
| EncCBOR CompactTxOut | |
Defined in Cardano.Chain.UTxO.Compact | |
| EncCBOR State | |
| EncCBOR BlockCount | |
Defined in Cardano.Chain.Common.BlockCount | |
| EncCBOR UTxOConfiguration | |
Defined in Cardano.Chain.UTxO.UTxOConfiguration | |
| EncCBOR ApplicationVersion | |
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.Interface | |
| EncCBOR UTxOError | |
Defined in Cardano.Chain.UTxO.UTxO | |
| EncCBOR TxIn | |
Defined in Cardano.Chain.UTxO.Tx | |
| EncCBOR TxOut | |
Defined in Cardano.Chain.UTxO.Tx | |
| EncCBOR LovelaceError | |
Defined in Cardano.Chain.Common.Lovelace | |
| EncCBOR CompactTxId | |
Defined in Cardano.Chain.UTxO.Compact | |
| EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Registration | |
| EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Voting | |
| EncCBOR Error | |
Defined in Cardano.Chain.Update.Validation.Endorsement | |
| EncCBOR State | |
| EncCBOR State | |
| EncCBOR HDAddressPayload | |
Defined in Cardano.Chain.Common.AddrAttributes | |
| EncCBOR NetworkMagic | |
Defined in Cardano.Chain.Common.NetworkMagic | |
| EncCBOR AddrSpendingData | |
Defined in Cardano.Chain.Common.AddrSpendingData | |
| EncCBOR LovelacePortion | |
Defined in Cardano.Chain.Common.LovelacePortion | |
| EncCBOR TxFeePolicy | |
Defined in Cardano.Chain.Common.TxFeePolicy | |
| EncCBOR TxSizeLinear | |
Defined in Cardano.Chain.Common.TxSizeLinear | |
| EncCBOR GenesisData | |
Defined in Cardano.Chain.Genesis.Data | |
| EncCBOR SoftforkRule | |
Defined in Cardano.Chain.Update.SoftforkRule | |
| EncCBOR TxSigData | |
Defined in Cardano.Chain.UTxO.TxWitness | |
| EncCBOR InstallerHash | |
Defined in Cardano.Chain.Update.InstallerHash | |
| EncCBOR SystemTag | |
Defined in Cardano.Chain.Update.SystemTag | |
| EncCBOR ProtocolParametersUpdate | |
| EncCBOR SystemTagError | |
Defined in Cardano.Chain.Update.SystemTag | |
| EncCBOR Adopted | |
Defined in Cardano.Chain.Update.Validation.Registration | |
| EncCBOR Seed | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR CertIx | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR DnsName | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR Port | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR PositiveInterval | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR RewardType | |
Defined in Cardano.Ledger.Rewards | |
| EncCBOR NextEpochChange | |
| EncCBOR ChainCode | |
Defined in Cardano.Ledger.Keys.Bootstrap | |
| EncCBOR PerformanceEstimate | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
| EncCBOR Desirability | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
| EncCBOR MempoolPayload | |
Defined in Cardano.Chain.MempoolPayload | |
| EncCBOR a => EncCBOR [a] | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR a => EncCBOR (Maybe a) | |
| EncCBOR a => EncCBOR (Ratio a) | |
| EncCBOR a => EncCBOR (NonEmpty a) | |
| 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 | |
| (Ord a, EncCBOR a) => EncCBOR (Set a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR a => EncCBOR (Seq a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR 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, Storable 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 => EncCBOR (StrictMaybe a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| EncCBOR a => EncCBOR (StrictSeq a) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (Serialise t, Typeable t) => EncCBOR (WithOrigin t) | |
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 | |
| DSIGNAlgorithm v => EncCBOR (SigDSIGN v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| KnownNat t => EncCBOR (SigKES (MockKES t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm d => EncCBOR (SigKES (SingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (OptimizedKESAlgorithm d, HashAlgorithm h) => EncCBOR (SigKES (CompactSumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm d => EncCBOR (SigKES (CompactSingleKES 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, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => EncCBOR (SigKES (SimpleKES d t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm v => EncCBOR (SignKeyDSIGN v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| KnownNat t => EncCBOR (SignKeyKES (MockKES t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm d => EncCBOR (SignKeyKES (SingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (OptimizedKESAlgorithm d, HashAlgorithm h) => EncCBOR (SignKeyKES (CompactSumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm d => EncCBOR (SignKeyKES (CompactSingleKES 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, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) => EncCBOR (SignKeyKES (SimpleKES d t)) | |
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 | |
| DSIGNAlgorithm v => EncCBOR (VerKeyDSIGN v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| KnownNat t => EncCBOR (VerKeyKES (MockKES t)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm d => EncCBOR (VerKeyKES (SingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (OptimizedKESAlgorithm d, HashAlgorithm h) => EncCBOR (VerKeyKES (CompactSumKES h d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| DSIGNAlgorithm d => EncCBOR (VerKeyKES (CompactSingleKES d)) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (KESAlgorithm d, HashAlgorithm h) => EncCBOR (VerKeyKES (SumKES h d)) | |
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 | |
| 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 | |
| ShelleyCompatible proto era => EncCBOR (Header (ShelleyBlock proto era)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |
| Crypto c => EncCBOR (ShelleyGenesis c) | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| Crypto c => EncCBOR (ShelleyGenesisStaking c) | |
Defined in Cardano.Ledger.Shelley.Genesis | |
| Crypto c => EncCBOR (PoolDistr c) | |
Defined in Cardano.Ledger.PoolDistr | |
| Crypto c => EncCBOR (IndividualPoolStake c) | |
Defined in Cardano.Ledger.PoolDistr | |
| Crypto c => EncCBOR (ChainDepState c) | |
Defined in Cardano.Protocol.TPraos.API | |
| Crypto c => EncCBOR (OCert c) | |
Defined in Cardano.Protocol.TPraos.OCert | |
| Crypto c => EncCBOR (PrtclState c) | |
Defined in Cardano.Protocol.TPraos.Rules.Prtcl | |
| Crypto c => EncCBOR (BHeader c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
| (Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) => EncCBOR (PParamsUpdate era) | |
Defined in Cardano.Ledger.Core.PParams | |
| (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 | |
| (Typeable era, Crypto (EraCrypto era), EncCBOR (Value era), EncCBOR (TxOut era), EncCBOR (PPUPPredFailure era)) => EncCBOR (AllegraUtxoPredFailure era) | |
Defined in Cardano.Ledger.Allegra.Rules.Utxo | |
| (EraTxOut era, EncCBOR (GovState era)) => EncCBOR (LedgerState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| (Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) => EncCBOR (ApplyTxError era) | |
Defined in Cardano.Ledger.Shelley.API.Mempool | |
| (Era era, EncCBOR (TxBody era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) => EncCBOR (AlonzoTx era) | |
Defined in Cardano.Ledger.Alonzo.Tx | |
| (EraTxOut era, EncCBOR (GovState era)) => EncCBOR (UTxOState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| (Era era, EncCBOR (PParamsUpdate era), EncCBOR (PParams era)) => EncCBOR (ShelleyGovState era) | |
Defined in Cardano.Ledger.Shelley.Governance | |
| (Typeable era, EncCBOR (PParamsHKD Identity era)) => EncCBOR (PParams era) | |
Defined in Cardano.Ledger.Core.PParams | |
| (Typeable era, EncCBOR (ShelleyBbodyPredFailure era)) => EncCBOR (AlonzoBbodyPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Bbody | |
| (Era era, EncCBOR (TxOut era)) => EncCBOR (UTxO era) | |
Defined in Cardano.Ledger.UTxO | |
| Era era => EncCBOR (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| Era era => EncCBOR (AlonzoScript era) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
| (Era era, EncCBOR (PredicateFailure (EraRule "LEDGER" era))) => EncCBOR (ShelleyLedgersPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledgers | |
| (EncCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), Era era) => EncCBOR (ShelleyLedgerPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ledger | |
| Crypto c => EncCBOR (ConwayGenesis c) | |
Defined in Cardano.Ledger.Conway.Genesis | |
| (Era era, EncCBOR (PredicateFailure (EraRule "CERT" era))) => EncCBOR (ConwayCertsPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Certs | |
| (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 (Value era), EncCBOR (TxOut era), EncCBOR (PPUPPredFailure era)) => EncCBOR (ShelleyUtxoPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Utxo | |
| (Era era, EncCBOR (CompactForm (Value era))) => EncCBOR (ShelleyTxOut era) | |
Defined in Cardano.Ledger.Shelley.TxOut | |
| Crypto c => EncCBOR (CompactForm (MaryValue c)) | |
Defined in Cardano.Ledger.Mary.Value | |
| EncCBOR (CompactForm Coin) | |
Defined in Cardano.Ledger.Coin | |
| EncCBOR (CompactForm DeltaCoin) | |
Defined in Cardano.Ledger.Coin | |
| Era era => EncCBOR (ShelleyTx era) | |
Defined in Cardano.Ledger.Shelley.Tx | |
| Crypto c => EncCBOR (TxIn c) | |
Defined in Cardano.Ledger.TxIn | |
| (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 (ShelleyPpupPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Ppup | |
| (EraTxCert era, EncCBOR (PPUPPredFailure era)) => EncCBOR (AlonzoUtxosPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxos | |
| Crypto c => EncCBOR (MaryValue c) | |
Defined in Cardano.Ledger.Mary.Value | |
| (EraScript era, Val (Value era)) => EncCBOR (BabbageTxOut era) | |
Defined in Cardano.Ledger.Babbage.TxOut | |
| (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 (TxOut era), EncCBOR (Value era), EncCBOR (PredicateFailure (EraRule "UTXOS" era))) => EncCBOR (AlonzoUtxoPredFailure era) | |
Defined in Cardano.Ledger.Alonzo.Rules.Utxo | |
| (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 | |
| EraPParams era => EncCBOR (ConwayGovPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Gov | |
| (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 | |
| Crypto c => EncCBOR (PrevHash c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
| Era era => EncCBOR (PState era) | |
Defined in Cardano.Ledger.CertState | |
| (EraTxOut era, EncCBOR (StashedAVVMAddresses era), EncCBOR (GovState era)) => EncCBOR (NewEpochState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| EncCBOR (AMempoolPayload ByteString) | |
Defined in Cardano.Chain.MempoolPayload | |
| 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 c => EncCBOR (TxId c) | |
Defined in Cardano.Ledger.TxIn | |
| (EraTxOut era, EncCBOR (GovState era)) => EncCBOR (EpochState era) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| Era era => EncCBOR (Redeemers era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Era era => EncCBOR (AlonzoTxWits era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Crypto c => EncCBOR (PoolParams c) | |
Defined in Cardano.Ledger.PoolParams | |
| Crypto c => EncCBOR (DRep c) | |
Defined in Cardano.Ledger.DRep | |
| Crypto c => EncCBOR (CommitteeMembersState c) | |
| Crypto c => EncCBOR (DRepState c) | |
Defined in Cardano.Ledger.DRep | |
| Era era => EncCBOR (Constitution era) | |
Defined in Cardano.Ledger.Shelley.Governance | |
| (Era era, EncCBOR (PParamsUpdate era)) => EncCBOR (ProposedPPUpdates era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
| Crypto c => EncCBOR (RewardProvenance c) | |
Defined in Cardano.Ledger.Shelley.RewardProvenance | |
| Crypto c => EncCBOR (Addr c) | |
Defined in Cardano.Ledger.Address | |
| Crypto c => EncCBOR (GenDelegPair c) | |
Defined in Cardano.Ledger.Keys | |
| Crypto c => EncCBOR (HashHeader c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
| Crypto c => EncCBOR (BHBody c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
| (Era era, EncCBOR (TxCert era)) => EncCBOR (ScriptPurpose era) | |
Defined in Cardano.Ledger.Alonzo.Tx | |
| Typeable era => EncCBOR (Data era) | |
Defined in Cardano.Ledger.Plutus.Data | |
| Crypto c => EncCBOR (TranslationError c) | |
Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo | |
| EraPParams era => EncCBOR (RatifyState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
| Era era => EncCBOR (CertState era) | |
Defined in Cardano.Ledger.CertState | |
| EraPParams era => EncCBOR (ConwayGovState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
| EraPParams era => EncCBOR (Proposals era) | |
Defined in Cardano.Ledger.Conway.Governance.Proposals | |
| Crypto c => EncCBOR (RewardAcnt c) | |
Defined in Cardano.Ledger.Address | |
| Era era => EncCBOR (ConwayDelegPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.Deleg | |
| (Typeable era, Crypto (EraCrypto era)) => EncCBOR (ConwayGovCertPredFailure era) | |
Defined in Cardano.Ledger.Conway.Rules.GovCert | |
| Era era => EncCBOR (ShelleyPoolPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Pool | |
| (Era era, EncCBOR (InstantaneousRewards (EraCrypto era))) => EncCBOR (DState era) | |
Defined in Cardano.Ledger.CertState | |
| Era era => EncCBOR (VState era) | |
Defined in Cardano.Ledger.CertState | |
| (Era era, Val (Value era)) => EncCBOR (ConwayTxCert era) | |
Defined in Cardano.Ledger.Conway.TxCert | |
| Crypto c => EncCBOR (GovActionId c) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| EraPParams era => EncCBOR (GovAction era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| Crypto c => EncCBOR (Voter c) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| EraPParams era => EncCBOR (ProposalProcedure era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| Era era => EncCBOR (PrevGovActionIds era) | |
Defined in Cardano.Ledger.Conway.Governance | |
| Crypto c => EncCBOR (RewardUpdate c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| Crypto c => EncCBOR (PulsingRewUpdate c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| Crypto c => EncCBOR (Reward c) | |
Defined in Cardano.Ledger.Rewards | |
| Crypto c => EncCBOR (SnapShots c) | |
Defined in Cardano.Ledger.EpochBoundary | |
| Crypto c => EncCBOR (NonMyopic c) | |
Defined in Cardano.Ledger.Shelley.PoolRank | |
| Crypto c => EncCBOR (IncrementalStake c) | |
Defined in Cardano.Ledger.Shelley.LedgerState.Types | |
| EraPParams era => EncCBOR (EnactState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
| Era era => EncCBOR (CommitteeState era) | |
Defined in Cardano.Ledger.CertState | |
| EraPParams era => EncCBOR (GovActionState era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| Era era => EncCBOR (Committee era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| Crypto c => EncCBOR (Withdrawals c) | |
Defined in Cardano.Ledger.Address | |
| Era era => EncCBOR (VotingProcedures era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| Era era => EncCBOR (VotingProcedure era) | |
Defined in Cardano.Ledger.Conway.Governance.Procedures | |
| Crypto c => EncCBOR (UMap c) | |
Defined in Cardano.Ledger.UMap | |
| Crypto c => EncCBOR (FutureGenDeleg c) | |
Defined in Cardano.Ledger.CertState | |
| Crypto c => EncCBOR (GenDelegs c) | |
Defined in Cardano.Ledger.Keys | |
| Crypto c => EncCBOR (InstantaneousRewards c) | |
Defined in Cardano.Ledger.CertState | |
| Crypto c => EncCBOR (ScriptHash c) | |
Defined in Cardano.Ledger.Hashes | |
| Crypto c => EncCBOR (BlocksMade c) | |
Defined in Cardano.Ledger.BaseTypes | |
| Era era => EncCBOR (ConwayTxBody era) | |
Defined in Cardano.Ledger.Conway.TxBody | |
| Crypto c => EncCBOR (PolicyID c) | |
Defined in Cardano.Ledger.Mary.Value | |
| (Era era, Script era ~ AlonzoScript era) => EncCBOR (AlonzoTxWitsRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Typeable era => EncCBOR (RedeemersRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| (Typeable era, EncCBOR (Data era)) => EncCBOR (TxDatsRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Era era => EncCBOR (Timelock era) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| Era era => EncCBOR (AlonzoTxAuxDataRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| Crypto c => EncCBOR (CompactAddr c) | |
Defined in Cardano.Ledger.Address | |
| Era era => EncCBOR (TxDats era) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| Crypto c => EncCBOR (BootstrapWitness c) | |
Defined in Cardano.Ledger.Keys.Bootstrap | |
| Era era => EncCBOR (TimelockRaw era) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| Crypto c => EncCBOR (MultiAsset c) | |
Defined in Cardano.Ledger.Mary.Value | |
| Crypto c => EncCBOR (AuxiliaryDataHash c) | |
Defined in Cardano.Ledger.AuxiliaryData | |
| EncCBOR a => EncCBOR (OSet a) | |
Defined in Data.OSet.Strict | |
| ConwayEraTxBody era => EncCBOR (ConwayTxBodyRaw era) | |
Defined in Cardano.Ledger.Conway.TxBody | |
| Crypto c => EncCBOR (Anchor c) | |
Defined in Cardano.Ledger.BaseTypes | |
| EncCBOR (Attributes ()) | |
Defined in Cardano.Chain.Common.Attributes | |
| EncCBOR (Attributes AddrAttributes) | |
Defined in Cardano.Chain.Common.AddrAttributes | |
| (Era era, EncCBOR (PParamsUpdate era)) => EncCBOR (Update era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
| Crypto c => EncCBOR (MIRCert c) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| EraPParams era => EncCBOR (DRepPulsingState era) | |
Defined in Cardano.Ledger.Conway.Governance | |
| EraPParams era => EncCBOR (PulsingSnapshot era) | |
Defined in Cardano.Ledger.Conway.Governance | |
| Crypto c => EncCBOR (UMElem c) | |
Defined in Cardano.Ledger.UMap | |
| Era era => EncCBOR (Datum era) | |
Defined in Cardano.Ledger.Plutus.Data | |
| EncCBOR (UpgradeConwayPParams Identity) | |
Defined in Cardano.Ledger.Conway.PParams | |
| Era era => EncCBOR (BabbageTxBody era) | |
Defined in Cardano.Ledger.Babbage.TxBody | |
| (Era era, Val (Value era)) => EncCBOR (AlonzoTxOut era) | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
| Era era => EncCBOR (ShelleyTxCert era) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| Crypto c => EncCBOR (TxOutSource c) | |
Defined in Cardano.Ledger.Plutus.TxInfo | |
| Era era => EncCBOR (AlonzoTxBody era) | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
| (Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) => EncCBOR (BabbageTxBodyRaw era) | |
Defined in Cardano.Ledger.Babbage.TxBody | |
| Typeable era => EncCBOR (BinaryData era) | |
Defined in Cardano.Ledger.Plutus.Data | |
| EraTxCert era => EncCBOR (CollectError era) | |
Defined in Cardano.Ledger.Alonzo.PlutusScriptApi | |
| (IsLanguage l, EncCBOR (SLanguage l)) => EncCBOR (PlutusDebugLang l) | |
Defined in Cardano.Ledger.Plutus.Evaluate | |
| Typeable era => EncCBOR (PlutusData era) | |
Defined in Cardano.Ledger.Plutus.Data | |
| Crypto c => EncCBOR (CompactValue c) | |
Defined in Cardano.Ledger.Mary.Value | |
| (Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) => EncCBOR (AlonzoTxBodyRaw era) | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
| Era era => EncCBOR (MaryTxBody era) | |
Defined in Cardano.Ledger.Mary.TxBody | |
| 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 (ShelleyTxWits era) | |
Defined in Cardano.Ledger.Shelley.TxWits | |
| (Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) => EncCBOR (ShelleyTxRaw era) | |
Defined in Cardano.Ledger.Shelley.Tx | |
| (EraTxOut era, EraTxCert era) => EncCBOR (MaryTxBodyRaw era) | |
Defined in Cardano.Ledger.Mary.TxBody | |
| Era era => EncCBOR (AllegraTxBody era) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
| Era era => EncCBOR (MultiSig era) | |
Defined in Cardano.Ledger.Shelley.Scripts | |
| Era era => EncCBOR (ShelleyTxBody era) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
| (Era era, Typeable (Script era)) => EncCBOR (ShelleyDelegPredFailure era) | |
Defined in Cardano.Ledger.Shelley.Rules.Deleg | |
| (Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) => EncCBOR (ShelleyTxBodyRaw era) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
| Era era => EncCBOR (ShelleyTxAuxData era) | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
| Crypto c => EncCBOR (MIRTarget c) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| Typeable a => EncCBOR (Signature a) | |
Defined in Cardano.Crypto.Signing.Signature | |
| Typeable a => EncCBOR (RedeemSignature a) | |
Defined in Cardano.Crypto.Signing.Redeem.Signature | |
| EncCBOR a => EncCBOR (MerkleRoot a) | |
Defined in Cardano.Chain.Common.Merkle | |
| EncCBOR n => EncCBOR (TooLarge n) | |
Defined in Cardano.Chain.Update.Validation.Registration | |
| EncCBOR a => EncCBOR (MerkleTree a) | |
Defined in Cardano.Chain.Common.Merkle | |
| Crypto c => EncCBOR (LastAppliedBlock c) | |
Defined in Cardano.Protocol.TPraos.BHeader | |
| Crypto crypto => EncCBOR (HeaderRaw crypto) | |
Defined in Ouroboros.Consensus.Protocol.Praos.Header | |
| Crypto c => EncCBOR (GenesisCredential c) | |
Defined in Cardano.Ledger.Credential | |
| Crypto c => EncCBOR (RewardAns c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| Crypto c => EncCBOR (SnapShot c) | |
Defined in Cardano.Ledger.EpochBoundary | |
| Crypto c => EncCBOR (CommitteeMemberState c) | |
| Crypto c => EncCBOR (HotCredAuthStatus c) | |
| Crypto c => EncCBOR (Stake c) | |
Defined in Cardano.Ledger.EpochBoundary | |
| IsLanguage l => EncCBOR (SLanguage l) | |
Defined in Cardano.Ledger.Plutus.Language | |
| 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 (RewardSnapShot c) | |
Defined in Cardano.Ledger.Shelley.RewardUpdate | |
| Crypto c => EncCBOR (PoolRewardInfo c) | |
Defined in Cardano.Ledger.Shelley.Rewards | |
| Crypto c => EncCBOR (LeaderOnlyReward c) | |
Defined in Cardano.Ledger.Shelley.Rewards | |
| Crypto c => EncCBOR (OBftSlot c) | |
Defined in Cardano.Protocol.TPraos.Rules.Overlay | |
| EncCBOR (Tokens -> Tokens) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (EncCBOR a, EncCBOR b) => EncCBOR (Either a b) | |
| (EncCBOR a, EncCBOR b) => EncCBOR (a, b) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| Typeable p => EncCBOR (Fixed p) | |
| (Ord k, EncCBOR k, EncCBOR v) => EncCBOR (Map k v) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (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 | |
| ShelleyCompatible proto era => EncCBOR (ShelleyBlock proto era) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Block | |
| (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 | |
| (EraTx era, Typeable h) => EncCBOR (Block h era) | |
Defined in Cardano.Ledger.Block | |
| (Typeable index, Crypto c) => EncCBOR (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash | |
| (Typeable kr, Crypto c) => EncCBOR (Credential kr c) | |
Defined in Cardano.Ledger.Credential | |
| (EncCBOR k, EncCBOR v) => EncCBOR (ListMap k v) | |
Defined in Data.ListMap | |
| Era era => EncCBOR (ShelleyPParams Identity era) | |
Defined in Cardano.Ledger.Shelley.PParams | |
| Era era => EncCBOR (ShelleyPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Shelley.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 | |
| (Typeable kr, Crypto c) => EncCBOR (WitVKey kr c) | |
Defined in Cardano.Ledger.Keys.WitVKey | |
| (Typeable k, EncCBOR v, Ord k) => EncCBOR (OMap k v) | |
Defined in Data.OMap.Strict | |
| Era era => EncCBOR (BabbagePParams Identity era) | |
Defined in Cardano.Ledger.Babbage.PParams | |
| Era era => EncCBOR (BabbagePParams StrictMaybe era) | |
Defined in Cardano.Ledger.Babbage.PParams | |
| (EncCBOR a, Integral a, Bounded a, Typeable b) => EncCBOR (BoundedRatio b a) | |
Defined in Cardano.Ledger.BaseTypes | |
| Era era => EncCBOR (AlonzoPParams Identity era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| Era era => EncCBOR (AlonzoPParams StrictMaybe era) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| (EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) => EncCBOR (AllegraTxBodyRaw ma era) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
| (EncCBOR a, EncCBOR b, EncCBOR c) => EncCBOR (a, b, c) | |
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR | |
| (Typeable s, EncCBOR a) => EncCBOR (Tagged s a) | |
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 | |
| (EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d) => EncCBOR (a, b, c, d) | |
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 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 | |
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, Proxy :: Proxy aundefined :: a
>>>Proxy :: Proxy (Void, Int -> Int)Proxy
Proxy can even hold types of higher kinds,
>>>Proxy :: Proxy EitherProxy
>>>Proxy :: Proxy FunctorProxy
>>>Proxy :: Proxy complicatedStructureProxy
Constructors
| Proxy |
Instances
| Generic1 (Proxy :: k -> Type) | Since: base-4.6.0.0 |
| ConstraintsB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.ConstraintsB Associated Types type AllB c Proxy | |
| FunctorB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.FunctorB | |
| ApplicativeB (Proxy :: (k -> Type) -> Type) | |
| 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) | |
| DistributiveB (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.DistributiveB | |
| Monad (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
| Functor (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
| Applicative (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
| 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 # | |
| Traversable (Proxy :: Type -> Type) | Since: base-4.7.0.0 |
| Contravariant (Proxy :: Type -> Type) | |
| Eq1 (Proxy :: Type -> Type) | Since: base-4.9.0.0 |
| Ord1 (Proxy :: Type -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
| Read1 (Proxy :: Type -> Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Proxy a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Proxy a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Proxy a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Proxy a] Source # | |
| Show1 (Proxy :: Type -> Type) | Since: base-4.9.0.0 |
| Alternative (Proxy :: Type -> Type) | Since: base-4.9.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 | |
| 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 | |
| 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 # | |
| Eq (Proxy s) | Since: base-4.7.0.0 |
| Ord (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 |
| Ix (Proxy s) | Since: base-4.7.0.0 |
| Generic (Proxy t) | Since: base-4.6.0.0 |
| Semigroup (Proxy s) | Since: base-4.9.0.0 |
| Monoid (Proxy s) | Since: base-4.7.0.0 |
| NFData (Proxy a) | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| Serialise (Proxy a) | |
Defined in Codec.Serialise.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 | |
| Hashable (Proxy a) | |
Defined in Data.Hashable.Class | |
| ToExpr (Proxy a) | |
Defined in Data.TreeDiff.Class | |
| Abelian (Proxy x) | |
Defined in Data.Group | |
| 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) | |
| MonoTraversable (Proxy a) | |
Defined in Data.MonoTraversable | |
| MonoFunctor (Proxy a) | |
| MonoPointed (Proxy a) | |
Defined in Data.MonoTraversable | |
| Cyclic (Proxy x) | |
Defined in Data.Group | |
| Group (Proxy x) | |
| type AllB (c :: k -> Constraint) (Proxy :: (k -> Type) -> Type) | |
Defined in Barbies.Internal.ConstraintsB | |
| type Rep1 (Proxy :: k -> Type) | |
| type Rep (Proxy :: Type -> Type) | |
Defined in Data.Functor.Rep | |
| type Rep (Proxy t) | |
| type Element (Proxy a) | |
Defined in Data.MonoTraversable type Element (Proxy a) = a | |