Data.Flat.Class

Generics-based generation of Flat instances

The Flat class

class Flat a where

Class of types that can be encoded/decoded

Methods

encode :: a -> Encoding

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

decode :: Get a

decode :: (Generic a, GDecode (Rep a)) => Get a

size :: a -> NumBits -> NumBits

size :: (Generic a, GSize (Rep a)) => a -> NumBits -> NumBits

Instances

Flat Filler

Use a special encoding for the filler

Methods

encode :: Filler -> Encoding

decode :: Get Filler

size :: Filler -> NumBits -> NumBits

Flat a => Flat (PreAligned a)

Methods

encode :: PreAligned a -> Encoding

decode :: Get (PreAligned a)

size :: PreAligned a -> NumBits -> NumBits

Flat a => Flat (PostAligned a)

Methods

encode :: PostAligned a -> Encoding

decode :: Get (PostAligned a)

size :: PostAligned a -> NumBits -> NumBits

getSize :: Flat a => a -> NumBits

Calculate the size in bits of the serialisation of the value

module GHC.Generics