Generics.Regular.Functions.Binary

Generic Data.Binary instances.

These generic functions can be used to create a Data.Binary instance. For example, for a user-defined type MyType, the following code is necessary:

 import Data.Binary
 import Generics.Regular.Base
 import Generics.Regular.Binary

 data MyType = ...

 $(deriveAll ''MyType "PFMyType")
 type instance PF MyType = PFMyType

 instance Binary MyType where
   put = gput
   get = gget

Binary put and get

class Binary f

Instances

Binary I

Binary U

Binary a => Binary (K a)

(Binary f, Binary g) => Binary (:+: f g)

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

Binary f => Binary (C c f)

Binary f => Binary (S s f)

gput :: (Regular a, Binary (PF a)) => a -> Put

Generic binary put to be used with Data.Binary.Put.

gget :: (Regular a, Binary (PF a)) => Get a

Generic binary get to be used with Data.Binary.Get.