-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | @exinst@ support for @bytes@ package.
--   
--   <tt>exinst</tt> support for <tt>bytes</tt> package.
@package exinst-bytes
@version 0.9


-- | This module exports <a>Serial</a> instances for <a>Some1</a>,
--   <a>Some2</a>, <a>Some3</a> and <a>Some4</a> from <a>Exinst</a>,
--   provided situable <a>Dict1</a>, <a>Dict2</a>, <a>Dict3</a> and
--   <a>Dict4</a> instances are available.
--   
--   See the README file in the <tt>exinst</tt> package for more general
--   documentation:
--   <a>https://hackage.haskell.org/package/exinst#readme</a>
module Exinst.Bytes
instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.Demote k1), Exinst.Internal.Dict1 Data.Bytes.Serial.Serial f) => Data.Bytes.Serial.Serial (Exinst.Internal.Some1 f)
instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.Demote k2), Data.Bytes.Serial.Serial (Data.Singletons.Demote k1), Exinst.Internal.Dict2 Data.Bytes.Serial.Serial f) => Data.Bytes.Serial.Serial (Exinst.Internal.Some2 f)
instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.Demote k3), Data.Bytes.Serial.Serial (Data.Singletons.Demote k2), Data.Bytes.Serial.Serial (Data.Singletons.Demote k1), Exinst.Internal.Dict3 Data.Bytes.Serial.Serial f) => Data.Bytes.Serial.Serial (Exinst.Internal.Some3 f)
instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k4, Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Bytes.Serial.Serial (Data.Singletons.Demote k4), Data.Bytes.Serial.Serial (Data.Singletons.Demote k3), Data.Bytes.Serial.Serial (Data.Singletons.Demote k2), Data.Bytes.Serial.Serial (Data.Singletons.Demote k1), Exinst.Internal.Dict4 Data.Bytes.Serial.Serial f) => Data.Bytes.Serial.Serial (Exinst.Internal.Some4 f)
instance forall k1 (l :: k1 -> *) (a1 :: k1) (r :: k1 -> *). (Data.Bytes.Serial.Serial (l a1), Data.Bytes.Serial.Serial (r a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Sum.S1 l r a1)
instance forall k2 k1 (l :: k2 -> k1 -> *) (a2 :: k2) (a1 :: k1) (r :: k2 -> k1 -> *). (Data.Bytes.Serial.Serial (l a2 a1), Data.Bytes.Serial.Serial (r a2 a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Sum.S2 l r a2 a1)
instance forall k3 k2 k1 (l :: k3 -> k2 -> k1 -> *) (a3 :: k3) (a2 :: k2) (a1 :: k1) (r :: k3 -> k2 -> k1 -> *). (Data.Bytes.Serial.Serial (l a3 a2 a1), Data.Bytes.Serial.Serial (r a3 a2 a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Sum.S3 l r a3 a2 a1)
instance forall k4 k3 k2 k1 (l :: k4 -> k3 -> k2 -> k1 -> *) (a4 :: k4) (a3 :: k3) (a2 :: k2) (a1 :: k1) (r :: k4 -> k3 -> k2 -> k1 -> *). (Data.Bytes.Serial.Serial (l a4 a3 a2 a1), Data.Bytes.Serial.Serial (r a4 a3 a2 a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Sum.S4 l r a4 a3 a2 a1)
instance forall k1 (l :: k1 -> *) (a1 :: k1) (r :: k1 -> *). (Data.Bytes.Serial.Serial (l a1), Data.Bytes.Serial.Serial (r a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Product.P1 l r a1)
instance forall k2 k1 (l :: k2 -> k1 -> *) (a2 :: k2) (a1 :: k1) (r :: k2 -> k1 -> *). (Data.Bytes.Serial.Serial (l a2 a1), Data.Bytes.Serial.Serial (r a2 a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Product.P2 l r a2 a1)
instance forall k3 k2 k1 (l :: k3 -> k2 -> k1 -> *) (a3 :: k3) (a2 :: k2) (a1 :: k1) (r :: k3 -> k2 -> k1 -> *). (Data.Bytes.Serial.Serial (l a3 a2 a1), Data.Bytes.Serial.Serial (r a3 a2 a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Product.P3 l r a3 a2 a1)
instance forall k4 k3 k2 k1 (l :: k4 -> k3 -> k2 -> k1 -> *) (a4 :: k4) (a3 :: k3) (a2 :: k2) (a1 :: k1) (r :: k4 -> k3 -> k2 -> k1 -> *). (Data.Bytes.Serial.Serial (l a4 a3 a2 a1), Data.Bytes.Serial.Serial (r a4 a3 a2 a1)) => Data.Bytes.Serial.Serial (Exinst.Internal.Product.P4 l r a4 a3 a2 a1)