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


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


-- | This module exports <a>Show</a>, <a>Read</a>, <a>Eq</a>, <a>Ord</a>
--   and <tt>Generic</tt> 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 for more general documentation:
--   <a>https://hackage.haskell.org/package/exinst#readme</a>
module Exinst.Base
instance (GHC.Show.Show r1, GHC.Show.Show x) => GHC.Show.Show (Exinst.Base.Some1'Show r1 x)
instance (GHC.Show.Show r2, GHC.Show.Show r1, GHC.Show.Show x) => GHC.Show.Show (Exinst.Base.Some2'Show r2 r1 x)
instance (GHC.Show.Show r3, GHC.Show.Show r2, GHC.Show.Show r1, GHC.Show.Show x) => GHC.Show.Show (Exinst.Base.Some3'Show r3 r2 r1 x)
instance (GHC.Show.Show r4, GHC.Show.Show r3, GHC.Show.Show r2, GHC.Show.Show r1, GHC.Show.Show x) => GHC.Show.Show (Exinst.Base.Some4'Show r4 r3 r2 r1 x)
instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k1), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k1), GHC.Generics.Generic (Data.Singletons.Demote k1), Exinst.Internal.Dict1 GHC.Generics.Generic f, Exinst.Internal.Dict1 (Exinst.Base.Inj (Exinst.Base.Eithers1 f)) f) => GHC.Generics.Generic (Exinst.Internal.Some1 f)
instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k2), Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k1), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k2), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k1), GHC.Generics.Generic (Data.Singletons.Demote k2), GHC.Generics.Generic (Data.Singletons.Demote k1), Exinst.Internal.Dict2 GHC.Generics.Generic f, Exinst.Internal.Dict2 (Exinst.Base.Inj (Exinst.Base.Eithers2 f)) f) => GHC.Generics.Generic (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.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k3), Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k2), Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k1), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k3), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k2), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k1), GHC.Generics.Generic (Data.Singletons.Demote k3), GHC.Generics.Generic (Data.Singletons.Demote k2), GHC.Generics.Generic (Data.Singletons.Demote k1), Exinst.Internal.Dict3 GHC.Generics.Generic f, Exinst.Internal.Dict3 (Exinst.Base.Inj (Exinst.Base.Eithers3 f)) f) => GHC.Generics.Generic (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.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k4), Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k3), Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k2), Data.Singletons.Base.Enum.PEnum (Data.Singletons.Demote k1), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k4), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k3), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k2), Data.Singletons.Base.Enum.PBounded (Data.Singletons.Demote k1), GHC.Generics.Generic (Data.Singletons.Demote k4), GHC.Generics.Generic (Data.Singletons.Demote k3), GHC.Generics.Generic (Data.Singletons.Demote k2), GHC.Generics.Generic (Data.Singletons.Demote k1), Exinst.Internal.Dict4 GHC.Generics.Generic f, Exinst.Internal.Dict4 (Exinst.Base.Inj (Exinst.Base.Eithers4 f)) f) => GHC.Generics.Generic (Exinst.Internal.Some4 f)
instance Exinst.Base.Inj a a
instance Exinst.Base.Inj (Data.Either.Either a b) a
instance Exinst.Base.Inj x a => Exinst.Base.Inj (Data.Either.Either b x) a
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, GHC.Show.Show (Data.Singletons.Demote k4), GHC.Show.Show (Data.Singletons.Demote k3), GHC.Show.Show (Data.Singletons.Demote k2), GHC.Show.Show (Data.Singletons.Demote k1), Exinst.Internal.Dict4 GHC.Show.Show f) => GHC.Show.Show (Exinst.Internal.Some4 f)
instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.SingKind k3, Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, GHC.Show.Show (Data.Singletons.Demote k3), GHC.Show.Show (Data.Singletons.Demote k2), GHC.Show.Show (Data.Singletons.Demote k1), Exinst.Internal.Dict3 GHC.Show.Show f) => GHC.Show.Show (Exinst.Internal.Some3 f)
instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, GHC.Show.Show (Data.Singletons.Demote k2), GHC.Show.Show (Data.Singletons.Demote k1), Exinst.Internal.Dict2 GHC.Show.Show f) => GHC.Show.Show (Exinst.Internal.Some2 f)
instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, GHC.Show.Show (Data.Singletons.Demote k1), Exinst.Internal.Dict1 GHC.Show.Show f) => GHC.Show.Show (Exinst.Internal.Some1 f)
instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, GHC.Read.Read (Data.Singletons.Demote k1), Exinst.Internal.Dict1 GHC.Read.Read f) => GHC.Read.Read (Exinst.Internal.Some1 f)
instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, GHC.Read.Read (Data.Singletons.Demote k2), GHC.Read.Read (Data.Singletons.Demote k1), Exinst.Internal.Dict2 GHC.Read.Read f) => GHC.Read.Read (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, GHC.Read.Read (Data.Singletons.Demote k3), GHC.Read.Read (Data.Singletons.Demote k2), GHC.Read.Read (Data.Singletons.Demote k1), Exinst.Internal.Dict3 GHC.Read.Read f) => GHC.Read.Read (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, GHC.Read.Read (Data.Singletons.Demote k4), GHC.Read.Read (Data.Singletons.Demote k3), GHC.Read.Read (Data.Singletons.Demote k2), GHC.Read.Read (Data.Singletons.Demote k1), Exinst.Internal.Dict4 GHC.Read.Read f) => GHC.Read.Read (Exinst.Internal.Some4 f)
instance forall k1 (f :: k1 -> *). (Data.Singletons.Decide.SDecide k1, Exinst.Internal.Dict1 GHC.Classes.Eq f) => GHC.Classes.Eq (Exinst.Internal.Some1 f)
instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.Decide.SDecide k2, Data.Singletons.Decide.SDecide k1, Exinst.Internal.Dict2 GHC.Classes.Eq f) => GHC.Classes.Eq (Exinst.Internal.Some2 f)
instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> *). (Data.Singletons.Decide.SDecide k3, Data.Singletons.Decide.SDecide k2, Data.Singletons.Decide.SDecide k1, Exinst.Internal.Dict3 GHC.Classes.Eq f) => GHC.Classes.Eq (Exinst.Internal.Some3 f)
instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> *). (Data.Singletons.Decide.SDecide k4, Data.Singletons.Decide.SDecide k3, Data.Singletons.Decide.SDecide k2, Data.Singletons.Decide.SDecide k1, Exinst.Internal.Dict4 GHC.Classes.Eq f) => GHC.Classes.Eq (Exinst.Internal.Some4 f)
instance forall k1 (f :: k1 -> *). (Data.Singletons.SingKind k1, Data.Singletons.Decide.SDecide k1, GHC.Classes.Ord (Data.Singletons.Demote k1), Exinst.Internal.Dict1 GHC.Classes.Ord f, GHC.Classes.Eq (Exinst.Internal.Some1 f)) => GHC.Classes.Ord (Exinst.Internal.Some1 f)
instance forall k2 k1 (f :: k2 -> k1 -> *). (Data.Singletons.SingKind k2, Data.Singletons.SingKind k1, Data.Singletons.Decide.SDecide k2, Data.Singletons.Decide.SDecide k1, GHC.Classes.Ord (Data.Singletons.Demote k2), GHC.Classes.Ord (Data.Singletons.Demote k1), Exinst.Internal.Dict2 GHC.Classes.Ord f, GHC.Classes.Eq (Exinst.Internal.Some2 f)) => GHC.Classes.Ord (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.Singletons.Decide.SDecide k3, Data.Singletons.Decide.SDecide k2, Data.Singletons.Decide.SDecide k1, GHC.Classes.Ord (Data.Singletons.Demote k3), GHC.Classes.Ord (Data.Singletons.Demote k2), GHC.Classes.Ord (Data.Singletons.Demote k1), Exinst.Internal.Dict3 GHC.Classes.Ord f, GHC.Classes.Eq (Exinst.Internal.Some3 f)) => GHC.Classes.Ord (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.Singletons.Decide.SDecide k4, Data.Singletons.Decide.SDecide k3, Data.Singletons.Decide.SDecide k2, Data.Singletons.Decide.SDecide k1, GHC.Classes.Ord (Data.Singletons.Demote k4), GHC.Classes.Ord (Data.Singletons.Demote k3), GHC.Classes.Ord (Data.Singletons.Demote k2), GHC.Classes.Ord (Data.Singletons.Demote k1), Exinst.Internal.Dict4 GHC.Classes.Ord f, GHC.Classes.Eq (Exinst.Internal.Some4 f)) => GHC.Classes.Ord (Exinst.Internal.Some4 f)
instance (c 'GHC.Types.False, c 'GHC.Types.True) => Exinst.Internal.Dict0 c
instance forall k0 (c :: k0 -> GHC.Types.Constraint) (f :: GHC.Types.Bool -> k0). (c (f 'GHC.Types.False), c (f 'GHC.Types.True)) => Exinst.Internal.Dict1 c f
instance forall k1 k0 (c :: k0 -> GHC.Types.Constraint) (f :: GHC.Types.Bool -> k1 -> k0). (Exinst.Internal.Dict1 c (f 'GHC.Types.False), Exinst.Internal.Dict1 c (f 'GHC.Types.True)) => Exinst.Internal.Dict2 c f
instance forall k2 k1 k0 (c :: k0 -> GHC.Types.Constraint) (f :: GHC.Types.Bool -> k2 -> k1 -> k0). (Exinst.Internal.Dict2 c (f 'GHC.Types.False), Exinst.Internal.Dict2 c (f 'GHC.Types.True)) => Exinst.Internal.Dict3 c f
instance forall k3 k2 k1 k0 (c :: k0 -> GHC.Types.Constraint) (f :: GHC.Types.Bool -> k3 -> k2 -> k1 -> k0). (Exinst.Internal.Dict3 c (f 'GHC.Types.False), Exinst.Internal.Dict3 c (f 'GHC.Types.True)) => Exinst.Internal.Dict4 c f