Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Binary

Synopsis

module Cardano.Ledger.Binary.Decoding
module Cardano.Ledger.Binary.Encoding
module Cardano.Ledger.Binary.Group
module Cardano.Ledger.Binary.Version
class Typeable a ⇒ ToCBOR a where
- toCBOR ∷ a → Encoding
class Typeable a ⇒ FromCBOR a where
- fromCBOR ∷ Decoder s a
data Term
- = TInt !Int
- | TInteger !Integer
- | TBytes !ByteString
- | TBytesI !ByteString
- | TString !Text
- | TStringI !Text
- | TList ![Term]
- | TListI ![Term]
- | TMap ![(Term, Term)]
- | TMapI ![(Term, Term)]
- | TTagged !Word64 !Term
- | TBool !Bool
- | TNull
- | TSimple !Word8
- | THalf !Float
- | TFloat !Float
- | TDouble !Double
data DeserialiseFailure = DeserialiseFailure ByteOffset String
translateViaCBORAnnotator ∷ (ToCBOR a, DecCBOR (Annotator b)) ⇒ Version → Text → a → Except DecoderError b

Documentation

module Cardano.Ledger.Binary.Decoding

module Cardano.Ledger.Binary.Encoding

module Cardano.Ledger.Binary.Group

module Cardano.Ledger.Binary.Version

class Typeable a ⇒ ToCBOR a where Source #

Methods

toCBOR ∷ a → Encoding Source #

Instances

Instances details

ToCBOR Void
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Void → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Void → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Void] → Size Source #
ToCBOR Int32
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Int32 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Int32 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Int32] → Size Source #
ToCBOR Int64
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Int64 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Int64 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Int64] → Size Source #
ToCBOR Word16
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word16 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word16 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word16] → Size Source #
ToCBOR Word32
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word32 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word32 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word32] → Size Source #
ToCBOR Word64
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word64 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word64 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word64] → Size Source #
ToCBOR Word8
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word8 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word8 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word8] → Size Source #
ToCBOR ByteString
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ByteString → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ByteString → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ByteString] → Size Source #
ToCBOR ByteString
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ByteString → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ByteString → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ByteString] → Size Source #
ToCBOR ShortByteString
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ShortByteString → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ShortByteString → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShortByteString] → Size Source #
ToCBOR Point
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ Point → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Point → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Point] → Size Source #
ToCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ Proof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Proof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Proof] → Size Source #
ToCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ SignKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SignKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKey] → Size Source #
ToCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ VerKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VerKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKey] → Size Source #
ToCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ Proof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Proof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Proof] → Size Source #
ToCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ SignKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SignKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKey] → Size Source #
ToCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ VerKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VerKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKey] → Size Source #
ToCBOR Version Source #
Instance details Defined in Cardano.Ledger.Binary.Version Methods toCBOR ∷ Version → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Version → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Version] → Size Source #
ToCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toCBOR ∷ BlockNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BlockNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BlockNo] → Size Source #
ToCBOR EpochInterval
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochInterval → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochInterval → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochInterval] → Size Source #
ToCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochNo] → Size Source #
ToCBOR EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochSize → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochSize → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochSize] → Size Source #
ToCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ SlotNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotNo] → Size Source #
ToCBOR RelativeTime
Instance details Defined in Cardano.Slotting.Time Methods toCBOR ∷ RelativeTime → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy RelativeTime → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RelativeTime] → Size Source #
ToCBOR SlotLength
Instance details Defined in Cardano.Slotting.Time Methods toCBOR ∷ SlotLength → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotLength → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotLength] → Size Source #
ToCBOR SystemStart
Instance details Defined in Cardano.Slotting.Time Methods toCBOR ∷ SystemStart → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SystemStart → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SystemStart] → Size Source #
ToCBOR Encoding
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Encoding → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Encoding → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Encoding] → Size Source #
ToCBOR Term
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Term → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Term → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Term] → Size Source #
ToCBOR Text
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Text → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Text → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Text] → Size Source #
ToCBOR UTCTime
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ UTCTime → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UTCTime → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTCTime] → Size Source #
ToCBOR Integer
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Integer → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Integer → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Integer] → Size Source #
ToCBOR Natural
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Natural → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size Source #
ToCBOR ()
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ () → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy () → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [()] → Size Source #
ToCBOR Bool
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Bool → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Bool → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Bool] → Size Source #
ToCBOR Double
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Double → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Double → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Double] → Size Source #
ToCBOR Float
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Float → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Float → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Float] → Size Source #
ToCBOR Int
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Int → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Int → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Int] → Size Source #
ToCBOR Word
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word] → Size Source #
ToCBOR a ⇒ ToCBOR (Ratio a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Ratio a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Ratio a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Ratio a] → Size Source #
Typeable xs ⇒ ToCBOR (LengthOf xs)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ LengthOf xs → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LengthOf xs) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LengthOf xs] → Size Source #
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SigDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SigDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SigDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN SchnorrSecp256k1DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SignKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
(TypeError ('Text "CBOR encoding would violate mlocking guarantees") ∷ Constraint) ⇒ ToCBOR (SignKeyDSIGNM Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SignKeyDSIGNM Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGNM Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGNM Ed25519DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ VerKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
ToCBOR (CertVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ CertVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF MockVRF] → Size Source #
ToCBOR (CertVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ CertVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF SimpleVRF] → Size Source #
ToCBOR (CertVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ CertVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF PraosVRF] → Size Source #
ToCBOR (CertVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ CertVRF PraosBatchCompatVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF PraosBatchCompatVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF PraosBatchCompatVRF] → Size Source #
Typeable v ⇒ ToCBOR (OutputVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods toCBOR ∷ OutputVRF v → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OutputVRF v) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OutputVRF v] → Size Source #
ToCBOR (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ SignKeyVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF MockVRF] → Size Source #
ToCBOR (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ SignKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF SimpleVRF] → Size Source #
ToCBOR (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ SignKeyVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF PraosVRF] → Size Source #
ToCBOR (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ SignKeyVRF PraosBatchCompatVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF PraosBatchCompatVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF PraosBatchCompatVRF] → Size Source #
ToCBOR (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ VerKeyVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF MockVRF] → Size Source #
ToCBOR (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ VerKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF SimpleVRF] → Size Source #
ToCBOR (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ VerKeyVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF PraosVRF] → Size Source #
ToCBOR (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ VerKeyVRF PraosBatchCompatVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF PraosBatchCompatVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF PraosBatchCompatVRF] → Size Source #
(Serialise t, Typeable t) ⇒ ToCBOR (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ WithOrigin t → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (WithOrigin t) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [WithOrigin t] → Size Source #
ToCBOR a ⇒ ToCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods toCBOR ∷ StrictMaybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #
ToCBOR a ⇒ ToCBOR (StrictSeq a)
Instance details Defined in Data.Sequence.Strict Methods toCBOR ∷ StrictSeq a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictSeq a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictSeq a] → Size Source #
ToCBOR a ⇒ ToCBOR (Seq a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Seq a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Seq a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Seq a] → Size Source #
(Ord a, ToCBOR a) ⇒ ToCBOR (Set a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Set a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Set a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Set a] → Size Source #
ToCBOR a ⇒ ToCBOR (Vector a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Vector a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Vector a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Vector a] → Size Source #
ToCBOR a ⇒ ToCBOR (NonEmpty a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ NonEmpty a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NonEmpty a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NonEmpty a] → Size Source #
ToCBOR a ⇒ ToCBOR (Maybe a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Maybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Maybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Maybe a] → Size Source #
ToCBOR a ⇒ ToCBOR [a]
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ [a] → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [a] → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [[a]] → Size Source #
(ToCBOR a, ToCBOR b) ⇒ ToCBOR (Either a b)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Either a b → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Either a b) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Either a b] → Size Source #
Typeable a ⇒ ToCBOR (Fixed a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Fixed a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Fixed a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Fixed a] → Size Source #
(HashAlgorithm h, Typeable a) ⇒ ToCBOR (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods toCBOR ∷ Hash h a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash h a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash h a] → Size Source #
(VRFAlgorithm v, Typeable a) ⇒ ToCBOR (CertifiedVRF v a)
Instance details Defined in Cardano.Crypto.VRF.Class Methods toCBOR ∷ CertifiedVRF v a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertifiedVRF v a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertifiedVRF v a] → Size Source #
(Ord k, ToCBOR k, ToCBOR v) ⇒ ToCBOR (Map k v)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Map k v → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Map k v) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Map k v] → Size Source #
ToCBOR (Tokens → Tokens)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (Tokens → Tokens) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tokens → Tokens) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tokens → Tokens] → Size Source #
(ToCBOR a, ToCBOR b) ⇒ ToCBOR (a, b)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b)] → Size Source #
(Typeable s, ToCBOR a) ⇒ ToCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Tagged s a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tagged s a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tagged s a] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c) ⇒ ToCBOR (a, b, c)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d) ⇒ ToCBOR (a, b, c, d)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e) ⇒ ToCBOR (a, b, c, d, e)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f) ⇒ ToCBOR (a, b, c, d, e, f)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e, f) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e, f) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e, f)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g) ⇒ ToCBOR (a, b, c, d, e, f, g)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e, f, g) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e, f, g) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e, f, g)] → Size Source #
(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)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e, f, g, h) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e, f, g, h) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e, f, g, h)] → Size Source #

class Typeable a ⇒ FromCBOR a where Source #

Methods

fromCBOR ∷ Decoder s a Source #

Instances

Instances details

FromCBOR Void
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Void Source # label ∷ Proxy Void → Text Source #
FromCBOR Int32
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Int32 Source # label ∷ Proxy Int32 → Text Source #
FromCBOR Int64
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Int64 Source # label ∷ Proxy Int64 → Text Source #
FromCBOR Rational
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Rational Source # label ∷ Proxy Rational → Text Source #
FromCBOR Word16
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word16 Source # label ∷ Proxy Word16 → Text Source #
FromCBOR Word32
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word32 Source # label ∷ Proxy Word32 → Text Source #
FromCBOR Word64
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word64 Source # label ∷ Proxy Word64 → Text Source #
FromCBOR Word8
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word8 Source # label ∷ Proxy Word8 → Text Source #
FromCBOR ByteString
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ByteString Source # label ∷ Proxy ByteString → Text Source #
FromCBOR ByteString
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ByteString Source # label ∷ Proxy ByteString → Text Source #
FromCBOR ShortByteString
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ShortByteString Source # label ∷ Proxy ShortByteString → Text Source #
FromCBOR Point
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s Point Source # label ∷ Proxy Point → Text Source #
FromCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s Proof Source # label ∷ Proxy Proof → Text Source #
FromCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s SignKey Source # label ∷ Proxy SignKey → Text Source #
FromCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s VerKey Source # label ∷ Proxy VerKey → Text Source #
FromCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s Proof Source # label ∷ Proxy Proof → Text Source #
FromCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s SignKey Source # label ∷ Proxy SignKey → Text Source #
FromCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s VerKey Source # label ∷ Proxy VerKey → Text Source #
FromCBOR Version Source #
Instance details Defined in Cardano.Ledger.Binary.Version Methods fromCBOR ∷ Decoder s Version Source # label ∷ Proxy Version → Text Source #
FromCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR ∷ Decoder s BlockNo Source # label ∷ Proxy BlockNo → Text Source #
FromCBOR EpochInterval
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochInterval Source # label ∷ Proxy EpochInterval → Text Source #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochNo Source # label ∷ Proxy EpochNo → Text Source #
FromCBOR EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochSize Source # label ∷ Proxy EpochSize → Text Source #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s SlotNo Source # label ∷ Proxy SlotNo → Text Source #
FromCBOR RelativeTime
Instance details Defined in Cardano.Slotting.Time Methods fromCBOR ∷ Decoder s RelativeTime Source # label ∷ Proxy RelativeTime → Text Source #
FromCBOR SlotLength
Instance details Defined in Cardano.Slotting.Time Methods fromCBOR ∷ Decoder s SlotLength Source # label ∷ Proxy SlotLength → Text Source #
FromCBOR SystemStart
Instance details Defined in Cardano.Slotting.Time Methods fromCBOR ∷ Decoder s SystemStart Source # label ∷ Proxy SystemStart → Text Source #
FromCBOR TermToken
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s TermToken Source # label ∷ Proxy TermToken → Text Source #
FromCBOR Term
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Term Source # label ∷ Proxy Term → Text Source #
FromCBOR Text
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Text Source # label ∷ Proxy Text → Text Source #
FromCBOR UTCTime
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s UTCTime Source # label ∷ Proxy UTCTime → Text Source #
FromCBOR Integer
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Integer Source # label ∷ Proxy Integer → Text Source #
FromCBOR Natural
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Natural Source # label ∷ Proxy Natural → Text Source #
FromCBOR ()
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s () Source # label ∷ Proxy () → Text Source #
FromCBOR Bool
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Bool Source # label ∷ Proxy Bool → Text Source #
FromCBOR Double
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Double Source # label ∷ Proxy Double → Text Source #
FromCBOR Float
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Float Source # label ∷ Proxy Float → Text Source #
FromCBOR Int
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Int Source # label ∷ Proxy Int → Text Source #
FromCBOR Word
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word Source # label ∷ Proxy Word → Text Source #
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SigDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
(TypeError ('Text "CBOR decoding would violate mlocking guarantees") ∷ Constraint) ⇒ FromCBOR (SignKeyDSIGNM Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGNM Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGNM Ed25519DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
FromCBOR (CertVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (CertVRF MockVRF) Source # label ∷ Proxy (CertVRF MockVRF) → Text Source #
FromCBOR (CertVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (CertVRF SimpleVRF) Source # label ∷ Proxy (CertVRF SimpleVRF) → Text Source #
FromCBOR (CertVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s (CertVRF PraosVRF) Source # label ∷ Proxy (CertVRF PraosVRF) → Text Source #
FromCBOR (CertVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s (CertVRF PraosBatchCompatVRF) Source # label ∷ Proxy (CertVRF PraosBatchCompatVRF) → Text Source #
Typeable v ⇒ FromCBOR (OutputVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods fromCBOR ∷ Decoder s (OutputVRF v) Source # label ∷ Proxy (OutputVRF v) → Text Source #
FromCBOR (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (SignKeyVRF MockVRF) Source # label ∷ Proxy (SignKeyVRF MockVRF) → Text Source #
FromCBOR (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source # label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #
FromCBOR (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s (SignKeyVRF PraosVRF) Source # label ∷ Proxy (SignKeyVRF PraosVRF) → Text Source #
FromCBOR (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s (SignKeyVRF PraosBatchCompatVRF) Source # label ∷ Proxy (SignKeyVRF PraosBatchCompatVRF) → Text Source #
FromCBOR (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (VerKeyVRF MockVRF) Source # label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #
FromCBOR (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source # label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #
FromCBOR (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s (VerKeyVRF PraosVRF) Source # label ∷ Proxy (VerKeyVRF PraosVRF) → Text Source #
FromCBOR (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s (VerKeyVRF PraosBatchCompatVRF) Source # label ∷ Proxy (VerKeyVRF PraosBatchCompatVRF) → Text Source #
(Serialise t, Typeable t) ⇒ FromCBOR (WithOrigin t)
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s (WithOrigin t) Source # label ∷ Proxy (WithOrigin t) → Text Source #
FromCBOR a ⇒ FromCBOR (StrictMaybe a)
Instance details Defined in Data.Maybe.Strict Methods fromCBOR ∷ Decoder s (StrictMaybe a) Source # label ∷ Proxy (StrictMaybe a) → Text Source #
FromCBOR a ⇒ FromCBOR (StrictSeq a)
Instance details Defined in Data.Sequence.Strict Methods fromCBOR ∷ Decoder s (StrictSeq a) Source # label ∷ Proxy (StrictSeq a) → Text Source #
FromCBOR a ⇒ FromCBOR (Seq a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Seq a) Source # label ∷ Proxy (Seq a) → Text Source #
(Ord a, FromCBOR a) ⇒ FromCBOR (Set a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Set a) Source # label ∷ Proxy (Set a) → Text Source #
FromCBOR a ⇒ FromCBOR (Vector a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Vector a) Source # label ∷ Proxy (Vector a) → Text Source #
FromCBOR a ⇒ FromCBOR (NonEmpty a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (NonEmpty a) Source # label ∷ Proxy (NonEmpty a) → Text Source #
FromCBOR a ⇒ FromCBOR (Maybe a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Maybe a) Source # label ∷ Proxy (Maybe a) → Text Source #
FromCBOR a ⇒ FromCBOR [a]
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s [a] Source # label ∷ Proxy [a] → Text Source #
(FromCBOR a, FromCBOR b) ⇒ FromCBOR (Either a b)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Either a b) Source # label ∷ Proxy (Either a b) → Text Source #
Typeable a ⇒ FromCBOR (Fixed a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Fixed a) Source # label ∷ Proxy (Fixed a) → Text Source #
(HashAlgorithm h, Typeable a) ⇒ FromCBOR (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromCBOR ∷ Decoder s (Hash h a) Source # label ∷ Proxy (Hash h a) → Text Source #
(VRFAlgorithm v, Typeable a) ⇒ FromCBOR (CertifiedVRF v a)
Instance details Defined in Cardano.Crypto.VRF.Class Methods fromCBOR ∷ Decoder s (CertifiedVRF v a) Source # label ∷ Proxy (CertifiedVRF v a) → Text Source #
(Ord k, FromCBOR k, FromCBOR v) ⇒ FromCBOR (Map k v)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Map k v) Source # label ∷ Proxy (Map k v) → Text Source #
(FromCBOR a, FromCBOR b) ⇒ FromCBOR (a, b)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b) Source # label ∷ Proxy (a, b) → Text Source #
(Typeable s, FromCBOR a) ⇒ FromCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s0 (Tagged s a) Source # label ∷ Proxy (Tagged s a) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c) ⇒ FromCBOR (a, b, c)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c) Source # label ∷ Proxy (a, b, c) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d) ⇒ FromCBOR (a, b, c, d)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d) Source # label ∷ Proxy (a, b, c, d) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e) ⇒ FromCBOR (a, b, c, d, e)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e) Source # label ∷ Proxy (a, b, c, d, e) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f) ⇒ FromCBOR (a, b, c, d, e, f)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e, f) Source # label ∷ Proxy (a, b, c, d, e, f) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f, FromCBOR g) ⇒ FromCBOR (a, b, c, d, e, f, g)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e, f, g) Source # label ∷ Proxy (a, b, c, d, e, f, g) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f, FromCBOR g, FromCBOR h) ⇒ FromCBOR (a, b, c, d, e, f, g, h)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e, f, g, h) Source # label ∷ Proxy (a, b, c, d, e, f, g, h) → Text Source #

data Term Source #

A general CBOR term, which can be used to serialise or deserialise arbitrary CBOR terms for interoperability or debugging. This type is essentially a direct reflection of the CBOR abstract syntax tree as a Haskell data type.

The Term type also comes with a Serialise instance, so you can easily use decode :: Decoder Term to directly decode any arbitrary CBOR value into Haskell with ease, and likewise with encode.

Since: cborg-0.2.0.0

Constructors

TInt !Int
TInteger !Integer
TBytes !ByteString
TBytesI !ByteString
TString !Text
TStringI !Text
TList ![Term]
TListI ![Term]
TMap ![(Term, Term)]
TMapI ![(Term, Term)]
TTagged !Word64 !Term
TBool !Bool
TNull
TSimple !Word8
THalf !Float
TFloat !Float
TDouble !Double

Instances

Instances details

Read Term
Instance details Defined in Codec.CBOR.Term Methods readsPrec ∷ Int → ReadS Term Source # readList ∷ ReadS [Term] Source # readPrec ∷ ReadPrec Term Source # readListPrec ∷ ReadPrec [Term] Source #
Show Term
Instance details Defined in Codec.CBOR.Term Methods showsPrec ∷ Int → Term → ShowS Source # show ∷ Term → String Source # showList ∷ [Term] → ShowS Source #
FromCBOR Term
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Term Source # label ∷ Proxy Term → Text Source #
ToCBOR Term
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Term → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Term → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Term] → Size Source #
DecCBOR Term Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Term Source # dropCBOR ∷ Proxy Term → Decoder s () Source # label ∷ Proxy Term → Text Source #
EncCBOR Term Source #
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ Term → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Term → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Term] → Size Source #
Eq Term
Instance details Defined in Codec.CBOR.Term Methods (==) ∷ Term → Term → Bool Source # (/=) ∷ Term → Term → Bool Source #
Ord Term
Instance details Defined in Codec.CBOR.Term Methods compare ∷ Term → Term → Ordering Source # (<) ∷ Term → Term → Bool Source # (<=) ∷ Term → Term → Bool Source # (>) ∷ Term → Term → Bool Source # (>=) ∷ Term → Term → Bool Source # max ∷ Term → Term → Term Source # min ∷ Term → Term → Term Source #
Serialise Term	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Term → Encoding Source # decode ∷ Decoder s Term Source # encodeList ∷ [Term] → Encoding Source # decodeList ∷ Decoder s [Term] Source #

data DeserialiseFailure Source #

An exception type that may be returned (by pure functions) or thrown (by IO actions) that fail to deserialise a given input.

Since: cborg-0.2.0.0

Constructors

DeserialiseFailure ByteOffset String

Instances

Instances details

Exception DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods toException ∷ DeserialiseFailure → SomeException Source # fromException ∷ SomeException → Maybe DeserialiseFailure Source # displayException ∷ DeserialiseFailure → String Source #
Show DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods showsPrec ∷ Int → DeserialiseFailure → ShowS Source # show ∷ DeserialiseFailure → String Source # showList ∷ [DeserialiseFailure] → ShowS Source #
NFData DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods rnf ∷ DeserialiseFailure → () Source #
Eq DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods (==) ∷ DeserialiseFailure → DeserialiseFailure → Bool Source # (/=) ∷ DeserialiseFailure → DeserialiseFailure → Bool Source #

translateViaCBORAnnotator Source #

Arguments

∷ (ToCBOR a, DecCBOR (Annotator b))
⇒ Version	Version that will be used for deserialization
→ Text
→ a
→ Except DecoderError b

Translation function between values through a related binary representation. This function allows you to translate one type into another (or the same one) through their common binary format. It is possible for the source type to be encoded with a different version than the version that will be used for decoding. This is useful for types that build upon one another and are "upgradeable" through their binary representation. It is important to note that the deserialization will happen with Annotator, since that is usually the way we deserialize upgradeable types that live on chain. Moreover, encoding does not require a version, because memoized types that were decoded with annotation will have the bytes retained and thus will have the ToCBOR instance.