Codec.Serialise.Class

The Serialise class allows you to encode a given type into a CBOR object, or decode a CBOR object into the user-specified type.

The Serialise class

class Serialise a where

Types that are instances of the Serialise class allow values to be quickly encoded or decoded directly to a CBOR representation, for object transmission or storage.

Since: 0.2.0.0

Methods

encode :: a -> Encoding

Definition for encoding a given type into a binary representation, using the Encoding Monoid.

Since: 0.2.0.0

encode :: (Generic a, GSerialiseEncode (Rep a)) => a -> Encoding

Definition for encoding a given type into a binary representation, using the Encoding Monoid.

Since: 0.2.0.0

decode :: Decoder s a

Definition of a given Decoder for a type.

Since: 0.2.0.0

decode :: (Generic a, GSerialiseDecode (Rep a)) => Decoder s a

Definition of a given Decoder for a type.

Since: 0.2.0.0

encodeList :: [a] -> Encoding

Utility to support specialised encoding for some list type - used for Char/String instances in this package.

Since: 0.2.0.0

decodeList :: Decoder s [a]

Utility to support specialised decoding for some list type - used for Char/String instances in this package.

Since: 0.2.0.0

Instances

Serialise Bool

Since: 0.2.0.0

Methods

encode :: Bool -> Encoding

decode :: Decoder s Bool

encodeList :: [Bool] -> Encoding

decodeList :: Decoder s [Bool]

Serialise Char

Since: 0.2.0.0

Methods

encode :: Char -> Encoding

decode :: Decoder s Char

encodeList :: [Char] -> Encoding

decodeList :: Decoder s [Char]

Serialise Double

Since: 0.2.0.0

Methods

encode :: Double -> Encoding

decode :: Decoder s Double

encodeList :: [Double] -> Encoding

decodeList :: Decoder s [Double]

Serialise Float

Since: 0.2.0.0

Methods

encode :: Float -> Encoding

decode :: Decoder s Float

encodeList :: [Float] -> Encoding

decodeList :: Decoder s [Float]

Serialise Int

Since: 0.2.0.0

Methods

encode :: Int -> Encoding

decode :: Decoder s Int

encodeList :: [Int] -> Encoding

decodeList :: Decoder s [Int]

Serialise Int8

Since: 0.2.0.0

Methods

encode :: Int8 -> Encoding

decode :: Decoder s Int8

encodeList :: [Int8] -> Encoding

decodeList :: Decoder s [Int8]

Serialise Int16

Since: 0.2.0.0

Methods

encode :: Int16 -> Encoding

decode :: Decoder s Int16

encodeList :: [Int16] -> Encoding

decodeList :: Decoder s [Int16]

Serialise Int32

Since: 0.2.0.0

Methods

encode :: Int32 -> Encoding

decode :: Decoder s Int32

encodeList :: [Int32] -> Encoding

decodeList :: Decoder s [Int32]

Serialise Int64

Since: 0.2.0.0

Methods

encode :: Int64 -> Encoding

decode :: Decoder s Int64

encodeList :: [Int64] -> Encoding

decodeList :: Decoder s [Int64]

Serialise Integer

Since: 0.2.0.0

Methods

encode :: Integer -> Encoding

decode :: Decoder s Integer

encodeList :: [Integer] -> Encoding

decodeList :: Decoder s [Integer]

Serialise Ordering

Since: 0.2.0.0

Methods

encode :: Ordering -> Encoding

decode :: Decoder s Ordering

encodeList :: [Ordering] -> Encoding

decodeList :: Decoder s [Ordering]

Serialise Word

Since: 0.2.0.0

Methods

encode :: Word -> Encoding

decode :: Decoder s Word

encodeList :: [Word] -> Encoding

decodeList :: Decoder s [Word]

Serialise Word8

Since: 0.2.0.0

Methods

encode :: Word8 -> Encoding

decode :: Decoder s Word8

encodeList :: [Word8] -> Encoding

decodeList :: Decoder s [Word8]

Serialise Word16

Since: 0.2.0.0

Methods

encode :: Word16 -> Encoding

decode :: Decoder s Word16

encodeList :: [Word16] -> Encoding

decodeList :: Decoder s [Word16]

Serialise Word32

Since: 0.2.0.0

Methods

encode :: Word32 -> Encoding

decode :: Decoder s Word32

encodeList :: [Word32] -> Encoding

decodeList :: Decoder s [Word32]

Serialise Word64

Since: 0.2.0.0

Methods

encode :: Word64 -> Encoding

decode :: Decoder s Word64

encodeList :: [Word64] -> Encoding

decodeList :: Decoder s [Word64]

Serialise TypeRep

Since: 0.2.0.0

Methods

encode :: TypeRep -> Encoding

decode :: Decoder s TypeRep

encodeList :: [TypeRep] -> Encoding

decodeList :: Decoder s [TypeRep]

Serialise ()

Since: 0.2.0.0

Methods

encode :: () -> Encoding

decode :: Decoder s ()

encodeList :: [()] -> Encoding

decodeList :: Decoder s [()]

Serialise TyCon

Since: 0.2.0.0

Methods

encode :: TyCon -> Encoding

decode :: Decoder s TyCon

encodeList :: [TyCon] -> Encoding

decodeList :: Decoder s [TyCon]

Serialise Natural

Since: 0.2.0.0

Methods

encode :: Natural -> Encoding

decode :: Decoder s Natural

encodeList :: [Natural] -> Encoding

decodeList :: Decoder s [Natural]

Serialise Version

Since: 0.2.0.0

Methods

encode :: Version -> Encoding

decode :: Decoder s Version

encodeList :: [Version] -> Encoding

decodeList :: Decoder s [Version]

Serialise ExitCode

Since: 0.2.0.0

Methods

encode :: ExitCode -> Encoding

decode :: Decoder s ExitCode

encodeList :: [ExitCode] -> Encoding

decodeList :: Decoder s [ExitCode]

Serialise CChar

Since: 0.2.0.0

Methods

encode :: CChar -> Encoding

decode :: Decoder s CChar

encodeList :: [CChar] -> Encoding

decodeList :: Decoder s [CChar]

Serialise CSChar

Since: 0.2.0.0

Methods

encode :: CSChar -> Encoding

decode :: Decoder s CSChar

encodeList :: [CSChar] -> Encoding

decodeList :: Decoder s [CSChar]

Serialise CUChar

Since: 0.2.0.0

Methods

encode :: CUChar -> Encoding

decode :: Decoder s CUChar

encodeList :: [CUChar] -> Encoding

decodeList :: Decoder s [CUChar]

Serialise CShort

Since: 0.2.0.0

Methods

encode :: CShort -> Encoding

decode :: Decoder s CShort

encodeList :: [CShort] -> Encoding

decodeList :: Decoder s [CShort]

Serialise CUShort

Since: 0.2.0.0

Methods

encode :: CUShort -> Encoding

decode :: Decoder s CUShort

encodeList :: [CUShort] -> Encoding

decodeList :: Decoder s [CUShort]

Serialise CInt

Since: 0.2.0.0

Methods

encode :: CInt -> Encoding

decode :: Decoder s CInt

encodeList :: [CInt] -> Encoding

decodeList :: Decoder s [CInt]

Serialise CUInt

Since: 0.2.0.0

Methods

encode :: CUInt -> Encoding

decode :: Decoder s CUInt

encodeList :: [CUInt] -> Encoding

decodeList :: Decoder s [CUInt]

Serialise CLong

Since: 0.2.0.0

Methods

encode :: CLong -> Encoding

decode :: Decoder s CLong

encodeList :: [CLong] -> Encoding

decodeList :: Decoder s [CLong]

Serialise CULong

Since: 0.2.0.0

Methods

encode :: CULong -> Encoding

decode :: Decoder s CULong

encodeList :: [CULong] -> Encoding

decodeList :: Decoder s [CULong]

Serialise CLLong

Since: 0.2.0.0

Methods

encode :: CLLong -> Encoding

decode :: Decoder s CLLong

encodeList :: [CLLong] -> Encoding

decodeList :: Decoder s [CLLong]

Serialise CULLong

Since: 0.2.0.0

Methods

encode :: CULLong -> Encoding

decode :: Decoder s CULLong

encodeList :: [CULLong] -> Encoding

decodeList :: Decoder s [CULLong]

Serialise CFloat

Since: 0.2.0.0

Methods

encode :: CFloat -> Encoding

decode :: Decoder s CFloat

encodeList :: [CFloat] -> Encoding

decodeList :: Decoder s [CFloat]

Serialise CDouble

Since: 0.2.0.0

Methods

encode :: CDouble -> Encoding

decode :: Decoder s CDouble

encodeList :: [CDouble] -> Encoding

decodeList :: Decoder s [CDouble]

Serialise CPtrdiff

Since: 0.2.0.0

Methods

encode :: CPtrdiff -> Encoding

decode :: Decoder s CPtrdiff

encodeList :: [CPtrdiff] -> Encoding

decodeList :: Decoder s [CPtrdiff]

Serialise CSize

Since: 0.2.0.0

Methods

encode :: CSize -> Encoding

decode :: Decoder s CSize

encodeList :: [CSize] -> Encoding

decodeList :: Decoder s [CSize]

Serialise CWchar

Since: 0.2.0.0

Methods

encode :: CWchar -> Encoding

decode :: Decoder s CWchar

encodeList :: [CWchar] -> Encoding

decodeList :: Decoder s [CWchar]

Serialise CSigAtomic

Since: 0.2.0.0

Methods

encode :: CSigAtomic -> Encoding

decode :: Decoder s CSigAtomic

encodeList :: [CSigAtomic] -> Encoding

decodeList :: Decoder s [CSigAtomic]

Serialise CClock

Since: 0.2.0.0

Methods

encode :: CClock -> Encoding

decode :: Decoder s CClock

encodeList :: [CClock] -> Encoding

decodeList :: Decoder s [CClock]

Serialise CTime

Since: 0.2.0.0

Methods

encode :: CTime -> Encoding

decode :: Decoder s CTime

encodeList :: [CTime] -> Encoding

decodeList :: Decoder s [CTime]

Serialise CUSeconds

Since: 0.2.0.0

Methods

encode :: CUSeconds -> Encoding

decode :: Decoder s CUSeconds

encodeList :: [CUSeconds] -> Encoding

decodeList :: Decoder s [CUSeconds]

Serialise CSUSeconds

Since: 0.2.0.0

Methods

encode :: CSUSeconds -> Encoding

decode :: Decoder s CSUSeconds

encodeList :: [CSUSeconds] -> Encoding

decodeList :: Decoder s [CSUSeconds]

Serialise CIntPtr

Since: 0.2.0.0

Methods

encode :: CIntPtr -> Encoding

decode :: Decoder s CIntPtr

encodeList :: [CIntPtr] -> Encoding

decodeList :: Decoder s [CIntPtr]

Serialise CUIntPtr

Since: 0.2.0.0

Methods

encode :: CUIntPtr -> Encoding

decode :: Decoder s CUIntPtr

encodeList :: [CUIntPtr] -> Encoding

decodeList :: Decoder s [CUIntPtr]

Serialise CIntMax

Since: 0.2.0.0

Methods

encode :: CIntMax -> Encoding

decode :: Decoder s CIntMax

encodeList :: [CIntMax] -> Encoding

decodeList :: Decoder s [CIntMax]

Serialise CUIntMax

Since: 0.2.0.0

Methods

encode :: CUIntMax -> Encoding

decode :: Decoder s CUIntMax

encodeList :: [CUIntMax] -> Encoding

decodeList :: Decoder s [CUIntMax]

Serialise All

Since: 0.2.0.0

Methods

encode :: All -> Encoding

decode :: Decoder s All

encodeList :: [All] -> Encoding

decodeList :: Decoder s [All]

Serialise Any

Since: 0.2.0.0

Methods

encode :: Any -> Encoding

decode :: Decoder s Any

encodeList :: [Any] -> Encoding

decodeList :: Decoder s [Any]

Serialise Fingerprint

Since: 0.2.0.0

Methods

encode :: Fingerprint -> Encoding

decode :: Decoder s Fingerprint

encodeList :: [Fingerprint] -> Encoding

decodeList :: Decoder s [Fingerprint]

Serialise ShortByteString

Since: 0.2.0.0

Methods

encode :: ShortByteString -> Encoding

decode :: Decoder s ShortByteString

encodeList :: [ShortByteString] -> Encoding

decodeList :: Decoder s [ShortByteString]

Serialise ByteString

Since: 0.2.0.0

Methods

encode :: ByteString -> Encoding

decode :: Decoder s ByteString

encodeList :: [ByteString] -> Encoding

decodeList :: Decoder s [ByteString]

Serialise ByteString

Since: 0.2.0.0

Methods

encode :: ByteString -> Encoding

decode :: Decoder s ByteString

encodeList :: [ByteString] -> Encoding

decodeList :: Decoder s [ByteString]

Serialise Text

Since: 0.2.0.0

Methods

encode :: Text -> Encoding

decode :: Decoder s Text

encodeList :: [Text] -> Encoding

decodeList :: Decoder s [Text]

Serialise Term

Since: 0.2.0.0

Methods

encode :: Term -> Encoding

decode :: Decoder s Term

encodeList :: [Term] -> Encoding

decodeList :: Decoder s [Term]

Serialise IntSet

Since: 0.2.0.0

Methods

encode :: IntSet -> Encoding

decode :: Decoder s IntSet

encodeList :: [IntSet] -> Encoding

decodeList :: Decoder s [IntSet]

Serialise Half

Since: 0.2.0.0

Methods

encode :: Half -> Encoding

decode :: Decoder s Half

encodeList :: [Half] -> Encoding

decodeList :: Decoder s [Half]

Serialise Text

Since: 0.2.0.0

Methods

encode :: Text -> Encoding

decode :: Decoder s Text

encodeList :: [Text] -> Encoding

decodeList :: Decoder s [Text]

Serialise UTCTime

UTCTime is encoded using the extended time format which is currently in Internet Draft state, https://tools.ietf.org/html/draft-bormann-cbor-time-tag-00.

Since: 0.2.0.0

Methods

encode :: UTCTime -> Encoding

decode :: Decoder s UTCTime

encodeList :: [UTCTime] -> Encoding

decodeList :: Decoder s [UTCTime]

Serialise a => Serialise [a]

Since: 0.2.0.0

Methods

encode :: [a] -> Encoding

decode :: Decoder s [a]

encodeList :: [[a]] -> Encoding

decodeList :: Decoder s [[a]]

Serialise a => Serialise (Maybe a)

Since: 0.2.0.0

Methods

encode :: Maybe a -> Encoding

decode :: Decoder s (Maybe a)

encodeList :: [Maybe a] -> Encoding

decodeList :: Decoder s [Maybe a]

(Serialise a, Integral a) => Serialise (Ratio a)

Since: 0.2.0.0

Methods

encode :: Ratio a -> Encoding

decode :: Decoder s (Ratio a)

encodeList :: [Ratio a] -> Encoding

decodeList :: Decoder s [Ratio a]

Serialise a => Serialise (Identity a)

Since: 0.2.0.0

Methods

encode :: Identity a -> Encoding

decode :: Decoder s (Identity a)

encodeList :: [Identity a] -> Encoding

decodeList :: Decoder s [Identity a]

Serialise a => Serialise (Min a)

Since: 0.2.0.0

Methods

encode :: Min a -> Encoding

decode :: Decoder s (Min a)

encodeList :: [Min a] -> Encoding

decodeList :: Decoder s [Min a]

Serialise a => Serialise (Max a)

Since: 0.2.0.0

Methods

encode :: Max a -> Encoding

decode :: Decoder s (Max a)

encodeList :: [Max a] -> Encoding

decodeList :: Decoder s [Max a]

Serialise a => Serialise (First a)

Since: 0.2.0.0

Methods

encode :: First a -> Encoding

decode :: Decoder s (First a)

encodeList :: [First a] -> Encoding

decodeList :: Decoder s [First a]

Serialise a => Serialise (Last a)

Since: 0.2.0.0

Methods

encode :: Last a -> Encoding

decode :: Decoder s (Last a)

encodeList :: [Last a] -> Encoding

decodeList :: Decoder s [Last a]

Serialise a => Serialise (WrappedMonoid a)

Methods

encode :: WrappedMonoid a -> Encoding

decode :: Decoder s (WrappedMonoid a)

encodeList :: [WrappedMonoid a] -> Encoding

decodeList :: Decoder s [WrappedMonoid a]

Serialise a => Serialise (Option a)

Since: 0.2.0.0

Methods

encode :: Option a -> Encoding

decode :: Decoder s (Option a)

encodeList :: [Option a] -> Encoding

decodeList :: Decoder s [Option a]

Serialise a => Serialise (NonEmpty a)

Since: 0.2.0.0

Methods

encode :: NonEmpty a -> Encoding

decode :: Decoder s (NonEmpty a)

encodeList :: [NonEmpty a] -> Encoding

decodeList :: Decoder s [NonEmpty a]

Serialise (Fixed e)

Values are serialised in units of least precision represented as Integer.

Since: 0.2.0.0

Methods

encode :: Fixed e -> Encoding

decode :: Decoder s (Fixed e)

encodeList :: [Fixed e] -> Encoding

decodeList :: Decoder s [Fixed e]

Serialise a => Serialise (Complex a)

Since: 0.2.0.0

Methods

encode :: Complex a -> Encoding

decode :: Decoder s (Complex a)

encodeList :: [Complex a] -> Encoding

decodeList :: Decoder s [Complex a]

Serialise a => Serialise (ZipList a)

Since: 0.2.0.0

Methods

encode :: ZipList a -> Encoding

decode :: Decoder s (ZipList a)

encodeList :: [ZipList a] -> Encoding

decodeList :: Decoder s [ZipList a]

Serialise a => Serialise (Dual a)

Since: 0.2.0.0

Methods

encode :: Dual a -> Encoding

decode :: Decoder s (Dual a)

encodeList :: [Dual a] -> Encoding

decodeList :: Decoder s [Dual a]

Serialise a => Serialise (Sum a)

Since: 0.2.0.0

Methods

encode :: Sum a -> Encoding

decode :: Decoder s (Sum a)

encodeList :: [Sum a] -> Encoding

decodeList :: Decoder s [Sum a]

Serialise a => Serialise (Product a)

Since: 0.2.0.0

Methods

encode :: Product a -> Encoding

decode :: Decoder s (Product a)

encodeList :: [Product a] -> Encoding

decodeList :: Decoder s [Product a]

Serialise a => Serialise (First a)

Since: 0.2.0.0

Methods

encode :: First a -> Encoding

decode :: Decoder s (First a)

encodeList :: [First a] -> Encoding

decodeList :: Decoder s [First a]

Serialise a => Serialise (Last a)

Since: 0.2.0.0

Methods

encode :: Last a -> Encoding

decode :: Decoder s (Last a)

encodeList :: [Last a] -> Encoding

decodeList :: Decoder s [Last a]

Serialise a => Serialise (Down a)

Since: 0.2.0.0

Methods

encode :: Down a -> Encoding

decode :: Decoder s (Down a)

encodeList :: [Down a] -> Encoding

decodeList :: Decoder s [Down a]

Serialise a => Serialise (IntMap a)

Since: 0.2.0.0

Methods

encode :: IntMap a -> Encoding

decode :: Decoder s (IntMap a)

encodeList :: [IntMap a] -> Encoding

decodeList :: Decoder s [IntMap a]

Serialise a => Serialise (Tree a)

Since: 0.2.0.0

Methods

encode :: Tree a -> Encoding

decode :: Decoder s (Tree a)

encodeList :: [Tree a] -> Encoding

decodeList :: Decoder s [Tree a]

Serialise a => Serialise (Seq a)

Since: 0.2.0.0

Methods

encode :: Seq a -> Encoding

decode :: Decoder s (Seq a)

encodeList :: [Seq a] -> Encoding

decodeList :: Decoder s [Seq a]

(Ord a, Serialise a) => Serialise (Set a)

Since: 0.2.0.0

Methods

encode :: Set a -> Encoding

decode :: Decoder s (Set a)

encodeList :: [Set a] -> Encoding

decodeList :: Decoder s [Set a]

(Serialise a, Hashable a, Eq a) => Serialise (HashSet a)

Since: 0.2.0.0

Methods

encode :: HashSet a -> Encoding

decode :: Decoder s (HashSet a)

encodeList :: [HashSet a] -> Encoding

decodeList :: Decoder s [HashSet a]

Serialise a => Serialise (Vector a)

Since: 0.2.0.0

Methods

encode :: Vector a -> Encoding

decode :: Decoder s (Vector a)

encodeList :: [Vector a] -> Encoding

decodeList :: Decoder s [Vector a]

(Serialise a, Storable a) => Serialise (Vector a)

Since: 0.2.0.0

Methods

encode :: Vector a -> Encoding

decode :: Decoder s (Vector a)

encodeList :: [Vector a] -> Encoding

decodeList :: Decoder s [Vector a]

(Serialise a, Unbox a) => Serialise (Vector a)

Since: 0.2.0.0

Methods

encode :: Vector a -> Encoding

decode :: Decoder s (Vector a)

encodeList :: [Vector a] -> Encoding

decodeList :: Decoder s [Vector a]

(Serialise a, Prim a) => Serialise (Vector a)

Since: 0.2.0.0

Methods

encode :: Vector a -> Encoding

decode :: Decoder s (Vector a)

encodeList :: [Vector a] -> Encoding

decodeList :: Decoder s [Vector a]

(Serialise a, Serialise b) => Serialise (Either a b)

Since: 0.2.0.0

Methods

encode :: Either a b -> Encoding

decode :: Decoder s (Either a b)

encodeList :: [Either a b] -> Encoding

decodeList :: Decoder s [Either a b]

(Serialise a, Serialise b) => Serialise (a, b)

Since: 0.2.0.0

Methods

encode :: (a, b) -> Encoding

decode :: Decoder s (a, b)

encodeList :: [(a, b)] -> Encoding

decodeList :: Decoder s [(a, b)]

Serialise (Proxy k a)

Since: 0.2.0.0

Methods

encode :: Proxy k a -> Encoding

decode :: Decoder s (Proxy k a)

encodeList :: [Proxy k a] -> Encoding

decodeList :: Decoder s [Proxy k a]

(Ord k, Serialise k, Serialise v) => Serialise (Map k v)

Since: 0.2.0.0

Methods

encode :: Map k v -> Encoding

decode :: Decoder s (Map k v)

encodeList :: [Map k v] -> Encoding

decodeList :: Decoder s [Map k v]

(Serialise k, Hashable k, Eq k, Serialise v) => Serialise (HashMap k v)

Since: 0.2.0.0

Methods

encode :: HashMap k v -> Encoding

decode :: Decoder s (HashMap k v)

encodeList :: [HashMap k v] -> Encoding

decodeList :: Decoder s [HashMap k v]

(Serialise a, Serialise b, Serialise c) => Serialise (a, b, c)

Since: 0.2.0.0

Methods

encode :: (a, b, c) -> Encoding

decode :: Decoder s (a, b, c)

encodeList :: [(a, b, c)] -> Encoding

decodeList :: Decoder s [(a, b, c)]

Serialise a => Serialise (Const k a b)

Since: 0.2.0.0

Methods

encode :: Const k a b -> Encoding

decode :: Decoder s (Const k a b)

encodeList :: [Const k a b] -> Encoding

decodeList :: Decoder s [Const k a b]

Serialise (f a) => Serialise (Alt k f a)

Since: 0.2.0.0

Methods

encode :: Alt k f a -> Encoding

decode :: Decoder s (Alt k f a)

encodeList :: [Alt k f a] -> Encoding

decodeList :: Decoder s [Alt k f a]

(Serialise a, Serialise b, Serialise c, Serialise d) => Serialise (a, b, c, d)

Since: 0.2.0.0

Methods

encode :: (a, b, c, d) -> Encoding

decode :: Decoder s (a, b, c, d)

encodeList :: [(a, b, c, d)] -> Encoding

decodeList :: Decoder s [(a, b, c, d)]

(Serialise a, Serialise b, Serialise c, Serialise d, Serialise e) => Serialise (a, b, c, d, e)

Since: 0.2.0.0

Methods

encode :: (a, b, c, d, e) -> Encoding

decode :: Decoder s (a, b, c, d, e)

encodeList :: [(a, b, c, d, e)] -> Encoding

decodeList :: Decoder s [(a, b, c, d, e)]

(Serialise a, Serialise b, Serialise c, Serialise d, Serialise e, Serialise f) => Serialise (a, b, c, d, e, f)

Since: 0.2.0.0

Methods

encode :: (a, b, c, d, e, f) -> Encoding

decode :: Decoder s (a, b, c, d, e, f)

encodeList :: [(a, b, c, d, e, f)] -> Encoding

decodeList :: Decoder s [(a, b, c, d, e, f)]

(Serialise a, Serialise b, Serialise c, Serialise d, Serialise e, Serialise f, Serialise g) => Serialise (a, b, c, d, e, f, g)

Since: 0.2.0.0

Methods

encode :: (a, b, c, d, e, f, g) -> Encoding

decode :: Decoder s (a, b, c, d, e, f, g)

encodeList :: [(a, b, c, d, e, f, g)] -> Encoding

decodeList :: Decoder s [(a, b, c, d, e, f, g)]

(Serialise a, Serialise b, Serialise c, Serialise d, Serialise e, Serialise f, Serialise g, Serialise h) => Serialise (a, b, c, d, e, f, g, h)

Since: 0.2.0.0

Methods

encode :: (a, b, c, d, e, f, g, h) -> Encoding

decode :: Decoder s (a, b, c, d, e, f, g, h)

encodeList :: [(a, b, c, d, e, f, g, h)] -> Encoding

decodeList :: Decoder s [(a, b, c, d, e, f, g, h)]

(Serialise a, Serialise b, Serialise c, Serialise d, Serialise e, Serialise f, Serialise g, Serialise h, Serialise i) => Serialise (a, b, c, d, e, f, g, h, i)

Since: 0.2.0.0

Methods

encode :: (a, b, c, d, e, f, g, h, i) -> Encoding

decode :: Decoder s (a, b, c, d, e, f, g, h, i)

encodeList :: [(a, b, c, d, e, f, g, h, i)] -> Encoding

decodeList :: Decoder s [(a, b, c, d, e, f, g, h, i)]

class GSerialiseEncode f where

Since: 0.2.0.0

Minimal complete definition

gencode

Methods

gencode :: f a -> Encoding

Since: 0.2.0.0

Instances

GSerialiseEncode * V1

Since: 0.2.0.0

Methods

gencode :: f a -> Encoding

GSerialiseEncode * U1

Since: 0.2.0.0

Methods

gencode :: f a -> Encoding

Serialise a => GSerialiseEncode * (K1 i a)

Since: 0.2.0.0

Methods

gencode :: f a -> Encoding

(GSerialiseSum * f, GSerialiseSum * g) => GSerialiseEncode * ((:+:) f g)

Since: 0.2.0.0

Methods

gencode :: f a -> Encoding

(GSerialiseProd * f, GSerialiseProd * g) => GSerialiseEncode * ((:*:) f g)

Since: 0.2.0.0

Methods

gencode :: f a -> Encoding

GSerialiseEncode * a => GSerialiseEncode * (M1 i c a)

Since: 0.2.0.0

Methods

gencode :: f a -> Encoding

class GSerialiseDecode f where

Since: 0.2.0.0

Minimal complete definition

gdecode

Methods

gdecode :: Decoder s (f a)

Since: 0.2.0.0

Instances

GSerialiseDecode * V1

Since: 0.2.0.0

Methods

gdecode :: Decoder s (f a)

GSerialiseDecode * U1

Since: 0.2.0.0

Methods

gdecode :: Decoder s (f a)

Serialise a => GSerialiseDecode * (K1 i a)

Since: 0.2.0.0

Methods

gdecode :: Decoder s (f a)

(GSerialiseSum * f, GSerialiseSum * g) => GSerialiseDecode * ((:+:) f g)

Since: 0.2.0.0

Methods

gdecode :: Decoder s (f a)

(GSerialiseProd * f, GSerialiseProd * g) => GSerialiseDecode * ((:*:) f g)

Since: 0.2.0.0

Methods

gdecode :: Decoder s (f a)

GSerialiseDecode * a => GSerialiseDecode * (M1 i c a)

Since: 0.2.0.0

Methods

gdecode :: Decoder s (f a)

class GSerialiseProd f where

Serialization of product types

Minimal complete definition

nFields, encodeSeq, gdecodeSeq

Methods

nFields :: Proxy f -> Word

Number of fields in product type

encodeSeq :: f a -> Encoding

Encode fields sequentially without writing header

gdecodeSeq :: Decoder s (f a)

Decode fields sequentially without reading header

Instances

GSerialiseProd * U1

Since: 0.2.0.0

Methods

nFields :: Proxy (U1 -> *) f -> Word

encodeSeq :: f a -> Encoding

gdecodeSeq :: Decoder s (f a)

Serialise a => GSerialiseProd * (K1 i a)

Since: 0.2.0.0

Methods

nFields :: Proxy (K1 i a -> *) f -> Word

encodeSeq :: f a -> Encoding

gdecodeSeq :: Decoder s (f a)

(GSerialiseProd * f, GSerialiseProd * g) => GSerialiseProd * ((:*:) f g)

Since: 0.2.0.0

Methods

nFields :: Proxy ((f :*: g) -> *) f -> Word

encodeSeq :: f a -> Encoding

gdecodeSeq :: Decoder s (f a)

((~) * i S, GSerialiseProd * f) => GSerialiseProd * (M1 i c f)

Since: 0.2.0.0

Methods

nFields :: Proxy (M1 i c f -> *) f -> Word

encodeSeq :: f a -> Encoding

gdecodeSeq :: Decoder s (f a)

class GSerialiseSum f where

Serialization of sum types

Since: 0.2.0.0

Minimal complete definition

conNumber, numOfFields, encodeSum, decodeSum, nConstructors, fieldsForCon

Methods

conNumber :: f a -> Word

Number of constructor of given value

numOfFields :: f a -> Word

Number of fields of given value

encodeSum :: f a -> Encoding

Encode field

decodeSum :: Word -> Decoder s (f a)

Decode field

nConstructors :: Proxy f -> Word

Number of constructors

fieldsForCon :: Proxy f -> Word -> Decoder s Word

Number of fields for given constructor number

Instances

(GSerialiseSum * f, GSerialiseSum * g) => GSerialiseSum * ((:+:) f g)

Since: 0.2.0.0

Methods

conNumber :: f a -> Word

numOfFields :: f a -> Word

encodeSum :: f a -> Encoding

decodeSum :: Word -> Decoder s (f a)

nConstructors :: Proxy ((f :+: g) -> *) f -> Word

fieldsForCon :: Proxy ((f :+: g) -> *) f -> Word -> Decoder s Word

((~) * i C, GSerialiseProd * f) => GSerialiseSum * (M1 i c f)

Since: 0.2.0.0

Methods

conNumber :: f a -> Word

numOfFields :: f a -> Word

encodeSum :: f a -> Encoding

decodeSum :: Word -> Decoder s (f a)

nConstructors :: Proxy (M1 i c f -> *) f -> Word

fieldsForCon :: Proxy (M1 i c f -> *) f -> Word -> Decoder s Word

encodeVector :: (Serialise a, Vector v a) => v a -> Encoding

Generic encoder for vectors. Its intended use is to allow easy definition of Serialise instances for custom vector

Since: 0.2.0.0

decodeVector :: (Serialise a, Vector v a) => Decoder s (v a)

Generic decoder for vectors. Its intended use is to allow easy definition of Serialise instances for custom vector

Since: 0.2.0.0