Generics.Instant.Functions.Bytes

Documentation

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

instance Serial MyType where
   serialize = gserializeDefault
   deserialize = gdeserializeDefault

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

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

class (Representable a, GSerial (Rep a)) => RepGSerial a

RepGSerial is simply a synonym for (Representable a, GSerial (Rep a)) with the convenient kind (* -> Constraint)

Instances

(Representable a, GSerial (Rep a)) => RepGSerial a

Internals

class GSerial a where

Methods

gserialize :: MonadPut m => a -> m ()

gdeserialize :: MonadGet m => m a

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)