Modulecardano-ledger-binary-1.9.1.0

Cardano.Ledger.Binary.Coders

Synopsis

value <!
value <*!
value <?
value decode
value decodeDual
value decodeSparse
value duplicateKey
value field
value fieldA
value fieldAA
value fieldAGuarded
value fieldGuarded
value guardUntilAtLeast
value invalidField
value listDecodeA
value mapCoder
value mapDecodeA
value ofield
value ofieldA
value setDecodeA
value unusedRequiredKeys
value decodeRecordNamed
value decodeRecordNamedT
value decodeRecordSum
value !>
value encode
value encodeDual
value encodeKeyedStrictMaybe
value encodeKeyedStrictMaybeWith
value runE
value invalidKey
constructor Closed
data Decode
constructor Dense
data Density
data Field
constructor Open
constructor Sparse
data Wrapped
data Encode

Packagecardano-ledger-binary-1.9.1.0
Exports40
LicenceApache-2.0

value(<!)

:: Typeable a
=> Decode w1 (a -> t)
-> Decode (Closed w) a
-> Decode w1 t

value(<*!)

:: (Typeable a, Typeable t)
=> Decode w1 (Annotator (a -> t))
-> Decode (Closed d) (Annotator a)
-> Decode w1 (Annotator t)

value(<?)

:: Typeable a
=> Decode w1 (a -> Either String t)
-> Decode (Closed d) a
-> Decode w1 t

valuedecode :: Typeable t => Decode w t -> Decoder s t

valuedecodeDual :: (EncCBOR t, DecCBOR t) => Decode (Closed Dense) t

valuedecodeSparse

:: Typeable a
=> String
-> a
-> Word -> Field a
-> [(Word, String)]
-> Decoder s a

valueduplicateKey :: String -> Word -> Decoder s a

valuefield :: Typeable x => (x -> t -> t) -> Decode (Closed d) x -> Field t

valuefieldA

:: (Typeable x, Applicative ann)
=> x -> t -> t
-> Decode (Closed d) x
-> Field (ann t)

valuefieldAA

:: (Typeable x, Typeable ann, Applicative ann)
=> x -> t -> t
-> Decode (Closed d) (ann x)
-> Field (ann t)

valuefieldAGuarded

:: (Typeable x, Applicative ann)
=> String
-> x -> Bool
-> x -> t -> t
-> Decode (Closed d) x
-> Field (ann t)

valuefieldGuarded

:: Typeable x
=> String
-> x -> Bool
-> x -> t -> t
-> Decode (Closed d) x
-> Field t

valueguardUntilAtLeast

:: DecCBOR a
=> String
-> Version
-> Decode (Closed Dense) a

valueinvalidField :: Word -> Field t

valuelistDecodeA

:: Typeable x
=> Decode (Closed Dense) (Annotator x)
-> Decode (Closed Dense) (Annotator [x])

valuemapCoder :: Typeable a => (a -> b) -> Decode w a -> Decode w b

valuemapDecodeA

:: (Ord k, Typeable k, Typeable v)
=> Decode (Closed Dense) (Annotator k)
-> Decode (Closed Dense) (Annotator v)
-> Decode (Closed Dense) (Annotator (Map k v))

valueofield

:: Typeable x
=> StrictMaybe x -> t -> t
-> Decode (Closed d) x
-> Field t

valueofieldA

:: (Typeable x, Applicative ann)
=> StrictMaybe x -> t -> t
-> Decode (Closed d) x
-> Field (ann t)

valuesetDecodeA

:: (Ord x, Typeable x)
=> Decode (Closed Dense) (Annotator x)
-> Decode (Closed Dense) (Annotator (Set x))

valueunusedRequiredKeys :: Set Word -> [(Word, String)] -> String -> Decoder s a

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

value(!>) :: Encode w (a -> t) -> Encode (Closed r) a -> Encode w t

valueencode :: Encode w t -> Encoding

valueencodeDual :: (EncCBOR t, DecCBOR t) => t -> Encode (Closed Dense) t

valueencodeKeyedStrictMaybe

:: EncCBOR a
=> Word
-> StrictMaybe a
-> Encode (Closed Sparse) (StrictMaybe a)

valueencodeKeyedStrictMaybeWith

:: Word
-> a -> Encoding
-> StrictMaybe a
-> Encode (Closed Sparse) (StrictMaybe a)

valuerunE :: Encode w t -> t

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

constructorClosed :: Density -> Wrapped

datadata Decode (w :: Wrapped) t where

Constructors

RecD :: t -> Decode (Closed Dense) t
SumD :: t -> Decode Open t
Summands :: Text -> (Word -> Decode Open t) -> Decode (Closed Dense) t
SparseKeyed :: Typeable t => String -> t -> (Word -> Field t) -> [(Word, String)] -> Decode (Closed Dense) t
KeyedD :: t -> Decode (Closed Sparse) t
From :: DecCBOR t => Decode w t
FromGroup :: (EncCBORGroup t, DecCBORGroup t) => Decode w t
D :: (forall s. Decoder s t) -> Decode (Closed Dense) t
ApplyD :: Typeable a => Decode w (a -> t) -> Decode (Closed d) a -> Decode w t
Invalid :: Word -> Decode w t
Map :: Typeable a => (a -> t) -> Decode w a -> Decode w t
TagD :: Word -> Decode (Closed x) t -> Decode (Closed x) t
Emit :: t -> Decode w t
Ann :: Typeable t1 => Decode w t1 -> Decode w (Annotator t1)
ApplyAnn :: (Typeable a, Typeable t1) => Decode w (Annotator (a -> t1)) -> Decode (Closed d) (Annotator a) -> Decode w (Annotator t1)
ApplyErr :: Typeable a => Decode w (a -> Either String t) -> Decode (Closed d) a -> Decode w t

constructorDense

datadata Density

Dense Sparse

datadata Field t where

Constructors

Field :: (x -> t -> t) -> (forall s. Decoder s x) -> Field t

constructorOpen :: Wrapped

constructorSparse

datadata Wrapped where

Constructors

Open :: Wrapped
Closed :: Density -> Wrapped

datadata Encode (w :: Wrapped) t where

Constructors

Rec :: t -> Encode (Closed Dense) t
Sum :: t -> Word -> Encode Open t
Keyed :: t -> Encode (Closed Sparse) t
To :: EncCBOR t => t -> Encode (Closed Dense) t
ToGroup :: EncCBORGroup t => t -> Encode (Closed Dense) t
E :: (t -> Encoding) -> t -> Encode (Closed Dense) t
MapE :: (a -> t) -> Encode w a -> Encode w t
OmitC :: t -> Encode w t
Tag :: Word -> Encode (Closed x) t -> Encode (Closed x) t
Omit :: (t -> Bool) -> Encode (Closed Sparse) t -> Encode (Closed Sparse) t
Key :: Word -> Encode (Closed Dense) t -> Encode (Closed Sparse) t
ApplyE :: Encode w (a -> t) -> Encode (Closed r) a -> Encode w t