Safe Haskell	Safe-Inferred
Language	Haskell2010

Exinst.Serialise

Contents

Orphan instances

Description

This module exports Serialise instances (which provide binary serialisation via the CBOR format) 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, Serialise (Demote k1), Dict1 Serialise f) => Serialise (Some1 f) Source #
Instance details Methods encode :: Some1 f -> Encoding # decode :: Decoder s (Some1 f) # encodeList :: [Some1 f] -> Encoding # decodeList :: Decoder s [Some1 f] #
(SingKind k2, SingKind k1, Serialise (Demote k2), Serialise (Demote k1), Dict2 Serialise f) => Serialise (Some2 f) Source #
Instance details Methods encode :: Some2 f -> Encoding # decode :: Decoder s (Some2 f) # encodeList :: [Some2 f] -> Encoding # decodeList :: Decoder s [Some2 f] #
(SingKind k3, SingKind k2, SingKind k1, Serialise (Demote k3), Serialise (Demote k2), Serialise (Demote k1), Dict3 Serialise f) => Serialise (Some3 f) Source #
Instance details Methods encode :: Some3 f -> Encoding # decode :: Decoder s (Some3 f) # encodeList :: [Some3 f] -> Encoding # decodeList :: Decoder s [Some3 f] #
(Serialise (l a1), Serialise (r a1)) => Serialise (P1 l r a1) Source #
Instance details Methods encode :: P1 l r a1 -> Encoding # decode :: Decoder s (P1 l r a1) # encodeList :: [P1 l r a1] -> Encoding # decodeList :: Decoder s [P1 l r a1] #
(Serialise (l a1), Serialise (r a1)) => Serialise (S1 l r a1) Source #
Instance details Methods encode :: S1 l r a1 -> Encoding # decode :: Decoder s (S1 l r a1) # encodeList :: [S1 l r a1] -> Encoding # decodeList :: Decoder s [S1 l r a1] #
(SingKind k4, SingKind k3, SingKind k2, SingKind k1, Serialise (Demote k4), Serialise (Demote k3), Serialise (Demote k2), Serialise (Demote k1), Dict4 Serialise f) => Serialise (Some4 f) Source #
Instance details Methods encode :: Some4 f -> Encoding # decode :: Decoder s (Some4 f) # encodeList :: [Some4 f] -> Encoding # decodeList :: Decoder s [Some4 f] #
(Serialise (l a2 a1), Serialise (r a2 a1)) => Serialise (P2 l r a2 a1) Source #
Instance details Methods encode :: P2 l r a2 a1 -> Encoding # decode :: Decoder s (P2 l r a2 a1) # encodeList :: [P2 l r a2 a1] -> Encoding # decodeList :: Decoder s [P2 l r a2 a1] #
(Serialise (l a2 a1), Serialise (r a2 a1)) => Serialise (S2 l r a2 a1) Source #
Instance details Methods encode :: S2 l r a2 a1 -> Encoding # decode :: Decoder s (S2 l r a2 a1) # encodeList :: [S2 l r a2 a1] -> Encoding # decodeList :: Decoder s [S2 l r a2 a1] #
(Serialise (l a3 a2 a1), Serialise (r a3 a2 a1)) => Serialise (P3 l r a3 a2 a1) Source #
Instance details Methods encode :: P3 l r a3 a2 a1 -> Encoding # decode :: Decoder s (P3 l r a3 a2 a1) # encodeList :: [P3 l r a3 a2 a1] -> Encoding # decodeList :: Decoder s [P3 l r a3 a2 a1] #
(Serialise (l a3 a2 a1), Serialise (r a3 a2 a1)) => Serialise (S3 l r a3 a2 a1) Source #
Instance details Methods encode :: S3 l r a3 a2 a1 -> Encoding # decode :: Decoder s (S3 l r a3 a2 a1) # encodeList :: [S3 l r a3 a2 a1] -> Encoding # decodeList :: Decoder s [S3 l r a3 a2 a1] #
(Serialise (l a4 a3 a2 a1), Serialise (r a4 a3 a2 a1)) => Serialise (P4 l r a4 a3 a2 a1) Source #
Instance details Methods encode :: P4 l r a4 a3 a2 a1 -> Encoding # decode :: Decoder s (P4 l r a4 a3 a2 a1) # encodeList :: [P4 l r a4 a3 a2 a1] -> Encoding # decodeList :: Decoder s [P4 l r a4 a3 a2 a1] #
(Serialise (l a4 a3 a2 a1), Serialise (r a4 a3 a2 a1)) => Serialise (S4 l r a4 a3 a2 a1) Source #
Instance details Methods encode :: S4 l r a4 a3 a2 a1 -> Encoding # decode :: Decoder s (S4 l r a4 a3 a2 a1) # encodeList :: [S4 l r a4 a3 a2 a1] -> Encoding # decodeList :: Decoder s [S4 l r a4 a3 a2 a1] #