Exinst.Bytes

This module exports Serial instances for Some1, Some2, Some3 and Some4 from Exinst, provided situable Dict1, Dict2, Dict3 and Dict4 instances are available.

See the README file in the exinst package for more general documentation: https://hackage.haskell.org/package/exinst#readme

Orphan instances

(SingKind k1, Serial (Demote k1), Dict1 Serial f) => Serial (Some1 f)

Compatible with the Binary instance and Serialize instance, provided all of the Demotes and the fully applied f instances are compatible as well.

Methods

serialize :: MonadPut m => Some1 f -> m ()

deserialize :: MonadGet m => m (Some1 f)

(SingKind k2, SingKind k1, Serial (Demote k2), Serial (Demote k1), Dict2 Serial f) => Serial (Some2 f)

Compatible with the Binary instance and Serialize instance, provided all of the Demotes and the fully applied f instances are compatible as well.

Methods

serialize :: MonadPut m => Some2 f -> m ()

deserialize :: MonadGet m => m (Some2 f)

(Serial (l a1), Serial (r a1)) => Serial (S1 l r a1)

Methods

serialize :: MonadPut m => S1 l r a1 -> m ()

deserialize :: MonadGet m => m (S1 l r a1)

(Serial (l a1), Serial (r a1)) => Serial (P1 l r a1)

Methods

serialize :: MonadPut m => P1 l r a1 -> m ()

deserialize :: MonadGet m => m (P1 l r a1)

(SingKind k3, SingKind k2, SingKind k1, Serial (Demote k3), Serial (Demote k2), Serial (Demote k1), Dict3 Serial f) => Serial (Some3 f)

Compatible with the Binary instance and Serialize instance, provided all of the Demotes and the fully applied f instances are compatible as well.

Methods

serialize :: MonadPut m => Some3 f -> m ()

deserialize :: MonadGet m => m (Some3 f)

(SingKind k4, SingKind k3, SingKind k2, SingKind k1, Serial (Demote k4), Serial (Demote k3), Serial (Demote k2), Serial (Demote k1), Dict4 Serial f) => Serial (Some4 f)

Compatible with the Binary instance and Serialize instance, provided all of the Demotes and the fully applied f instances are compatible as well.

Methods

serialize :: MonadPut m => Some4 f -> m ()

deserialize :: MonadGet m => m (Some4 f)

(Serial (l a2 a1), Serial (r a2 a1)) => Serial (S2 l r a2 a1)

Methods

serialize :: MonadPut m => S2 l r a2 a1 -> m ()

deserialize :: MonadGet m => m (S2 l r a2 a1)

(Serial (l a2 a1), Serial (r a2 a1)) => Serial (P2 l r a2 a1)

Methods

serialize :: MonadPut m => P2 l r a2 a1 -> m ()

deserialize :: MonadGet m => m (P2 l r a2 a1)

(Serial (l a3 a2 a1), Serial (r a3 a2 a1)) => Serial (S3 l r a3 a2 a1)

Methods

serialize :: MonadPut m => S3 l r a3 a2 a1 -> m ()

deserialize :: MonadGet m => m (S3 l r a3 a2 a1)

(Serial (l a3 a2 a1), Serial (r a3 a2 a1)) => Serial (P3 l r a3 a2 a1)

Methods

serialize :: MonadPut m => P3 l r a3 a2 a1 -> m ()

deserialize :: MonadGet m => m (P3 l r a3 a2 a1)

(Serial (l a4 a3 a2 a1), Serial (r a4 a3 a2 a1)) => Serial (S4 l r a4 a3 a2 a1)

Methods

serialize :: MonadPut m => S4 l r a4 a3 a2 a1 -> m ()

deserialize :: MonadGet m => m (S4 l r a4 a3 a2 a1)

(Serial (l a4 a3 a2 a1), Serial (r a4 a3 a2 a1)) => Serial (P4 l r a4 a3 a2 a1)

Methods

serialize :: MonadPut m => P4 l r a4 a3 a2 a1 -> m ()

deserialize :: MonadGet m => m (P4 l r a4 a3 a2 a1)