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


-- | Derive instances for the `bytes` library for your existential types.
--   
--   Derive instances for the <a>bytes</a> library for your existential
--   types.
@package exinst-bytes
@version 0.1.0.1


-- | This module exports <a>Serial</a> instances for <a>Some1</a>,
--   <a>Some2</a>, <a>Some3</a> and <a>Some4</a> from
--   <a>Exinst.Singletons</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.Instances.Bytes
instance forall (k1 :: BOX) (f1 :: k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict1 Data.Bytes.Serial.Serial f1) => Data.Bytes.Serial.Serial (Exinst.Singletons.Internal.Some1 f1)
instance forall (k2 :: BOX) (k1 :: BOX) (f2 :: k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict2 Data.Bytes.Serial.Serial f2) => Data.Bytes.Serial.Serial (Exinst.Singletons.Internal.Some2 f2)
instance forall (k3 :: BOX) (k2 :: BOX) (k1 :: BOX) (f3 :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict3 Data.Bytes.Serial.Serial f3) => Data.Bytes.Serial.Serial (Exinst.Singletons.Internal.Some3 f3)
instance forall (k4 :: BOX) (k3 :: BOX) (k2 :: BOX) (k1 :: BOX) (f4 :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Singletons.SingKind 'Data.Proxy.KProxy, Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Data.Bytes.Serial.Serial (Data.Singletons.DemoteRep 'Data.Proxy.KProxy), Exinst.Singletons.Dict4 Data.Bytes.Serial.Serial f4) => Data.Bytes.Serial.Serial (Exinst.Singletons.Internal.Some4 f4)