Modulecardano-ledger-binary-1.9.1.0

Cardano.Ledger.Binary

Synopsis

value fixedSize
value guardFixedSized
value cborError
value toCborError
value apMono
value caseValue
value isTodo
value szBounds
value szCases
value szEval
value szForce
value szGreedy
value szLazy
value szSimplify
value szWithCtx
value toCBORMaybe
value withWordSize
value translateViaCBORAnnotator
value decodeFull
value decodeFull'
value decodeFullAnnotatedBytes
value decodeFullAnnotator
value decodeFullAnnotatorFromHexText
value decodeFullDecoder
value decodeFullDecoder'
value decodeFullFromHexText
value decodeMemPack
value decodeNestedCbor
value decodeNestedCborBytes
value unsafeDeserialize
value unsafeDeserialize'
value annotatedDecoder
value annotationBytes
value annotatorSlice
value decCBORAnnotated
value decodeAnnSet
value decodeAnnotated
value decodeNonEmptySetLikeEnforceNoDuplicatesAnn
value reAnnotate
value slice
value withSlice
value decodeIntegralRational
value decodeScriptContextFromData
value fromByronCBOR
value allowTag
value assertTag
value decodeAccA
value decodeBool
value decodeBreakOr
value decodeByteArray
value decodeByteArrayCanonical
value decodeBytes
value decodeBytesCanonical
value decodeBytesIndef
value decodeDouble
value decodeDoubleCanonical
value decodeEither
value decodeEnumBounded
value decodeFixedSized
value decodeFloat
value decodeFloat16Canonical
value decodeFloatCanonical
value decodeIPv4
value decodeIPv6
value decodeInt
value decodeInt16
value decodeInt16Canonical
value decodeInt32
value decodeInt32Canonical
value decodeInt64
value decodeInt64Canonical
value decodeInt8
value decodeInt8Canonical
value decodeIntCanonical
value decodeIntMap
value decodeInteger
value decodeIntegerCanonical
value decodeList
value decodeListLen
value decodeListLenCanonical
value decodeListLenCanonicalOf
value decodeListLenIndef
value decodeListLenOf
value decodeListLenOrIndef
value decodeListLike
value decodeListLikeEnforceNoDuplicates
value decodeListLikeT
value decodeListLikeWithCount
value decodeListLikeWithCountT
value decodeMap
value decodeMapByKey
value decodeMapContents
value decodeMapContentsTraverse
value decodeMapLen
value decodeMapLenCanonical
value decodeMapLenIndef
value decodeMapLenOrIndef
value decodeMapLikeEnforceNoDuplicates
value decodeMapTraverse
value decodeMaybe
value decodeNatural
value decodeNegWord
value decodeNegWord64
value decodeNegWord64Canonical
value decodeNegWordCanonical
value decodeNonEmptyList
value decodeNonEmptySetLikeEnforceNoDuplicates
value decodeNull
value decodeNullMaybe
value decodeNullStrictMaybe
value decodeRational
value decodeRationalWithTag
value decodeRecordNamed
value decodeRecordNamedT
value decodeRecordSum
value decodeSeq
value decodeSequenceLenIndef
value decodeSequenceLenN
value decodeSet
value decodeSetLikeEnforceNoDuplicates
value decodeSetTag
value decodeSimple
value decodeSimpleCanonical
value decodeSparseKeyed
value decodeStrictMaybe
value decodeStrictSeq
value decodeString
value decodeStringCanonical
value decodeStringIndef
value decodeTag
value decodeTag64
value decodeTag64Canonical
value decodeTagCanonical
value decodeTerm
value decodeUTCTime
value decodeUtf8ByteArray
value decodeUtf8ByteArrayCanonical
value decodeVMap
value decodeVector
value decodeVersion
value decodeWithByteSpan
value decodeWithOrigin
value decodeWord
value decodeWord16
value decodeWord16Canonical
value decodeWord32
value decodeWord32Canonical
value decodeWord64
value decodeWord64Canonical
value decodeWord8
value decodeWord8Canonical
value decodeWordCanonical
value decodeWordCanonicalOf
value decodeWordOf
value enforceDecoderVersion
value enforceSize
value failOnMempty
value failOnNull
value fromPlainDecoder
value getDecoderVersion
value ifDecoderVersionAtLeast
value liftST
value matchSize
value originalBytesExpectedFailureMessage
value peekAvailable
value peekByteOffset
value peekTokenType
value setTag
value toPlainDecoder
value unlessDecoderVersionAtLeast
value whenDecoderVersionAtLeast
value withPlainDecoder
value dropBytes
value dropInt32
value dropList
value dropMap
value dropSet
value dropTriple
value dropTuple
value dropWord64
value dropWord8
value decNoShareCBOR
value decShareLensCBOR
value decShareMonadCBOR
value decSharePlusLensCBOR
value internMap
value internSet
value interns
value internsFromMap
value internsFromSet
value internsFromVMap
value toMemptyLens
value decodeSized
value mapSized
value mkSized
value toSizedL
value unsafeMapSized
value encodeMemPack
value encodeNestedCbor
value encodeNestedCborBytes
value hashEncCBOR
value hashWithEncoder
value runByteBuilder
value serialize
value serialize'
value serializeBuilder
value toByronCBOR
value encodeBool
value encodeBreak
value encodeByteArray
value encodeBytes
value encodeBytesIndef
value encodeDouble
value encodeEnum
value encodeFixedSized
value encodeFloat
value encodeFloat16
value encodeFoldableAsDefLenList
value encodeFoldableAsIndefLenList
value encodeFoldableEncoder
value encodeFoldableMapEncoder
value encodeIPv4
value encodeIPv6
value encodeInt
value encodeInt16
value encodeInt32
value encodeInt64
value encodeInt8
value encodeInteger
value encodeList
value encodeListLen
value encodeListLenIndef
value encodeMap
value encodeMapLen
value encodeMapLenIndef
value encodeMaybe
value encodeNull
value encodeNullMaybe
value encodeNullStrictMaybe
value encodePreEncoded
value encodeRatio
value encodeRatioNoTag
value encodeRatioWithTag
value encodeSeq
value encodeSet
value encodeSimple
value encodeStrictMaybe
value encodeStrictSeq
value encodeString
value encodeStringIndef
value encodeTag
value encodeTag64
value encodeTerm
value encodeTuple
value encodeUTCTime
value encodeUndef
value encodeUtf8ByteArray
value encodeVMap
value encodeVector
value encodeVersion
value encodeWithOrigin
value encodeWord
value encodeWord16
value encodeWord32
value encodeWord64
value encodeWord8
value enforceEncodingVersion
value fromPlainEncoding
value fromPlainEncodingWithVersion
value ifEncodingVersionAtLeast
value ipv4ToBytes
value ipv6ToBytes
value lengthThreshold
value toBuilder
value toPlainEncoding
value variableListLenEncoding
value withCurrentEncodingVersion
value groupRecord
value listLenInt
value invalidKey
value showDecoderError
value allVersions
value byronProtVer
value getVersion
value getVersion32
value getVersion64
value mkVersion
value mkVersion32
value mkVersion64
value natVersion
value natVersionProxy
value shelleyProtVer
value succVersion
value toLazyByteString
value toStrictByteString
family FixedSize
class FixedSizeCodec
data DecoderError
class FromCBOR
data Case
newtype LengthOf
data Range
type Size
data SizeOverride
class ToCBOR
data Annotated
newtype Annotator
family BaseType
data ByteSpan
class Decoded
newtype FullByteString
class DecCBOR
newtype Decoder
type Dropper
class DecShareCBOR
data Intern
newtype Interns
family Share
data Sized
class EncCBOR
newtype PreEncoded
newtype Encoding
newtype CBORGroup
class DecCBORGroup
class EncCBORGroup
type MaxVersion
type MinVersion
newtype Version
newtype ByteArray
type ByteOffset
data DecodeAction
data TokenType
data Tokens
data DeserialiseFailure
data Term

Packagecardano-ledger-binary-1.9.1.0
Exports335
LicenceApache-2.0
SourceWrite.hs

valuefixedSize :: FixedSizeCodec a => proxy a -> Word

valueguardFixedSized

:: (FixedSizeCodec a, MonadFail m, Typeable a)
=> ByteString
-> m a
-> m a

valuecborError :: (MonadFail m, Buildable e) => e -> m a

valuetoCborError :: (MonadFail m, Buildable e) => Either e a -> m a

valueapMono :: Text -> (Natural -> Natural) -> Size -> Size

valuecaseValue :: Case t -> t

valueisTodo :: Size -> Bool

valueszBounds :: ToCBOR a => a -> Either Size (Range Natural)

valueszCases :: [Case Size] -> Size

valueszEval

:: forall t. ToCBOR t => (Proxy t -> Size) -> Proxy t -> Range Natural
-> Size
-> Range Natural

valueszForce :: Size -> Size

valueszGreedy :: ToCBOR a => Proxy a -> Size

valueszLazy :: ToCBOR a => Proxy a -> Size

valueszSimplify :: Size -> Either Size (Range Natural)

valueszWithCtx :: ToCBOR a => Map TypeRep SizeOverride -> Proxy a -> Size

valuetoCBORMaybe :: (a -> Encoding) -> Maybe a -> Encoding

Deprecated. In favor of encodeMaybe

valuewithWordSize :: (Integral s, Integral a) => s -> a

valuetranslateViaCBORAnnotator

:: (ToCBOR a, DecCBOR (Annotator b))
=> Version
-> Text
-> a
-> Except DecoderError b

valuedecodeFull :: DecCBOR a => Version -> ByteString -> Either DecoderError a

valuedecodeFull' :: DecCBOR a => Version -> ByteString -> Either DecoderError a

valuedecodeFullAnnotatedBytes

:: Functor f
=> Version
-> Text
-> forall s. Decoder s (f ByteSpan)
-> ByteString
-> Either DecoderError (f ByteString)

valuedecodeFullAnnotator

:: Version
-> Text
-> forall s. Decoder s (Annotator a)
-> ByteString
-> Either DecoderError a

valuedecodeFullAnnotatorFromHexText

:: Version
-> Text
-> forall s. Decoder s (Annotator a)
-> Text
-> Either DecoderError a

valuedecodeFullDecoder

:: Version
-> Text
-> forall s. Decoder s a
-> ByteString
-> Either DecoderError a

valuedecodeFullDecoder'

:: Version
-> Text
-> forall s. Decoder s a
-> ByteString
-> Either DecoderError a

valuedecodeFullFromHexText

:: DecCBOR a
=> Version
-> Text
-> Either DecoderError a

valuedecodeMemPack :: MemPack a => Decoder s a

valuedecodeNestedCbor :: DecCBOR a => Decoder s a

valuedecodeNestedCborBytes :: Decoder s ByteString

valueunsafeDeserialize :: DecCBOR a => Version -> ByteString -> a

valueunsafeDeserialize' :: DecCBOR a => Version -> ByteString -> a

valueannotatedDecoder :: Decoder s a -> Decoder s (Annotated a ByteSpan)

valueannotationBytes :: Functor f => ByteString -> f ByteSpan -> f ByteString

valueannotatorSlice

:: Decoder s (Annotator (ByteString -> a))
-> Decoder s (Annotator a)

valuedecCBORAnnotated :: DecCBOR a => Decoder s (Annotated a ByteSpan)

valuedecodeAnnSet

:: Ord t
=> Decoder s (Annotator t)
-> Decoder s (Annotator (Set t))

valuedecodeAnnotated :: Decoder s a -> Decoder s (Annotated a ByteString)

valuedecodeNonEmptySetLikeEnforceNoDuplicatesAnn

:: (Monoid b, DecCBOR (Annotator a))
=> a -> b -> b
-> b -> (Int, c)
-> Decoder s (Annotator c)

valuereAnnotate

:: EncCBOR a
=> Version
-> Annotated a b
-> Annotated a ByteString

valueslice :: ByteString -> ByteSpan -> ByteString

valuewithSlice :: Decoder s a -> Decoder s (a, Annotator ByteString)

valuedecodeIntegralRational :: (DecCBOR a, Integral a) => Decoder s Rational

valuedecodeScriptContextFromData :: (FromData a, MonadFail m) => Data -> m a

valuefromByronCBOR :: DecCBOR a => Decoder s a

valueallowTag :: Word -> Decoder s ()

valueassertTag :: Word -> Decoder s ()

valuedecodeAccA

:: Applicative f
=> f t
-> x -> t -> t
-> Decoder s (f x)
-> Decoder s (f t)

valuedecodeBool :: Decoder s Bool

valuedecodeBreakOr :: Decoder s Bool

valuedecodeByteArray :: Decoder s ByteArray

valuedecodeByteArrayCanonical :: Decoder s ByteArray

valuedecodeBytes :: Decoder s ByteString

valuedecodeBytesCanonical :: Decoder s ByteString

valuedecodeBytesIndef :: Decoder s ()

valuedecodeDouble :: Decoder s Double

valuedecodeDoubleCanonical :: Decoder s Double

valuedecodeEither :: Decoder s a -> Decoder s b -> Decoder s (Either a b)

valuedecodeEnumBounded :: (Enum a, Bounded a, Typeable a) => Decoder s a

valuedecodeFixedSized :: FixedSizeCodec a => Decoder s a

valuedecodeFloat :: Decoder s Float

valuedecodeFloat16Canonical :: Decoder s Float

valuedecodeFloatCanonical :: Decoder s Float

valuedecodeIPv4 :: Decoder s IPv4

valuedecodeIPv6 :: Decoder s IPv6

valuedecodeInt :: Decoder s Int

valuedecodeInt16 :: Decoder s Int16

valuedecodeInt16Canonical :: Decoder s Int16

valuedecodeInt32 :: Decoder s Int32

valuedecodeInt32Canonical :: Decoder s Int32

valuedecodeInt64 :: Decoder s Int64

valuedecodeInt64Canonical :: Decoder s Int64

valuedecodeInt8 :: Decoder s Int8

valuedecodeInt8Canonical :: Decoder s Int8

valuedecodeIntCanonical :: Decoder s Int

valuedecodeIntMap :: Decoder s v -> Decoder s (IntMap v)

valuedecodeInteger :: Decoder s Integer

valuedecodeIntegerCanonical :: Decoder s Integer

valuedecodeList :: Decoder s a -> Decoder s [a]

valuedecodeListLen :: Decoder s Int

valuedecodeListLenCanonical :: Decoder s Int

valuedecodeListLenCanonicalOf :: Int -> Decoder s ()

valuedecodeListLenIndef :: Decoder s ()

valuedecodeListLenOf :: Int -> Decoder s ()

valuedecodeListLenOrIndef :: Decoder s (Maybe Int)

valuedecodeListLike

:: Text
-> Decoder s a
-> a -> Int -> Decoder s ()
-> Decoder s a

valuedecodeListLikeEnforceNoDuplicates

:: Monoid b
=> Decoder s (Maybe Int)
-> a -> b -> b
-> b -> (Int, c)
-> Decoder s a
-> Decoder s c

valuedecodeListLikeT

:: (MonadTrans m, Monad (m (Decoder s)))
=> Text
-> m (Decoder s) a
-> a -> Int -> m (Decoder s) ()
-> m (Decoder s) a

valuedecodeListLikeWithCount

:: Monoid b
=> Decoder s (Maybe Int)
-> a -> b -> b
-> b -> Decoder s a
-> Decoder s (Int, b)

valuedecodeListLikeWithCountT

:: (MonadTrans t, Monad (t (Decoder s)), Monoid b)
=> t (Decoder s) (Maybe Int)
-> a -> b -> b
-> b -> t (Decoder s) a
-> t (Decoder s) (Int, b)

valuedecodeMap :: Ord k => Decoder s k -> Decoder s v -> Decoder s (Map k v)

valuedecodeMapByKey

:: Ord k
=> Decoder s k
-> k -> Decoder s v
-> Decoder s (Map k v)

valuedecodeMapContents :: Decoder s a -> Decoder s [a]

valuedecodeMapContentsTraverse

:: Applicative t
=> Decoder s (t a)
-> Decoder s (t b)
-> Decoder s (t [(a, b)])

valuedecodeMapLen :: Decoder s Int

valuedecodeMapLenCanonical :: Decoder s Int

valuedecodeMapLenIndef :: Decoder s ()

valuedecodeMapLenOrIndef :: Decoder s (Maybe Int)

valuedecodeMapLikeEnforceNoDuplicates

:: Ord k
=> Decoder s (Maybe Int)
-> Decoder s (k, v)
-> Decoder s (Map k v)

valuedecodeMapTraverse

:: (Ord a, Applicative t)
=> Decoder s (t a)
-> Decoder s (t b)
-> Decoder s (t (Map a b))

valuedecodeMaybe :: Decoder s a -> Decoder s (Maybe a)

valuedecodeNatural :: Decoder s Natural

valuedecodeNegWord :: Decoder s Word

valuedecodeNegWord64 :: Decoder s Word64

valuedecodeNegWord64Canonical :: Decoder s Word64

valuedecodeNegWordCanonical :: Decoder s Word

valuedecodeNonEmptyList :: Decoder s a -> Decoder s (NonEmpty a)

valuedecodeNonEmptySetLikeEnforceNoDuplicates

:: Monoid b
=> a -> b -> b
-> b -> (Int, c)
-> Decoder s a
-> Decoder s c

valuedecodeNull :: Decoder s ()

valuedecodeNullMaybe :: Decoder s a -> Decoder s (Maybe a)

valuedecodeNullStrictMaybe :: Decoder s a -> Decoder s (StrictMaybe a)

valuedecodeRational :: Decoder s Rational

valuedecodeRationalWithTag :: Decoder s Rational

valuedecodeRecordNamed :: Text -> (a -> Int) -> Decoder s a -> Decoder s a

valuedecodeRecordNamedT

:: (MonadTrans m, Monad (m (Decoder s)))
=> Text
-> a -> Int
-> m (Decoder s) a
-> m (Decoder s) a

valuedecodeRecordSum :: Text -> (Word -> Decoder s (Int, a)) -> Decoder s a

valuedecodeSeq :: Decoder s a -> Decoder s (Seq a)

valuedecodeSequenceLenIndef

:: r -> a -> r
-> r
-> r -> b
-> Decoder s a
-> Decoder s b

valuedecodeSequenceLenN

:: r -> a -> r
-> r
-> r -> b
-> Int
-> Decoder s a
-> Decoder s b

valuedecodeSet :: Ord a => Decoder s a -> Decoder s (Set a)

valuedecodeSetLikeEnforceNoDuplicates

:: Monoid b
=> a -> b -> b
-> b -> (Int, c)
-> Decoder s a
-> Decoder s c

valuedecodeSetTag :: Decoder s ()

valuedecodeSimple :: Decoder s Word8

valuedecodeSimpleCanonical :: Decoder s Word8

valuedecodeSparseKeyed

:: TypeName a
-> [(Word, String)]
-> a
-> a -> Word -> Maybe (Decoder s a)
-> Decoder s a

valuedecodeStrictMaybe :: Decoder s a -> Decoder s (StrictMaybe a)

valuedecodeStrictSeq :: Decoder s a -> Decoder s (StrictSeq a)

valuedecodeString :: Decoder s Text

valuedecodeStringCanonical :: Decoder s Text

valuedecodeStringIndef :: Decoder s ()

valuedecodeTag :: Decoder s Word

valuedecodeTag64 :: Decoder s Word64

valuedecodeTag64Canonical :: Decoder s Word64

valuedecodeTagCanonical :: Decoder s Word

valuedecodeTerm :: Decoder s Term

valuedecodeUTCTime :: Decoder s UTCTime

valuedecodeUtf8ByteArray :: Decoder s ByteArray

valuedecodeUtf8ByteArrayCanonical :: Decoder s ByteArray

valuedecodeVMap

:: (Vector kv k, Vector vv v, Ord k)
=> Decoder s k
-> Decoder s v
-> Decoder s (VMap kv vv k v)

valuedecodeVector :: Vector vec a => Decoder s a -> Decoder s (vec a)

valuedecodeVersion :: Decoder s Version

valuedecodeWithByteSpan :: Decoder s a -> Decoder s (a, ByteOffset, ByteOffset)

valuedecodeWithOrigin :: Decoder s a -> Decoder s (WithOrigin a)

valuedecodeWord :: Decoder s Word

valuedecodeWord16 :: Decoder s Word16

valuedecodeWord16Canonical :: Decoder s Word16

valuedecodeWord32 :: Decoder s Word32

valuedecodeWord32Canonical :: Decoder s Word32

valuedecodeWord64 :: Decoder s Word64

valuedecodeWord64Canonical :: Decoder s Word64

valuedecodeWord8 :: Decoder s Word8

valuedecodeWord8Canonical :: Decoder s Word8

valuedecodeWordCanonical :: Decoder s Word

valuedecodeWordCanonicalOf :: Word -> Decoder s ()

valuedecodeWordOf :: Word -> Decoder s ()

valueenforceDecoderVersion :: Version -> Decoder s a -> Decoder s a

valueenforceSize :: Text -> Int -> Decoder s ()

valuefailOnMempty :: (Eq f, Monoid f, MonadFail m) => f -> String -> m ()

valuefailOnNull :: (Foldable f, MonadFail m) => f a -> String -> m ()

valuefromPlainDecoder :: Decoder s a -> Decoder s a

valuegetDecoderVersion :: Decoder s Version

valueifDecoderVersionAtLeast

:: Version
-> Decoder s a
-> Decoder s a
-> Decoder s a

valueliftST :: ST s a -> Decoder s a

valuematchSize :: Text -> Int -> Int -> Decoder s ()

valueoriginalBytesExpectedFailureMessage :: String

valuepeekAvailable :: Decoder s Int

valuepeekByteOffset :: Decoder s ByteOffset

valuepeekTokenType :: Decoder s TokenType

valuesetTag :: Word

valuetoPlainDecoder :: Maybe ByteString -> Version -> Decoder s a -> Decoder s a

valueunlessDecoderVersionAtLeast :: Version -> Decoder s a -> Decoder s ()

valuewhenDecoderVersionAtLeast :: Version -> Decoder s a -> Decoder s ()

valuewithPlainDecoder

:: Decoder s a
-> Decoder s a -> Decoder s b
-> Decoder s b

valuedropBytes :: Dropper s

valuedropInt32 :: Dropper s

valuedropList :: Dropper s -> Dropper s

valuedropMap :: Dropper s -> Dropper s -> Dropper s

valuedropSet :: Dropper s -> Dropper s

valuedropTriple :: Dropper s -> Dropper s -> Dropper s -> Dropper s

valuedropTuple :: Dropper s -> Dropper s -> Dropper s

valuedropWord64 :: Dropper s

valuedropWord8 :: Dropper s

valuedecNoShareCBOR :: DecShareCBOR a => Decoder s a

valuedecShareLensCBOR

:: DecShareCBOR b
=> SimpleGetter bs (Share b)
-> StateT bs (Decoder s) b

valuedecShareMonadCBOR

:: (DecCBOR (f b), Monad f)
=> Interns b
-> Decoder s (f b)

valuedecSharePlusLensCBOR

:: DecShareCBOR b
=> Lens' bs (Share b)
-> StateT bs (Decoder s) b

valueinternMap :: Ord k => k -> Map k a -> Maybe k

valueinternSet :: Ord a => a -> Set a -> Maybe a

valueinterns :: Interns k -> k -> k

valueinternsFromMap :: Ord k => Map k a -> Interns k

valueinternsFromSet :: Ord k => Set k -> Interns k

valueinternsFromVMap :: (Ord k, Vector kv a) => VMap VB kv k a -> Interns k

valuetoMemptyLens :: Monoid a => Lens' a b -> Lens' c b -> Lens' c a

valuedecodeSized :: Decoder s a -> Decoder s (Sized a)

valuemapSized :: EncCBOR b => Version -> (a -> b) -> Sized a -> Sized b

valuemkSized :: EncCBOR a => Version -> a -> Sized a

valuetoSizedL :: EncCBOR s => Version -> Lens' s a -> Lens' (Sized s) a

valueunsafeMapSized :: (a -> b) -> Sized a -> Sized b

valueencodeMemPack :: MemPack a => a -> Encoding

valueencodeNestedCbor :: EncCBOR a => a -> Encoding

valueencodeNestedCborBytes :: ByteString -> Encoding

valuehashEncCBOR :: (HashAlgorithm h, EncCBOR a) => Version -> a -> Hash h a

valuehashWithEncoder

:: HashAlgorithm h
=> Version
-> a -> Encoding
-> a
-> Hash h a

valuerunByteBuilder :: Int -> Builder -> ByteString

valueserialize :: EncCBOR a => Version -> a -> ByteString

valueserialize' :: EncCBOR a => Version -> a -> ByteString

valueserializeBuilder :: EncCBOR a => Version -> a -> Builder

valuetoByronCBOR :: EncCBOR a => a -> Encoding

valueencodeBool :: Bool -> Encoding

valueencodeBreak :: Encoding

valueencodeByteArray :: SlicedByteArray -> Encoding

valueencodeBytes :: ByteString -> Encoding

valueencodeBytesIndef :: Encoding

valueencodeDouble :: Double -> Encoding

valueencodeEnum :: Enum a => a -> Encoding

valueencodeFixedSized :: FixedSizeCodec a => a -> Encoding

valueencodeFloat :: Float -> Encoding

valueencodeFloat16 :: Float -> Encoding

valueencodeFoldableAsDefLenList

:: Foldable f
=> a -> Encoding
-> f a
-> Encoding

valueencodeFoldableAsIndefLenList

:: Foldable f
=> a -> Encoding
-> f a
-> Encoding

valueencodeFoldableEncoder :: Foldable f => (a -> Encoding) -> f a -> Encoding

valueencodeFoldableMapEncoder

:: Foldable f
=> Word -> a -> Maybe Encoding
-> f a
-> Encoding

valueencodeIPv4 :: IPv4 -> Encoding

valueencodeIPv6 :: IPv6 -> Encoding

valueencodeInt :: Int -> Encoding

valueencodeInt16 :: Int16 -> Encoding

valueencodeInt32 :: Int32 -> Encoding

valueencodeInt64 :: Int64 -> Encoding

valueencodeInt8 :: Int8 -> Encoding

valueencodeInteger :: Integer -> Encoding

valueencodeList :: (a -> Encoding) -> [a] -> Encoding

valueencodeListLen :: Word -> Encoding

valueencodeListLenIndef :: Encoding

valueencodeMap :: (k -> Encoding) -> (v -> Encoding) -> Map k v -> Encoding

valueencodeMapLen :: Word -> Encoding

valueencodeMapLenIndef :: Encoding

valueencodeMaybe :: (a -> Encoding) -> Maybe a -> Encoding

valueencodeNull :: Encoding

valueencodeNullMaybe :: (a -> Encoding) -> Maybe a -> Encoding

valueencodeNullStrictMaybe :: (a -> Encoding) -> StrictMaybe a -> Encoding

valueencodePreEncoded :: ByteString -> Encoding

valueencodeRatio :: (t -> Encoding) -> Ratio t -> Encoding

valueencodeRatioNoTag :: (t -> Encoding) -> Ratio t -> Encoding

valueencodeRatioWithTag :: (t -> Encoding) -> Ratio t -> Encoding

valueencodeSeq :: (a -> Encoding) -> Seq a -> Encoding

valueencodeSet :: (a -> Encoding) -> Set a -> Encoding

valueencodeSimple :: Word8 -> Encoding

valueencodeStrictMaybe :: (a -> Encoding) -> StrictMaybe a -> Encoding

valueencodeStrictSeq :: (a -> Encoding) -> StrictSeq a -> Encoding

valueencodeString :: Text -> Encoding

valueencodeStringIndef :: Encoding

valueencodeTag :: Word -> Encoding

valueencodeTag64 :: Word64 -> Encoding

valueencodeTerm :: Term -> Encoding

valueencodeTuple :: (a -> Encoding) -> (b -> Encoding) -> (a, b) -> Encoding

valueencodeUTCTime :: UTCTime -> Encoding

valueencodeUndef :: Encoding

valueencodeUtf8ByteArray :: SlicedByteArray -> Encoding

valueencodeVMap

:: (Vector kv k, Vector vv v)
=> k -> Encoding
-> v -> Encoding
-> VMap kv vv k v
-> Encoding

valueencodeVector :: Vector v a => (a -> Encoding) -> v a -> Encoding

valueencodeVersion :: Version -> Encoding

valueencodeWithOrigin :: (a -> Encoding) -> WithOrigin a -> Encoding

valueencodeWord :: Word -> Encoding

valueencodeWord16 :: Word16 -> Encoding

valueencodeWord32 :: Word32 -> Encoding

valueencodeWord64 :: Word64 -> Encoding

valueencodeWord8 :: Word8 -> Encoding

valueenforceEncodingVersion :: Version -> Encoding -> Encoding

valuefromPlainEncoding :: Encoding -> Encoding

valuefromPlainEncodingWithVersion :: (Version -> Encoding) -> Encoding

valueifEncodingVersionAtLeast :: Version -> Encoding -> Encoding -> Encoding

valueipv4ToBytes :: IPv4 -> ByteString

valueipv6ToBytes :: IPv6 -> ByteString

valuelengthThreshold :: Int

valuetoBuilder :: Version -> Encoding -> Builder

valuetoPlainEncoding :: Version -> Encoding -> Encoding

valuevariableListLenEncoding :: Int -> Encoding -> Encoding

valuewithCurrentEncodingVersion :: (Version -> Encoding) -> Encoding

valuegroupRecord :: (EncCBORGroup a, DecCBORGroup a) => Decoder s a

valuelistLenInt :: EncCBORGroup a => proxy a -> Int

valueinvalidKey :: (Typeable a, MonadFail m) => Word -> m a

valueshowDecoderError :: Buildable e => e -> String

valueallVersions :: [Version]

valuebyronProtVer :: Version

valuegetVersion :: Integral i => Version -> i

valuegetVersion32 :: Version -> Word32

valuegetVersion64 :: Version -> Word64

valuemkVersion :: (Integral i, MonadFail m) => i -> m Version

valuemkVersion32 :: MonadFail m => Word32 -> m Version

valuemkVersion64 :: MonadFail m => Word64 -> m Version

valuenatVersion :: (KnownNat v, MinVersion <= v, v <= MaxVersion) => Version

valuenatVersionProxy

:: (KnownNat v, MinVersion <= v, v <= MaxVersion)
=> Proxy v
-> Version

valueshelleyProtVer :: Version

valuesuccVersion :: MonadFail m => Version -> m Version

valuetoLazyByteString

:: Encoding
The Encoding of a CBOR value.
-> ByteString
The encoded CBOR value.

Source#

Turn an Encoding into a lazy ByteString in CBOR binary format.

valuetoStrictByteString

:: Encoding
The Encoding of a CBOR value.
-> ByteString
The encoded value.

Source#

Turn an Encoding into a strict ByteString in CBOR binary format.

familytype family FixedSize a :: Nat

Instances70FixedSize, …

type FixedSize MessageHash = SECP256K1_ECDSA_MESSAGE_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
type FixedSize Proof = 80Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
type FixedSize SignKey = 64Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
type FixedSize VerKey = 32Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
type FixedSize Proof = 128Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
type FixedSize SignKey = 64Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
type FixedSize VerKey = 32Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
type FixedSize (PossessionProofDSIGN (BLS12381DSIGN curve)) = PossessionProofSizeDSIGN (BLS12381DSIGN curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_SIGNATURE_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
type FixedSize (SigDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
type FixedSize (SigDSIGN Ed448DSIGN) = 114Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
type FixedSize (SigDSIGN MockDSIGN) = HashSize ShortHash + 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
type FixedSize (SigDSIGN NeverDSIGN) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_SIGNATURE_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
type FixedSize (SigDSIGN (BLS12381DSIGN curve)) = CompressedPointSize (DualCurve curve)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PRIVKEY_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
type FixedSize (SignKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_SEEDBYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
type FixedSize (SignKeyDSIGN Ed448DSIGN) = 57Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
type FixedSize (SignKeyDSIGN MockDSIGN) = 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
type FixedSize (SignKeyDSIGN NeverDSIGN) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PRIVKEY_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) = 32Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
type FixedSize (SignedDSIGN v a) = FixedSize (SigDSIGN v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PUBKEY_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
type FixedSize (VerKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_PUBLICKEYBYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
type FixedSize (VerKeyDSIGN Ed448DSIGN) = 57Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
type FixedSize (VerKeyDSIGN MockDSIGN) = 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
type FixedSize (VerKeyDSIGN NeverDSIGN) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PUBKEY_BYTESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) = CompressedPointSize curveDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
type FixedSize (SigKES NeverKES) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed
type FixedSize (SigKES (CompactSingleKES d)) = SigSizeDSIGN d + VerKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
type FixedSize (SigKES (CompactSumKES h d)) = SigSizeKES d + VerKeySizeKES dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
type FixedSize (SigKES (MockKES t)) = 24Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
type FixedSize (SigKES (SimpleKES d t)) = SigSizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
type FixedSize (SigKES (SingleKES d)) = FixedSize (SigDSIGN d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
type FixedSize (SigKES (SumKES h d)) = SigSizeKES d + (VerKeySizeKES d * 2)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
type FixedSize (SignKeyKES (MockKES t)) = 16Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
type FixedSize (SignedKES v a) = FixedSize (SigKES v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class
type FixedSize (UnsoundPureSignKeyKES NeverKES) = SignKeySizeKES NeverKESDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed
type FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) = SignKeySizeKES (CompactSingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
type FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) = SignKeySizeKES (CompactSumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
type FixedSize (UnsoundPureSignKeyKES (MockKES t)) = FixedSize (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
type FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) = SignKeySizeKES (SimpleKES d t)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
type FixedSize (UnsoundPureSignKeyKES (SingleKES d)) = SignKeySizeKES (SingleKES d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
type FixedSize (UnsoundPureSignKeyKES (SumKES h d)) = SignKeySizeKES (SumKES h d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
type FixedSize (VerKeyKES NeverKES) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed
type FixedSize (VerKeyKES (CompactSingleKES d)) = VerKeySizeDSIGN dDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
type FixedSize (VerKeyKES (CompactSumKES h d)) = HashSize hDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
type FixedSize (VerKeyKES (MockKES t)) = 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
type FixedSize (VerKeyKES (SimpleKES d t)) = VerKeySizeDSIGN d * tDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
type FixedSize (VerKeyKES (SingleKES d)) = FixedSize (VerKeyDSIGN d)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
type FixedSize (VerKeyKES (SumKES h d)) = HashSize hDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
type FixedSize (PackedBytes n) = nDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PackedBytes.Internal
type FixedSize (PinnedSizedBytes n) = nDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PinnedSizedBytes
type FixedSize (CertVRF MockVRF) = 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
type FixedSize (CertVRF NeverVRF) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
type FixedSize (CertVRF SimpleVRF) = 64Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
type FixedSize (CertVRF PraosVRF) = FixedSize ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
type FixedSize (CertVRF PraosBatchCompatVRF) = FixedSize ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
type FixedSize (SignKeyVRF MockVRF) = 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
type FixedSize (SignKeyVRF NeverVRF) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
type FixedSize (SignKeyVRF SimpleVRF) = 16Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
type FixedSize (SignKeyVRF PraosVRF) = FixedSize SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
type FixedSize (SignKeyVRF PraosBatchCompatVRF) = FixedSize SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
type FixedSize (VerKeyVRF MockVRF) = 8Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
type FixedSize (VerKeyVRF NeverVRF) = 0Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
type FixedSize (VerKeyVRF SimpleVRF) = 32Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
type FixedSize (VerKeyVRF PraosVRF) = FixedSize VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
type FixedSize (VerKeyVRF PraosBatchCompatVRF) = FixedSize VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat

classclass KnownNat (FixedSize a) => FixedSizeCodec a where

Associated types

type family FixedSize a :: Nat

Methods

rawEncodeFixedSized :: a -> ByteString
rawDecodeFixedSized :: MonadFail m => ByteString -> m a

Instances70FixedSizeCodec, …

FixedSizeCodec MessageHashDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FixedSizeCodec ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FixedSizeCodec SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FixedSizeCodec VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FixedSizeCodec ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FixedSizeCodec SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FixedSizeCodec VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FixedSizeCodec (SigDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FixedSizeCodec (SigDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
FixedSizeCodec (SigDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
FixedSizeCodec (SigDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
FixedSizeCodec (SigDSIGN NeverDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
FixedSizeCodec (SigDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
FixedSizeCodec (SignKeyDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FixedSizeCodec (SignKeyDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
FixedSizeCodec (SignKeyDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
FixedSizeCodec (SignKeyDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
FixedSizeCodec (SignKeyDSIGN NeverDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
FixedSizeCodec (SignKeyDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
FixedSizeCodec (SignKeyDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
FixedSizeCodec (VerKeyDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FixedSizeCodec (VerKeyDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
FixedSizeCodec (VerKeyDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
FixedSizeCodec (VerKeyDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
FixedSizeCodec (VerKeyDSIGN NeverDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.NeverUsed
FixedSizeCodec (VerKeyDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
FixedSizeCodec (SigKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed
FixedSizeCodec (UnsoundPureSignKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed
FixedSizeCodec (VerKeyKES NeverKES)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.NeverUsed
FixedSizeCodec (CertVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
FixedSizeCodec (CertVRF NeverVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
FixedSizeCodec (CertVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FixedSizeCodec (CertVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FixedSizeCodec (CertVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FixedSizeCodec (SignKeyVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
FixedSizeCodec (SignKeyVRF NeverVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
FixedSizeCodec (SignKeyVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FixedSizeCodec (SignKeyVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FixedSizeCodec (SignKeyVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FixedSizeCodec (VerKeyVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
FixedSizeCodec (VerKeyVRF NeverVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.NeverUsed
FixedSizeCodec (VerKeyVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FixedSizeCodec (VerKeyVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FixedSizeCodec (VerKeyVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
BLS12381CurveConstraints curve => FixedSizeCodec (PossessionProofDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
BLS12381CurveConstraints curve => FixedSizeCodec (SigDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
BLS12381CurveConstraints curve => FixedSizeCodec (VerKeyDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
DSIGNAlgorithm d => FixedSizeCodec (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
DSIGNAlgorithm d => FixedSizeCodec (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
DSIGNAlgorithm d => FixedSizeCodec (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
DSIGNAlgorithm d => FixedSizeCodec (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
DSIGNAlgorithm d => FixedSizeCodec (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
HashAlgorithm h => FixedSizeCodec (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
HashAlgorithm h => FixedSizeCodec (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
KnownNat n => FixedSizeCodec (PackedBytes n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PackedBytes.Internal
KnownNat n => FixedSizeCodec (PinnedSizedBytes n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PinnedSizedBytes
KnownNat t => FixedSizeCodec (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => FixedSizeCodec (SignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => FixedSizeCodec (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => FixedSizeCodec (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
(DSIGNAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FixedSizeCodec (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(DSIGNAlgorithm d, KnownNat t) => FixedSizeCodec (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(DSIGNAlgorithm d, KnownNat t, KnownNat (SignKeySizeDSIGN d * t)) => FixedSizeCodec (UnsoundPureSignKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(DSIGNAlgorithm d, KnownNat t, KnownNat (VerKeySizeDSIGN d * t)) => FixedSizeCodec (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(KESAlgorithm (CompactSumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (VerKeySizeKES d * 2))) => FixedSizeCodec (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(KESAlgorithm (SumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (2 * VerKeySizeKES d))) => FixedSizeCodec (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(KESAlgorithm d, KnownNat (SigSizeKES d + VerKeySizeKES d), Typeable h) => FixedSizeCodec (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(KESAlgorithm d, KnownNat (SigSizeKES d + (VerKeySizeKES d * 2)), Typeable h) => FixedSizeCodec (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
FixedSizeCodec (SigDSIGN v) => FixedSizeCodec (SignedDSIGN v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Class
KESAlgorithm v => FixedSizeCodec (SignedKES v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Class

datadata DecoderError

Instances5Eq, Show, Exception, NFData, Buildable

Eq DecoderErrorDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
Show DecoderErrorDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
Exception DecoderErrorDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
NFData DecoderErrorDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
Buildable DecoderErrorDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR

classclass Typeable a => FromCBOR a where

Methods

fromCBOR :: Decoder s a

Instances119FromCBOR, …

FromCBOR ByteArrayDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR ByteStringDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR ByteStringDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR ShortByteStringDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR IPv4Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR IPv6Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR MessageHashDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FromCBOR PointDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FromCBOR ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FromCBOR SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FromCBOR VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FromCBOR ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FromCBOR SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FromCBOR VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FromCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
FromCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
FromCBOR EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR SlotIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
FromCBOR RelativeTimeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time
FromCBOR SlotLengthDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time
FromCBOR SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time
FromCBOR ByteArrayDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR TermTokenDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR TermDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR VoidDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR IntegerDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR NaturalDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR Int32Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR Int64Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR RationalDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR BoolDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR DoubleDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR FloatDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR IntDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR WordDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR Word16Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR Word32Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR Word64Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR Word8Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR TextDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR UTCTimeDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR ()Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FromCBOR (SigDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
FromCBOR (SigDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
FromCBOR (SigDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FromCBOR (SignKeyDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
FromCBOR (SignKeyDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
FromCBOR (SignKeyDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
FromCBOR (VerKeyDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
FromCBOR (VerKeyDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
FromCBOR (VerKeyDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
FromCBOR (CertVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
FromCBOR (CertVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FromCBOR (CertVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FromCBOR (CertVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FromCBOR (SignKeyVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
FromCBOR (SignKeyVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FromCBOR (SignKeyVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FromCBOR (SignKeyVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FromCBOR (VerKeyVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
FromCBOR (VerKeyVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
FromCBOR (VerKeyVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
FromCBOR (VerKeyVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
FromCBOR a => FromCBOR (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
FromCBOR a => FromCBOR (StrictSeq a)Defined in cardano-strict-containers-0.1.6.0 · Data.Sequence.Strict
FromCBOR a => FromCBOR (Seq a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR a => FromCBOR (NonEmpty a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR a => FromCBOR (Maybe a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR a => FromCBOR (Vector a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
FromCBOR a => FromCBOR [a]Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
BLS12381CurveConstraints curve => FromCBOR (SigDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
BLS12381CurveConstraints curve => FromCBOR (SignKeyDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
BLS12381CurveConstraints curve => FromCBOR (VerKeyDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
DSIGNMAlgorithm d => FromCBOR (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
DSIGNMAlgorithm d => FromCBOR (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
UnsoundDSIGNMAlgorithm d => FromCBOR (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
Typeable v => FromCBOR (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
TypeError ('Text "CBOR decoding would violate mlocking guarantees") => FromCBOR (SignKeyDSIGNM Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
KnownNat n => FromCBOR (PackedBytes n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PackedBytes.Internal
KnownNat n => FromCBOR (PinnedSizedBytes n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PinnedSizedBytes
KnownNat t => FromCBOR (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => FromCBOR (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => FromCBOR (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) => FromCBOR (PossessionProofDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FromCBOR (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(DSIGNMAlgorithm d, KnownNat (SigSizeKES (CompactSingleKES d))) => FromCBOR (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => FromCBOR (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => FromCBOR (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(UnsoundDSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => FromCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (CompactSumKES h d)) => FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (SumKES h d)) => FromCBOR (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => FromCBOR (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => FromCBOR (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => FromCBOR (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => FromCBOR (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(Ord a, FromCBOR a) => FromCBOR (Set a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(Serialise t, Typeable t) => FromCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
Typeable a => FromCBOR (Fixed a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b) => FromCBOR (Either a b)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b) => FromCBOR (a, b)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(HashAlgorithm h, Typeable a) => FromCBOR (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
(VRFAlgorithm v, Typeable a) => FromCBOR (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
(Ord k, FromCBOR k, FromCBOR v) => FromCBOR (Map k v)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b, FromCBOR c) => FromCBOR (a, b, c)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(Typeable s, FromCBOR a) => FromCBOR (Tagged s a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d) => FromCBOR (a, b, c, d)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e) => FromCBOR (a, b, c, d, e)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f) => FromCBOR (a, b, c, d, e, f)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f, FromCBOR g) => FromCBOR (a, b, c, d, e, f, g)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
(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)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR

datadata Case t

Constructors

Case Text t

Instances2Functor, Buildable

Functor CaseDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
Buildable t => Buildable (Case t)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR

newtypenewtype LengthOf xs

Constructors

LengthOf xs

Instances1ToCBOR

Typeable xs => ToCBOR (LengthOf xs)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR

datadata Range b

Constructors

Range
- lo :: b
- hi :: b

Instances2Num, Buildable

(Ord b, Num b) => Num (Range b)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
Buildable (Range Natural)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR

typetype Size = Fix SizeF

datadata SizeOverride

Constructors

SizeConstant Size
SizeExpression ((forall a. ToCBOR a => Proxy a -> Size) -> Size)
SelectCases [Text]

classclass Typeable a => ToCBOR a where

Methods

toCBOR :: a -> Encoding
encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy a -> Size
encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [a] -> Size

Instances122ToCBOR, …

ToCBOR ByteArrayDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR ByteStringDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR ByteStringDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR ShortByteStringDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR IPv4Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR IPv6Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR MessageHashDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
ToCBOR PointDefined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
ToCBOR ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
ToCBOR SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
ToCBOR VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
ToCBOR ProofDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
ToCBOR SignKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
ToCBOR VerKeyDefined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
ToCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
ToCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block
ToCBOR EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR SlotIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR RelativeTimeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time
ToCBOR SlotLengthDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time
ToCBOR SystemStartDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Time
ToCBOR ByteArrayDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR EncodingDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR TermDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR VoidDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR IntegerDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR NaturalDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR Int32Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR Int64Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR BoolDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR DoubleDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR FloatDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR IntDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR WordDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR Word16Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR Word32Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR Word64Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR Word8Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR DataDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR · orphan
ToCBOR TextDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR UTCTimeDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR ()Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
ToCBOR (SigDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
ToCBOR (SigDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
ToCBOR (SigDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
ToCBOR (SignKeyDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
ToCBOR (SignKeyDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
ToCBOR (SignKeyDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.EcdsaSecp256k1
ToCBOR (VerKeyDSIGN Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
ToCBOR (VerKeyDSIGN Ed448DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed448
ToCBOR (VerKeyDSIGN MockDSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Mock
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.SchnorrSecp256k1
ToCBOR (CertVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
ToCBOR (CertVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
ToCBOR (CertVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
ToCBOR (CertVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
ToCBOR (SignKeyVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
ToCBOR (SignKeyVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
ToCBOR (SignKeyVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
ToCBOR (SignKeyVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
ToCBOR (VerKeyVRF MockVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Mock
ToCBOR (VerKeyVRF SimpleVRF)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Simple
ToCBOR (VerKeyVRF PraosVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.Praos
ToCBOR (VerKeyVRF PraosBatchCompatVRF)Defined in cardano-crypto-praos-2.2.4.0 · Cardano.Crypto.VRF.PraosBatchCompat
ToCBOR a => ToCBOR (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
ToCBOR a => ToCBOR (StrictSeq a)Defined in cardano-strict-containers-0.1.6.0 · Data.Sequence.Strict
ToCBOR a => ToCBOR (Seq a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR a => ToCBOR (NonEmpty a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR a => ToCBOR (Maybe a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR a => ToCBOR (Ratio a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR a => ToCBOR (Vector a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
ToCBOR a => ToCBOR [a]Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
BLS12381CurveConstraints curve => ToCBOR (SigDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
BLS12381CurveConstraints curve => ToCBOR (SignKeyDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
BLS12381CurveConstraints curve => ToCBOR (VerKeyDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
DSIGNMAlgorithm d => ToCBOR (SigKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
DSIGNMAlgorithm d => ToCBOR (VerKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
UnsoundDSIGNMAlgorithm d => ToCBOR (UnsoundPureSignKeyKES (SingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Single
Typeable v => ToCBOR (OutputVRF v)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
Typeable xs => ToCBOR (LengthOf xs)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
TypeError ('Text "CBOR encoding would violate mlocking guarantees") => ToCBOR (SignKeyDSIGNM Ed25519DSIGN)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.Ed25519
KnownNat n => ToCBOR (PackedBytes n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PackedBytes.Internal
KnownNat n => ToCBOR (PinnedSizedBytes n)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.PinnedSizedBytes
KnownNat t => ToCBOR (SigKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => ToCBOR (UnsoundPureSignKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
KnownNat t => ToCBOR (VerKeyKES (MockKES t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Mock
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) => ToCBOR (PossessionProofDSIGN (BLS12381DSIGN curve))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.DSIGN.BLS12381.Internal
(DSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => ToCBOR (VerKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(DSIGNMAlgorithm d, KnownNat (SigSizeKES (CompactSingleKES d))) => ToCBOR (SigKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => ToCBOR (SigKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN d * t)) => ToCBOR (VerKeyKES (SimpleKES d t))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Simple
(UnsoundDSIGNMAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) => ToCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSingle
(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (CompactSumKES h d)) => ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KESAlgorithm (SumKES h d)) => ToCBOR (UnsoundPureSignKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => ToCBOR (SigKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d) => ToCBOR (VerKeyKES (SumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.Sum
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => ToCBOR (SigKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KESAlgorithm (CompactSumKES h d)) => ToCBOR (VerKeyKES (CompactSumKES h d))Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.KES.CompactSum
(Ord a, ToCBOR a) => ToCBOR (Set a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(Serialise t, Typeable t) => ToCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot
ToCBOR (Tokens -> Tokens)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
Typeable a => ToCBOR (Fixed a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b) => ToCBOR (Either a b)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b) => ToCBOR (a, b)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(HashAlgorithm h, Typeable a) => ToCBOR (Hash h a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.Hash.Class
(VRFAlgorithm v, Typeable a) => ToCBOR (CertifiedVRF v a)Defined in cardano-crypto-class-2.5.1.0 · Cardano.Crypto.VRF.Class
(Ord k, ToCBOR k, ToCBOR v) => ToCBOR (Map k v)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b, ToCBOR c) => ToCBOR (a, b, c)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(Typeable s, ToCBOR a) => ToCBOR (Tagged s a)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d) => ToCBOR (a, b, c, d)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e) => ToCBOR (a, b, c, d, e)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f) => ToCBOR (a, b, c, d, e, f)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g) => ToCBOR (a, b, c, d, e, f, g)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g, ToCBOR h) => ToCBOR (a, b, c, d, e, f, g, h)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR

datadata Annotated b a

Constructors

Annotated
- unAnnotated :: !b
- annotation :: !a

Instances14Bifunctor, Functor, Eq, Ord, Show, Generic, …

Bifunctor AnnotatedDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Functor (Annotated b)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
(Eq b, Eq a) => Eq (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
(Eq a, Ord b) => Ord (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
(Show b, Show a) => Show (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Generic (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
(NFData b, NFData a) => NFData (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
FromJSON b => FromJSON (Annotated b ())Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
ToJSON b => ToJSON (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
(NoThunks b, NoThunks a) => NoThunks (Annotated b a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Decoded (Annotated b ByteString)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
DecCBOR a => DecCBOR (Annotated a ByteString)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
type Rep (Annotated b a) = D1 ('MetaData "Annotated" "Cardano.Ledger.Binary.Decoding.Annotated" "cardano-ledger-binary-1.9.1.0-5C4kxjRRLv0wBCVoWZpjN" 'False) (C1 ('MetaCons "Annotated" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAnnotated") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
type BaseType (Annotated b ByteString) = bDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated

newtypenewtype Annotator a

Constructors

Annotator
- runAnnotator :: FullByteString -> Either DecoderError a

Instances5Monad, Functor, MonadFail, Applicative, DecCBOR

Monad AnnotatorDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Functor AnnotatorDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
MonadFail AnnotatorDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Applicative AnnotatorDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
DecCBOR (Annotator Data)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated

familytype family BaseType t

Instances1BaseType

type BaseType (Annotated b ByteString) = bDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated

datadata ByteSpan

Constructors

ByteSpan !ByteOffset !ByteOffset

Instances4Show, Generic, ToJSON, Rep

Show ByteSpanDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Generic ByteSpanDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
ToJSON ByteSpanDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
type Rep ByteSpan = D1 ('MetaData "ByteSpan" "Cardano.Ledger.Binary.Decoding.Annotated" "cardano-ledger-binary-1.9.1.0-5C4kxjRRLv0wBCVoWZpjN" 'False) (C1 ('MetaCons "ByteSpan" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteOffset) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteOffset)))Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated

classclass Decoded t where

Associated types

type family BaseType t

Methods

recoverBytes :: t -> ByteString

Instances1Decoded

Decoded (Annotated b ByteString)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated

newtypenewtype FullByteString

Constructors

Full ByteString

classclass Typeable a => DecCBOR a where

Methods

decCBOR :: Decoder s a
dropCBOR :: Proxy a -> Decoder s ()
label :: Proxy a -> Text

Instances92DecCBOR, …

DecCBOR ByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ByteStringDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ByteStringDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ShortByteStringDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR IPv4Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR IPv6Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR BitFieldDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR LeiosCertDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ProofDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR SignKeyDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR VerKeyDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR EpochIntervalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR SystemStartDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR SlicedByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR TermDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR VoidDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR IntegerDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR NaturalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Int16Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Int32Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Int64Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Int8Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR RationalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR BoolDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR DoubleDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR FloatDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR IntDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR WordDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Word16Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Word32Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Word64Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR Word8Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR DataDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ScriptContextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ScriptContextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ScriptContextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR TextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR UTCTimeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR ()Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DSIGNAlgorithm v => DecCBOR (SigDSIGN v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DSIGNAlgorithm v => DecCBOR (SignKeyDSIGN v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DSIGNAlgorithm v => DecCBOR (VerKeyDSIGN v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
KESAlgorithm k => DecCBOR (SigKES k)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
KESAlgorithm k => DecCBOR (VerKeyKES k)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (CertVRF MockVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (CertVRF SimpleVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (CertVRF PraosVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (SignKeyVRF MockVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (SignKeyVRF SimpleVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (SignKeyVRF PraosVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (VerKeyVRF MockVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (VerKeyVRF SimpleVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (VerKeyVRF PraosVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR (Annotator Data)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
DecCBOR a => DecCBOR (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
DecCBOR a => DecCBOR (StrictMaybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR (StrictSeq a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR (Seq a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR (NonEmpty a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR (Maybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR [a]Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR v => DecCBOR (IntMap v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
Typeable v => DecCBOR (OutputVRF v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
KnownNat n => DecCBOR (PackedBytes n)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, Storable a) => DecCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, Prim a) => DecCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, Unbox a) => DecCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBORGroup a, EncCBORGroup a) => DecCBOR (CBORGroup a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group
(Ord a, DecCBOR a) => DecCBOR (Set a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(Serialise t, Typeable t) => DecCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
DecCBOR a => DecCBOR (Annotated a ByteString)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Annotated
Typeable p => DecCBOR (Fixed p)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DSIGNAlgorithm v, Typeable a) => DecCBOR (SignedDSIGN v a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(HashAlgorithm h, Typeable a) => DecCBOR (Hash h a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(VRFAlgorithm v, Typeable a) => DecCBOR (CertifiedVRF v a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b) => DecCBOR (Either a b)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b) => DecCBOR (a, b)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(Ord k, DecCBOR k, DecCBOR v) => DecCBOR (Map k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b, DecCBOR c) => DecCBOR (a, b, c)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(Typeable s, DecCBOR a) => DecCBOR (Tagged s a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d) => DecCBOR (a, b, c, d)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(Ord k, DecCBOR k, DecCBOR a, Typeable kv, Typeable av, Vector kv k, Vector av a) => DecCBOR (VMap kv av k a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d, DecCBOR e) => DecCBOR (a, b, c, d, e)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d, DecCBOR e, DecCBOR f) => DecCBOR (a, b, c, d, e, f)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
(DecCBOR a, DecCBOR b, DecCBOR c, DecCBOR d, DecCBOR e, DecCBOR f, DecCBOR g) => DecCBOR (a, b, c, d, e, f, g)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR

newtypenewtype Decoder s a

Instances4Monad, Functor, MonadFail, Applicative

Monad (Decoder s)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Decoder
Functor (Decoder s)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Decoder
MonadFail (Decoder s)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Decoder
Applicative (Decoder s)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Decoder

typetype Dropper s = Decoder s ()

classclass Monoid (Share a) => DecShareCBOR a where

Associated types

type family Share a

Methods

getShare :: a -> Share a
decShareCBOR :: Share a -> Decoder s a
decSharePlusCBOR :: StateT (Share a) (Decoder s) a

Instances5DecShareCBOR

(Ord k, DecCBOR k) => DecShareCBOR (Set k)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing
(Ord k, DecCBOR k, DecCBOR v) => DecShareCBOR (Map k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing
(Ord k, DecCBOR k, DecCBOR v) => DecShareCBOR (VMap VB VB k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing
(Ord k, DecCBOR k, DecCBOR v, Storable v) => DecShareCBOR (VMap VB VS k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing
(Ord k, DecCBOR k, DecCBOR v, Prim v) => DecShareCBOR (VMap VB VP k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing

datadata Intern a

Constructors

Intern
- internMaybe :: a -> Maybe a
- internWeight :: !Int

newtypenewtype Interns a

Constructors

Interns [Intern a]

Instances2Semigroup, Monoid

Semigroup (Interns a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing
Monoid (Interns a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sharing

datadata Sized a

Constructors

Sized
- sizedValue :: !a
- sizedSize :: Int64

Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq a => Eq (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
Show a => Show (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
Generic (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
NFData a => NFData (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
NoThunks a => NoThunks (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
DecCBOR a => DecCBOR (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
EncCBOR a => EncCBOR (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
type Rep (Sized a) = D1 ('MetaData "Sized" "Cardano.Ledger.Binary.Decoding.Sized" "cardano-ledger-binary-1.9.1.0-5C4kxjRRLv0wBCVoWZpjN" 'False) (C1 ('MetaCons "Sized" 'PrefixI 'True) (S1 ('MetaSel ('Just "sizedValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "sizedSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)))Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized

classclass EncCBOR a where

Methods

encCBOR :: a -> Encoding

Instances92EncCBOR, …

EncCBOR ByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ByteStringDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ByteStringDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ShortByteStringDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR IPv4Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR IPv6Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR BitFieldDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR LeiosCertDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ProofDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR SignKeyDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR VerKeyDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR PreEncodedDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR EncodingDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR EpochIntervalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR SystemStartDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR SlicedByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR EncodingDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR TermDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR VoidDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR IntegerDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR NaturalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Int16Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Int32Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Int64Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Int8Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR BoolDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR DoubleDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR FloatDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR IntDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR WordDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Word16Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Word32Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Word64Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR Word8Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR DataDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ScriptContextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ScriptContextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ScriptContextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR TextDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR UTCTimeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR ()Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
DSIGNAlgorithm v => EncCBOR (SigDSIGN v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
DSIGNAlgorithm v => EncCBOR (SignKeyDSIGN v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
DSIGNAlgorithm v => EncCBOR (VerKeyDSIGN v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
KESAlgorithm k => EncCBOR (SigKES k)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
KESAlgorithm k => EncCBOR (VerKeyKES k)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (CertVRF MockVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (CertVRF SimpleVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (CertVRF PraosVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (OutputVRF v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (SignKeyVRF MockVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (SignKeyVRF SimpleVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (SignKeyVRF PraosVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (VerKeyVRF MockVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (VerKeyVRF SimpleVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (VerKeyVRF PraosVRF)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Sized a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.Sized
EncCBOR a => EncCBOR (StrictMaybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (StrictSeq a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Seq a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Set a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (NonEmpty a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Maybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Ratio a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR [a]Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBORGroup a => EncCBOR (CBORGroup a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group
Serialise t => EncCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, Storable a) => EncCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, Prim a) => EncCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, Unbox a) => EncCBOR (Vector a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
DSIGNAlgorithm v => EncCBOR (SignedDSIGN v a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
HashAlgorithm h => EncCBOR (Hash h a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
VRFAlgorithm v => EncCBOR (CertifiedVRF v a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (Fixed p)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR (Tokens -> Tokens)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b) => EncCBOR (Either a b)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b) => EncCBOR (a, b)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR k, EncCBOR v) => EncCBOR (Map k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
EncCBOR a => EncCBOR (Tagged s a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b, EncCBOR c) => EncCBOR (a, b, c)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d) => EncCBOR (a, b, c, d)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR k, EncCBOR v, Vector kv k, Vector vv v) => EncCBOR (VMap kv vv k v)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e) => EncCBOR (a, b, c, d, e)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e, EncCBOR f) => EncCBOR (a, b, c, d, e, f)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e, EncCBOR f, EncCBOR g) => EncCBOR (a, b, c, d, e, f, g)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR

newtypenewtype PreEncoded

Constructors

PreEncoded
- unPreEncoded :: ByteString

Instances1EncCBOR

EncCBOR PreEncodedDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR

newtypenewtype Encoding

Instances3Semigroup, Monoid, EncCBOR

Semigroup EncodingDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.Encoder
Monoid EncodingDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.Encoder
EncCBOR EncodingDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR

newtypenewtype CBORGroup a

Constructors

CBORGroup
- unCBORGroup :: a

Instances4Eq, Show, DecCBOR, EncCBOR

Eq a => Eq (CBORGroup a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group
Show a => Show (CBORGroup a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group
(DecCBORGroup a, EncCBORGroup a) => DecCBOR (CBORGroup a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group
EncCBORGroup a => EncCBOR (CBORGroup a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group

classclass Typeable a => DecCBORGroup a where

Methods

decCBORGroup :: Decoder s a

Instances1DecCBORGroup

DecCBOR a => DecCBORGroup (a, a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group

classclass EncCBORGroup a where

Methods

encCBORGroup :: a -> Encoding
listLen :: Proxy a -> Word

Instances1EncCBORGroup

EncCBOR a => EncCBORGroup (a, a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Group

typetype MaxVersion = 13

typetype MinVersion = 0

newtypenewtype Version

Instances16Bounded, Enum, Eq, Ord, Show, NFData, …

Bounded VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
Enum VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
Eq VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
Ord VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
Show VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
NFData VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
Random VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
Uniform VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
UniformRange VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
FromJSON VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
ToJSON VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
NoThunks VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
FromCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
ToCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
DecCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR

newtypenewtype ByteArray

Constructors

BA
- unBA :: ByteArray

Instances10IsList, Eq, Ord, Show, IsString, FromCBOR, …

IsList ByteArrayDefined in cborg-0.2.10.0 · Codec.CBOR.ByteArray
Eq ByteArrayDefined in cborg-0.2.10.0 · Codec.CBOR.ByteArray
Ord ByteArrayDefined in cborg-0.2.10.0 · Codec.CBOR.ByteArray
Show ByteArrayDefined in cborg-0.2.10.0 · Codec.CBOR.ByteArray
IsString ByteArrayDefined in cborg-0.2.10.0 · Codec.CBOR.ByteArray
FromCBOR ByteArrayDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
ToCBOR ByteArrayDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
DecCBOR ByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR ByteArrayDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
type Item ByteArray = Word8Defined in cborg-0.2.10.0 · Codec.CBOR.ByteArray

typetype ByteOffset = Int64

Source#

A 0-based offset within the overall byte sequence that makes up the input to the Decoder.

This is an Int64 since Decoder is incremental and can decode more data than fits in memory at once. This is also compatible with the result type of length.

datadata DecodeAction s a

Source#

An action, representing a step for a decoder to taken and a continuation to invoke with the expected value.

Constructors

ConsumeWord (Word# -> ST s (DecodeAction s a))
ConsumeWord8 (Word# -> ST s (DecodeAction s a))
ConsumeWord16 (Word# -> ST s (DecodeAction s a))
ConsumeWord32 (Word# -> ST s (DecodeAction s a))
ConsumeNegWord (Word# -> ST s (DecodeAction s a))
ConsumeInt (Int# -> ST s (DecodeAction s a))
ConsumeInt8 (Int# -> ST s (DecodeAction s a))
ConsumeInt16 (Int# -> ST s (DecodeAction s a))
ConsumeInt32 (Int# -> ST s (DecodeAction s a))
ConsumeListLen (Int# -> ST s (DecodeAction s a))
ConsumeMapLen (Int# -> ST s (DecodeAction s a))
ConsumeTag (Word# -> ST s (DecodeAction s a))
ConsumeInteger (Integer -> ST s (DecodeAction s a))
ConsumeFloat (Float# -> ST s (DecodeAction s a))
ConsumeDouble (Double# -> ST s (DecodeAction s a))
ConsumeBytes (ByteString -> ST s (DecodeAction s a))
ConsumeByteArray (ByteArray -> ST s (DecodeAction s a))
ConsumeString (Text -> ST s (DecodeAction s a))
ConsumeUtf8ByteArray (ByteArray -> ST s (DecodeAction s a))
ConsumeBool (Bool -> ST s (DecodeAction s a))
ConsumeSimple (Word# -> ST s (DecodeAction s a))
ConsumeBytesIndef (ST s (DecodeAction s a))
ConsumeStringIndef (ST s (DecodeAction s a))
ConsumeListLenIndef (ST s (DecodeAction s a))
ConsumeMapLenIndef (ST s (DecodeAction s a))
ConsumeNull (ST s (DecodeAction s a))
ConsumeListLenOrIndef (Int# -> ST s (DecodeAction s a))
ConsumeMapLenOrIndef (Int# -> ST s (DecodeAction s a))
ConsumeBreakOr (Bool -> ST s (DecodeAction s a))
PeekTokenType (TokenType -> ST s (DecodeAction s a))
PeekAvailable (Int# -> ST s (DecodeAction s a))
PeekByteOffset (Int# -> ST s (DecodeAction s a))
ConsumeWordCanonical (Word# -> ST s (DecodeAction s a))
ConsumeWord8Canonical (Word# -> ST s (DecodeAction s a))
ConsumeWord16Canonical (Word# -> ST s (DecodeAction s a))
ConsumeWord32Canonical (Word# -> ST s (DecodeAction s a))
ConsumeNegWordCanonical (Word# -> ST s (DecodeAction s a))
ConsumeIntCanonical (Int# -> ST s (DecodeAction s a))
ConsumeInt8Canonical (Int# -> ST s (DecodeAction s a))
ConsumeInt16Canonical (Int# -> ST s (DecodeAction s a))
ConsumeInt32Canonical (Int# -> ST s (DecodeAction s a))
ConsumeListLenCanonical (Int# -> ST s (DecodeAction s a))
ConsumeMapLenCanonical (Int# -> ST s (DecodeAction s a))
ConsumeTagCanonical (Word# -> ST s (DecodeAction s a))
ConsumeIntegerCanonical (Integer -> ST s (DecodeAction s a))
ConsumeFloat16Canonical (Float# -> ST s (DecodeAction s a))
ConsumeFloatCanonical (Float# -> ST s (DecodeAction s a))
ConsumeDoubleCanonical (Double# -> ST s (DecodeAction s a))
ConsumeBytesCanonical (ByteString -> ST s (DecodeAction s a))
ConsumeByteArrayCanonical (ByteArray -> ST s (DecodeAction s a))
ConsumeStringCanonical (Text -> ST s (DecodeAction s a))
ConsumeUtf8ByteArrayCanonical (ByteArray -> ST s (DecodeAction s a))
ConsumeSimpleCanonical (Word# -> ST s (DecodeAction s a))
Fail String
Done a

datadata TokenType

Source#

The type of a token, which a decoder can ask for at an arbitrary time.

Instances5Bounded, Enum, Eq, Ord, Show

Bounded TokenTypeDefined in cborg-0.2.10.0 · Codec.CBOR.Decoding
Enum TokenTypeDefined in cborg-0.2.10.0 · Codec.CBOR.Decoding
Eq TokenTypeDefined in cborg-0.2.10.0 · Codec.CBOR.Decoding
Ord TokenTypeDefined in cborg-0.2.10.0 · Codec.CBOR.Decoding
Show TokenTypeDefined in cborg-0.2.10.0 · Codec.CBOR.Decoding

datadata Tokens

Source#

A flattened representation of a term, which is independent of any underlying binary representation, but which we later serialise into CBOR format.

Constructors

TkWord !Word Tokens
TkWord64 !Word64 Tokens
TkInt !Int Tokens
TkInt64 !Int64 Tokens
TkBytes !ByteString Tokens
TkBytesBegin Tokens
TkByteArray !SlicedByteArray Tokens
TkString !Text Tokens
TkUtf8ByteArray !SlicedByteArray Tokens
TkStringBegin Tokens
TkListLen !Word Tokens
TkListBegin Tokens
TkMapLen !Word Tokens
TkMapBegin Tokens
TkTag !Word Tokens
TkTag64 !Word64 Tokens
TkInteger !Integer Tokens
TkNull Tokens
TkUndef Tokens
TkBool !Bool Tokens
TkSimple !Word8 Tokens
TkFloat16 !Float Tokens
TkFloat32 !Float Tokens
TkFloat64 !Double Tokens
TkBreak Tokens
TkEncoded !ByteString Tokens
TkEnd

Instances4Eq, Show, ToCBOR, EncCBOR

Eq TokensDefined in cborg-0.2.10.0 · Codec.CBOR.Encoding
Show TokensDefined in cborg-0.2.10.0 · Codec.CBOR.Encoding
ToCBOR (Tokens -> Tokens)Defined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
EncCBOR (Tokens -> Tokens)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR

datadata DeserialiseFailure

Source#

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

Constructors

DeserialiseFailure ByteOffset String

Instances4Eq, Show, Exception, NFData

Eq DeserialiseFailureDefined in cborg-0.2.10.0 · Codec.CBOR.Read
Show DeserialiseFailureDefined in cborg-0.2.10.0 · Codec.CBOR.Read
Exception DeserialiseFailureDefined in cborg-0.2.10.0 · Codec.CBOR.Read
NFData DeserialiseFailureDefined in cborg-0.2.10.0 · Codec.CBOR.Read

datadata 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.

Constructors

Instances9Eq, Ord, Read, Show, Serialise, FromCBOR, …

Eq TermDefined in cborg-0.2.10.0 · Codec.CBOR.Term
Ord TermDefined in cborg-0.2.10.0 · Codec.CBOR.Term
Read TermDefined in cborg-0.2.10.0 · Codec.CBOR.Term
Show TermDefined in cborg-0.2.10.0 · Codec.CBOR.Term
Serialise TermDefined in serialise-0.2.6.1 · Codec.Serialise.Class
FromCBOR TermDefined in cardano-binary-1.9.1.0 · Cardano.Binary.FromCBOR
ToCBOR TermDefined in cardano-binary-1.9.1.0 · Cardano.Binary.ToCBOR
DecCBOR TermDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR TermDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR