Generics.Instant.Functions.Bytes

Documentation

You can use gserialize and gdeserialize as your generic serialize and deserialize implementations for any Representable type as follows:

instance Serial MyType where
   serialize = gserialize
   deserialize = gdeserialize

gserialize :: (Representable a, GSerial (Rep a), MonadPut m) => a -> m ()

gdeserialize :: (Representable a, GSerial (Rep a), MonadGet m) => m a

Internals

class GSerial a

Minimal complete definition

gserialize', gdeserialize'

Instances

GSerial Z

GSerial U

Serial a => GSerial (Var a)

Serial a => GSerial (Rec a)

(GSumSerial a, GSumSerial b, GSerial a, GSerial b, GSumSize * a, GSumSize * b) => GSerial ((:+:) a b)

(GSerial a, GSerial b) => GSerial ((:*:) a b)

GSerial a => GSerial (CEq k k c p q a)

GSerial a => GSerial (CEq k k c p p a)

Even more internal

class GSumSerial a

Minimal complete definition

putSum, getSum

Instances

(GSumSerial a, GSumSerial b, GSerial a, GSerial b) => GSumSerial ((:+:) a b)

GSerial a => GSumSerial (CEq k k c p q a)

GSerial a => GSumSerial (CEq k k c p p a)

class GSumSize a

Minimal complete definition

sumSize

Instances

(GSumSize * a, GSumSize * b) => GSumSize * ((:+:) a b)

GSumSize * (CEq k k c p q a)