Cardano.Ledger.Binary.Coders · cardano-ledger-binary-1.9.1.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