exinst-cereal-0.7.1: Dependent pairs and their instances.

Safe HaskellNone
LanguageHaskell2010

Exinst.Cereal

Contents

Description

This module exports Serialize 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, Serialize (Demote k1), Dict1 Serialize f) => Serialize (Some1 f) Source #

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

Instance details

Methods

put :: Putter (Some1 f) #

get :: Get (Some1 f) #

(SingKind k2, SingKind k1, Serialize (Demote k2), Serialize (Demote k1), Dict2 Serialize f) => Serialize (Some2 f) Source #

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

Instance details

Methods

put :: Putter (Some2 f) #

get :: Get (Some2 f) #

(Serialize (l a1), Serialize (r a1)) => Serialize (S1 l r a1) Source # 
Instance details

Methods

put :: Putter (S1 l r a1) #

get :: Get (S1 l r a1) #

(Serialize (l a1), Serialize (r a1)) => Serialize (P1 l r a1) Source # 
Instance details

Methods

put :: Putter (P1 l r a1) #

get :: Get (P1 l r a1) #

(SingKind k3, SingKind k2, SingKind k1, Serialize (Demote k3), Serialize (Demote k2), Serialize (Demote k1), Dict3 Serialize f) => Serialize (Some3 f) Source #

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

Instance details

Methods

put :: Putter (Some3 f) #

get :: Get (Some3 f) #

(SingKind k4, SingKind k3, SingKind k2, SingKind k1, Serialize (Demote k4), Serialize (Demote k3), Serialize (Demote k2), Serialize (Demote k1), Dict4 Serialize f) => Serialize (Some4 f) Source #

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

Instance details

Methods

put :: Putter (Some4 f) #

get :: Get (Some4 f) #

(Serialize (l a2 a1), Serialize (r a2 a1)) => Serialize (S2 l r a2 a1) Source # 
Instance details

Methods

put :: Putter (S2 l r a2 a1) #

get :: Get (S2 l r a2 a1) #

(Serialize (l a2 a1), Serialize (r a2 a1)) => Serialize (P2 l r a2 a1) Source # 
Instance details

Methods

put :: Putter (P2 l r a2 a1) #

get :: Get (P2 l r a2 a1) #

(Serialize (l a3 a2 a1), Serialize (r a3 a2 a1)) => Serialize (S3 l r a3 a2 a1) Source # 
Instance details

Methods

put :: Putter (S3 l r a3 a2 a1) #

get :: Get (S3 l r a3 a2 a1) #

(Serialize (l a3 a2 a1), Serialize (r a3 a2 a1)) => Serialize (P3 l r a3 a2 a1) Source # 
Instance details

Methods

put :: Putter (P3 l r a3 a2 a1) #

get :: Get (P3 l r a3 a2 a1) #

(Serialize (l a4 a3 a2 a1), Serialize (r a4 a3 a2 a1)) => Serialize (S4 l r a4 a3 a2 a1) Source # 
Instance details

Methods

put :: Putter (S4 l r a4 a3 a2 a1) #

get :: Get (S4 l r a4 a3 a2 a1) #

(Serialize (l a4 a3 a2 a1), Serialize (r a4 a3 a2 a1)) => Serialize (P4 l r a4 a3 a2 a1) Source # 
Instance details

Methods

put :: Putter (P4 l r a4 a3 a2 a1) #

get :: Get (P4 l r a4 a3 a2 a1) #