Modulecardano-ledger-binary-1.9.1.0

Cardano.Ledger.Binary.Decoding

Synopsis

value cborError
value toCborError
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 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 toStrictByteString
data DecoderError
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
type MaxVersion
type MinVersion
newtype Version
newtype ByteArray
type ByteOffset
data DecodeAction
data TokenType

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

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

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

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

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

valuetoStrictByteString

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

Source#

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

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

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

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