-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Generic Serial instances through instant-generics -- -- Generic Serial instances through instant-generics @package instant-bytes @version 0.2 module Generics.Instant.Functions.Bytes gserializeDefault :: (Representable a, GSerial (Rep a), MonadPut m) => a -> m () gdeserializeDefault :: (Representable a, GSerial (Rep a), MonadGet m) => m a -- | RepGSerial is simply a synonym for -- (Representable a, GSerial (Rep a)) with -- the convenient kind (* -> Constraint) class (Representable a, GSerial (Rep a)) => RepGSerial a class GSerial a gserialize :: (GSerial a, MonadPut m) => a -> m () gdeserialize :: (GSerial a, MonadGet m) => m a class GSumSerial a class GSumSize a instance (Generics.Instant.Base.Representable a, Generics.Instant.Functions.Bytes.GSerial (Generics.Instant.Base.Rep a)) => Generics.Instant.Functions.Bytes.RepGSerial a instance Generics.Instant.Functions.Bytes.GSerial Generics.Instant.Base.Z instance Generics.Instant.Functions.Bytes.GSerial Generics.Instant.Base.U instance forall (k :: BOX) (k1 :: BOX) (c :: k) (p :: k1) a. Generics.Instant.Functions.Bytes.GSerial a => Generics.Instant.Functions.Bytes.GSerial (Generics.Instant.Base.CEq c p p a) instance forall (k :: BOX) (k1 :: BOX) (c :: k) (p :: k1) (q :: k1) a. Generics.Instant.Functions.Bytes.GSerial a => Generics.Instant.Functions.Bytes.GSerial (Generics.Instant.Base.CEq c p q a) instance Data.Bytes.Serial.Serial a => Generics.Instant.Functions.Bytes.GSerial (Generics.Instant.Base.Var a) instance Data.Bytes.Serial.Serial a => Generics.Instant.Functions.Bytes.GSerial (Generics.Instant.Base.Rec a) instance (Generics.Instant.Functions.Bytes.GSerial a, Generics.Instant.Functions.Bytes.GSerial b) => Generics.Instant.Functions.Bytes.GSerial (a Generics.Instant.Base.:*: b) instance (Generics.Instant.Functions.Bytes.GSumSerial a, Generics.Instant.Functions.Bytes.GSumSerial b, Generics.Instant.Functions.Bytes.GSerial a, Generics.Instant.Functions.Bytes.GSerial b, Generics.Instant.Functions.Bytes.GSumSize a, Generics.Instant.Functions.Bytes.GSumSize b) => Generics.Instant.Functions.Bytes.GSerial (a Generics.Instant.Base.:+: b) instance (Generics.Instant.Functions.Bytes.GSumSerial a, Generics.Instant.Functions.Bytes.GSumSerial b, Generics.Instant.Functions.Bytes.GSerial a, Generics.Instant.Functions.Bytes.GSerial b) => Generics.Instant.Functions.Bytes.GSumSerial (a Generics.Instant.Base.:+: b) instance forall (k :: BOX) (k1 :: BOX) (c :: k) (p :: k1) a. Generics.Instant.Functions.Bytes.GSerial a => Generics.Instant.Functions.Bytes.GSumSerial (Generics.Instant.Base.CEq c p p a) instance forall (k :: BOX) (k1 :: BOX) (c :: k) (p :: k1) (q :: k1) a. Generics.Instant.Functions.Bytes.GSerial a => Generics.Instant.Functions.Bytes.GSumSerial (Generics.Instant.Base.CEq c p q a) instance (Generics.Instant.Functions.Bytes.GSumSize a, Generics.Instant.Functions.Bytes.GSumSize b) => Generics.Instant.Functions.Bytes.GSumSize (a Generics.Instant.Base.:+: b) instance forall (k :: BOX) (k1 :: BOX) (c :: k) (p :: k1) (q :: k1) a. Generics.Instant.Functions.Bytes.GSumSize (Generics.Instant.Base.CEq c p q a)