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

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 Data Source #
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods toCBOR ∷ Data → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Data → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Data] → 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 # readList ∷ ReadS [Term] # readPrec ∷ ReadPrec Term # readListPrec ∷ ReadPrec [Term] #
Show Term
Instance details Defined in Codec.CBOR.Term Methods showsPrec ∷ Int → Term → ShowS # show ∷ Term → String # showList ∷ [Term] → ShowS #
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 # (/=) ∷ Term → Term → Bool #
Ord Term
Instance details Defined in Codec.CBOR.Term Methods compare ∷ Term → Term → Ordering # (<) ∷ Term → Term → Bool # (<=) ∷ Term → Term → Bool # (>) ∷ Term → Term → Bool # (>=) ∷ Term → Term → Bool # max ∷ Term → Term → Term # min ∷ Term → Term → Term #
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 # fromException ∷ SomeException → Maybe DeserialiseFailure # displayException ∷ DeserialiseFailure → String #
Show DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods showsPrec ∷ Int → DeserialiseFailure → ShowS # show ∷ DeserialiseFailure → String # showList ∷ [DeserialiseFailure] → ShowS #
NFData DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods rnf ∷ DeserialiseFailure → ()
Eq DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods (==) ∷ DeserialiseFailure → DeserialiseFailure → Bool # (/=) ∷ DeserialiseFailure → DeserialiseFailure → Bool #