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


-- | Higher order versions of Prelude classes
--   
--   Higher order versions of Prelude classes to ease programming with
--   polymorphic recursion and reduce UndecidableInstances
--   
--   See <a>http://flint.cs.yale.edu/trifonov/papers/sqcc.pdf</a> for
--   further discussion of the approach taken here.
@package prelude-extras
@version 0.4.0.3

module Prelude.Extras
class Eq1 (f :: Type -> Type)
(==#) :: (Eq1 f, Eq a) => f a -> f a -> Bool
($dm==#) :: (Eq1 f, Eq (f a)) => f a -> f a -> Bool
infixr 4 ==#
(/=#) :: (Eq1 f, Eq a) => f a -> f a -> Bool
infixr 4 /=#
class Eq1 f => Ord1 (f :: Type -> Type)
compare1 :: (Ord1 f, Ord a) => f a -> f a -> Ordering
($dmcompare1) :: (Ord1 f, Ord (f a)) => f a -> f a -> Ordering
(<#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
infixr 4 <#
(<=#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
infixr 4 <=#
(>=#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
infixr 4 >=#
(>#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
infixr 4 >#
max1 :: (Ord1 f, Ord a) => f a -> f a -> f a
min1 :: (Ord1 f, Ord a) => f a -> f a -> f a
class Show1 (f :: Type -> Type)
showsPrec1 :: (Show1 f, Show a) => Int -> f a -> ShowS
($dmshowsPrec1) :: (Show1 f, Show (f a)) => Int -> f a -> ShowS
showList1 :: (Show1 f, Show a) => [f a] -> ShowS
show1 :: (Show1 f, Show a) => f a -> String
shows1 :: (Show1 f, Show a) => f a -> ShowS
class Read1 (f :: Type -> Type)
readsPrec1 :: (Read1 f, Read a) => Int -> ReadS (f a)
($dmreadsPrec1) :: (Read1 f, Read (f a)) => Int -> ReadS (f a)
readList1 :: (Read1 f, Read a) => ReadS [f a]
read1 :: (Read1 f, Read a) => String -> f a
reads1 :: (Read1 f, Read a) => ReadS (f a)
readPrec1 :: (Read1 f, Read a) => ReadPrec (f a)
readListPrec1 :: (Read1 f, Read a) => ReadPrec [f a]
readList1Default :: (Read1 f, Read a) => ReadS [f a]
readListPrec1Default :: (Read1 f, Read a) => ReadPrec [f a]
newtype Lift1 (f :: Type -> Type) a
Lift1 :: f a -> Lift1 (f :: Type -> Type) a
[lower1] :: Lift1 (f :: Type -> Type) a -> f a
class Eq2 (f :: Type -> Type -> Type)
(==##) :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool
($dm==##) :: (Eq2 f, Eq (f a b)) => f a b -> f a b -> Bool
infixr 4 ==##
(/=##) :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool
infixr 4 /=##
class Eq2 f => Ord2 (f :: Type -> Type -> Type)
compare2 :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Ordering
($dmcompare2) :: (Ord2 f, Ord (f a b)) => f a b -> f a b -> Ordering
(<##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
infixr 4 <##
(<=##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
infixr 4 <=##
(>=##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
infixr 4 >=##
(>##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
infixr 4 >##
max2 :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> f a b
min2 :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> f a b
class Show2 (f :: Type -> Type -> Type)
showsPrec2 :: (Show2 f, Show a, Show b) => Int -> f a b -> ShowS
($dmshowsPrec2) :: (Show2 f, Show (f a b)) => Int -> f a b -> ShowS
showList2 :: (Show2 f, Show a, Show b) => [f a b] -> ShowS
show2 :: (Show2 f, Show a, Show b) => f a b -> String
shows2 :: (Show2 f, Show a, Show b) => f a b -> ShowS
class Read2 (f :: Type -> Type -> Type)
readsPrec2 :: (Read2 f, Read a, Read b) => Int -> ReadS (f a b)
($dmreadsPrec2) :: (Read2 f, Read (f a b)) => Int -> ReadS (f a b)
readList2 :: (Read2 f, Read a, Read b) => ReadS [f a b]
read2 :: (Read2 f, Read a, Read b) => String -> f a b
reads2 :: (Read2 f, Read a, Read b) => ReadS (f a b)
readPrec2 :: (Read2 f, Read a, Read b) => ReadPrec (f a b)
readListPrec2 :: (Read2 f, Read a, Read b) => ReadPrec [f a b]
readList2Default :: (Read2 f, Read a, Read b) => ReadS [f a b]
readListPrec2Default :: (Read2 f, Read a, Read b) => ReadPrec [f a b]
newtype Lift2 (f :: Type -> Type -> Type) a b
Lift2 :: f a b -> Lift2 (f :: Type -> Type -> Type) a b
[lower2] :: Lift2 (f :: Type -> Type -> Type) a b -> f a b
instance Prelude.Extras.Eq1 f => Prelude.Extras.Eq1 (GHC.Internal.Data.Semigroup.Internal.Alt f)
instance Prelude.Extras.Eq1 Control.Concurrent.Chan.Chan
instance Prelude.Extras.Eq1 Data.Complex.Complex
instance GHC.Classes.Eq a => Prelude.Extras.Eq1 (GHC.Internal.Data.Functor.Const.Const a)
instance Prelude.Extras.Eq1 GHC.Internal.Data.Ord.Down
instance Prelude.Extras.Eq1 GHC.Internal.Data.Semigroup.Internal.Dual
instance GHC.Classes.Eq a => Prelude.Extras.Eq1 (GHC.Internal.Data.Either.Either a)
instance Prelude.Extras.Eq1 GHC.Internal.Data.Monoid.First
instance Prelude.Extras.Eq1 Data.Fixed.Fixed
instance Prelude.Extras.Eq1 GHC.Internal.ForeignPtr.ForeignPtr
instance Prelude.Extras.Eq1 GHC.Internal.Ptr.FunPtr
instance Prelude.Extras.Eq1 GHC.Internal.IORef.IORef
instance Prelude.Extras.Eq1 GHC.Internal.Data.Functor.Identity.Identity
instance Prelude.Extras.Eq1 GHC.Internal.Data.Monoid.Last
instance Prelude.Extras.Eq1 f => Prelude.Extras.Eq1 (Prelude.Extras.Lift1 f)
instance (Prelude.Extras.Eq2 f, GHC.Classes.Eq a) => Prelude.Extras.Eq1 (Prelude.Extras.Lift2 f a)
instance Prelude.Extras.Eq1 []
instance Prelude.Extras.Eq1 GHC.Internal.MVar.MVar
instance Prelude.Extras.Eq1 GHC.Internal.Maybe.Maybe
instance Prelude.Extras.Eq1 GHC.Internal.Data.Semigroup.Internal.Product
instance Prelude.Extras.Eq1 GHC.Internal.Data.Proxy.Proxy
instance Prelude.Extras.Eq1 GHC.Internal.Ptr.Ptr
instance Prelude.Extras.Eq1 GHC.Internal.Real.Ratio
instance Prelude.Extras.Eq1 GHC.Internal.Stable.StablePtr
instance Prelude.Extras.Eq1 GHC.Internal.Data.Semigroup.Internal.Sum
instance Prelude.Extras.Eq1 GHC.Internal.Conc.Sync.TVar
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f, GHC.Classes.Eq g, GHC.Classes.Eq h, GHC.Classes.Eq i) => Prelude.Extras.Eq1 ((,,,,,,,,,) a b c d e f g h i)
instance GHC.Classes.Eq a => Prelude.Extras.Eq1 ((,) a)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b) => Prelude.Extras.Eq1 ((,,) a b)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c) => Prelude.Extras.Eq1 ((,,,) a b c)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d) => Prelude.Extras.Eq1 ((,,,,) a b c d)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e) => Prelude.Extras.Eq1 ((,,,,,) a b c d e)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f) => Prelude.Extras.Eq1 ((,,,,,,) a b c d e f)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f, GHC.Classes.Eq g) => Prelude.Extras.Eq1 ((,,,,,,,) a b c d e f g)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f, GHC.Classes.Eq g, GHC.Classes.Eq h) => Prelude.Extras.Eq1 ((,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Eq1 GHC.Internal.Functor.ZipList.ZipList
instance Prelude.Extras.Eq2 GHC.Internal.Data.Functor.Const.Const
instance Prelude.Extras.Eq2 GHC.Internal.Data.Either.Either
instance Prelude.Extras.Eq2 f => Prelude.Extras.Eq2 (Prelude.Extras.Lift2 f)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f, GHC.Classes.Eq g, GHC.Classes.Eq h) => Prelude.Extras.Eq2 ((,,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Eq2 (,)
instance GHC.Classes.Eq a => Prelude.Extras.Eq2 ((,,) a)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b) => Prelude.Extras.Eq2 ((,,,) a b)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c) => Prelude.Extras.Eq2 ((,,,,) a b c)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d) => Prelude.Extras.Eq2 ((,,,,,) a b c d)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e) => Prelude.Extras.Eq2 ((,,,,,,) a b c d e)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f) => Prelude.Extras.Eq2 ((,,,,,,,) a b c d e f)
instance (GHC.Classes.Eq a, GHC.Classes.Eq b, GHC.Classes.Eq c, GHC.Classes.Eq d, GHC.Classes.Eq e, GHC.Classes.Eq f, GHC.Classes.Eq g) => Prelude.Extras.Eq2 ((,,,,,,,,) a b c d e f g)
instance (Prelude.Extras.Eq1 f, GHC.Classes.Eq a) => GHC.Classes.Eq (Prelude.Extras.Lift1 f a)
instance (Prelude.Extras.Eq2 f, GHC.Classes.Eq a, GHC.Classes.Eq b) => GHC.Classes.Eq (Prelude.Extras.Lift2 f a b)
instance GHC.Internal.Data.Foldable.Foldable f => GHC.Internal.Data.Foldable.Foldable (Prelude.Extras.Lift1 f)
instance GHC.Internal.Data.Foldable.Foldable (f a) => GHC.Internal.Data.Foldable.Foldable (Prelude.Extras.Lift2 f a)
instance GHC.Internal.Base.Functor f => GHC.Internal.Base.Functor (Prelude.Extras.Lift1 f)
instance GHC.Internal.Base.Functor (f a) => GHC.Internal.Base.Functor (Prelude.Extras.Lift2 f a)
instance Prelude.Extras.Ord1 f => Prelude.Extras.Ord1 (GHC.Internal.Data.Semigroup.Internal.Alt f)
instance GHC.Classes.Ord a => Prelude.Extras.Ord1 (GHC.Internal.Data.Functor.Const.Const a)
instance Prelude.Extras.Ord1 GHC.Internal.Data.Ord.Down
instance Prelude.Extras.Ord1 GHC.Internal.Data.Semigroup.Internal.Dual
instance GHC.Classes.Ord a => Prelude.Extras.Ord1 (GHC.Internal.Data.Either.Either a)
instance Prelude.Extras.Ord1 GHC.Internal.Data.Monoid.First
instance Prelude.Extras.Ord1 Data.Fixed.Fixed
instance Prelude.Extras.Ord1 GHC.Internal.ForeignPtr.ForeignPtr
instance Prelude.Extras.Ord1 GHC.Internal.Ptr.FunPtr
instance Prelude.Extras.Ord1 GHC.Internal.Data.Functor.Identity.Identity
instance Prelude.Extras.Ord1 GHC.Internal.Data.Monoid.Last
instance Prelude.Extras.Ord1 f => Prelude.Extras.Ord1 (Prelude.Extras.Lift1 f)
instance (Prelude.Extras.Ord2 f, GHC.Classes.Ord a) => Prelude.Extras.Ord1 (Prelude.Extras.Lift2 f a)
instance Prelude.Extras.Ord1 []
instance Prelude.Extras.Ord1 GHC.Internal.Maybe.Maybe
instance Prelude.Extras.Ord1 GHC.Internal.Data.Semigroup.Internal.Product
instance Prelude.Extras.Ord1 GHC.Internal.Data.Proxy.Proxy
instance Prelude.Extras.Ord1 GHC.Internal.Ptr.Ptr
instance Prelude.Extras.Ord1 GHC.Internal.Data.Semigroup.Internal.Sum
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f, GHC.Classes.Ord g, GHC.Classes.Ord h, GHC.Classes.Ord i) => Prelude.Extras.Ord1 ((,,,,,,,,,) a b c d e f g h i)
instance GHC.Classes.Ord a => Prelude.Extras.Ord1 ((,) a)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b) => Prelude.Extras.Ord1 ((,,) a b)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c) => Prelude.Extras.Ord1 ((,,,) a b c)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d) => Prelude.Extras.Ord1 ((,,,,) a b c d)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e) => Prelude.Extras.Ord1 ((,,,,,) a b c d e)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f) => Prelude.Extras.Ord1 ((,,,,,,) a b c d e f)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f, GHC.Classes.Ord g) => Prelude.Extras.Ord1 ((,,,,,,,) a b c d e f g)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f, GHC.Classes.Ord g, GHC.Classes.Ord h) => Prelude.Extras.Ord1 ((,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Ord1 GHC.Internal.Functor.ZipList.ZipList
instance Prelude.Extras.Ord2 GHC.Internal.Data.Functor.Const.Const
instance Prelude.Extras.Ord2 GHC.Internal.Data.Either.Either
instance Prelude.Extras.Ord2 f => Prelude.Extras.Ord2 (Prelude.Extras.Lift2 f)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f, GHC.Classes.Ord g, GHC.Classes.Ord h) => Prelude.Extras.Ord2 ((,,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Ord2 (,)
instance GHC.Classes.Ord a => Prelude.Extras.Ord2 ((,,) a)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b) => Prelude.Extras.Ord2 ((,,,) a b)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c) => Prelude.Extras.Ord2 ((,,,,) a b c)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d) => Prelude.Extras.Ord2 ((,,,,,) a b c d)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e) => Prelude.Extras.Ord2 ((,,,,,,) a b c d e)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f) => Prelude.Extras.Ord2 ((,,,,,,,) a b c d e f)
instance (GHC.Classes.Ord a, GHC.Classes.Ord b, GHC.Classes.Ord c, GHC.Classes.Ord d, GHC.Classes.Ord e, GHC.Classes.Ord f, GHC.Classes.Ord g) => Prelude.Extras.Ord2 ((,,,,,,,,) a b c d e f g)
instance (Prelude.Extras.Ord1 f, GHC.Classes.Ord a) => GHC.Classes.Ord (Prelude.Extras.Lift1 f a)
instance (Prelude.Extras.Ord2 f, GHC.Classes.Ord a, GHC.Classes.Ord b) => GHC.Classes.Ord (Prelude.Extras.Lift2 f a b)
instance Prelude.Extras.Read1 f => Prelude.Extras.Read1 (GHC.Internal.Data.Semigroup.Internal.Alt f)
instance Prelude.Extras.Read1 Data.Complex.Complex
instance GHC.Internal.Read.Read a => Prelude.Extras.Read1 (GHC.Internal.Data.Functor.Const.Const a)
instance Prelude.Extras.Read1 GHC.Internal.Data.Ord.Down
instance Prelude.Extras.Read1 GHC.Internal.Data.Semigroup.Internal.Dual
instance GHC.Internal.Read.Read a => Prelude.Extras.Read1 (GHC.Internal.Data.Either.Either a)
instance Prelude.Extras.Read1 GHC.Internal.Data.Monoid.First
instance Prelude.Extras.Read1 GHC.Internal.Data.Functor.Identity.Identity
instance Prelude.Extras.Read1 GHC.Internal.Data.Monoid.Last
instance Prelude.Extras.Read1 f => Prelude.Extras.Read1 (Prelude.Extras.Lift1 f)
instance (Prelude.Extras.Read2 f, GHC.Internal.Read.Read a) => Prelude.Extras.Read1 (Prelude.Extras.Lift2 f a)
instance Prelude.Extras.Read1 []
instance Prelude.Extras.Read1 GHC.Internal.Maybe.Maybe
instance Prelude.Extras.Read1 GHC.Internal.Data.Semigroup.Internal.Product
instance Prelude.Extras.Read1 GHC.Internal.Data.Proxy.Proxy
instance Prelude.Extras.Read1 GHC.Internal.Data.Semigroup.Internal.Sum
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f, GHC.Internal.Read.Read g, GHC.Internal.Read.Read h, GHC.Internal.Read.Read i) => Prelude.Extras.Read1 ((,,,,,,,,,) a b c d e f g h i)
instance GHC.Internal.Read.Read a => Prelude.Extras.Read1 ((,) a)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b) => Prelude.Extras.Read1 ((,,) a b)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c) => Prelude.Extras.Read1 ((,,,) a b c)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d) => Prelude.Extras.Read1 ((,,,,) a b c d)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e) => Prelude.Extras.Read1 ((,,,,,) a b c d e)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f) => Prelude.Extras.Read1 ((,,,,,,) a b c d e f)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f, GHC.Internal.Read.Read g) => Prelude.Extras.Read1 ((,,,,,,,) a b c d e f g)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f, GHC.Internal.Read.Read g, GHC.Internal.Read.Read h) => Prelude.Extras.Read1 ((,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Read1 GHC.Internal.Functor.ZipList.ZipList
instance Prelude.Extras.Read2 GHC.Internal.Data.Functor.Const.Const
instance Prelude.Extras.Read2 GHC.Internal.Data.Either.Either
instance Prelude.Extras.Read2 f => Prelude.Extras.Read2 (Prelude.Extras.Lift2 f)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f, GHC.Internal.Read.Read g, GHC.Internal.Read.Read h) => Prelude.Extras.Read2 ((,,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Read2 (,)
instance GHC.Internal.Read.Read a => Prelude.Extras.Read2 ((,,) a)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b) => Prelude.Extras.Read2 ((,,,) a b)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c) => Prelude.Extras.Read2 ((,,,,) a b c)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d) => Prelude.Extras.Read2 ((,,,,,) a b c d)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e) => Prelude.Extras.Read2 ((,,,,,,) a b c d e)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f) => Prelude.Extras.Read2 ((,,,,,,,) a b c d e f)
instance (GHC.Internal.Read.Read a, GHC.Internal.Read.Read b, GHC.Internal.Read.Read c, GHC.Internal.Read.Read d, GHC.Internal.Read.Read e, GHC.Internal.Read.Read f, GHC.Internal.Read.Read g) => Prelude.Extras.Read2 ((,,,,,,,,) a b c d e f g)
instance (Prelude.Extras.Read1 f, GHC.Internal.Read.Read a) => GHC.Internal.Read.Read (Prelude.Extras.Lift1 f a)
instance (Prelude.Extras.Read2 f, GHC.Internal.Read.Read a, GHC.Internal.Read.Read b) => GHC.Internal.Read.Read (Prelude.Extras.Lift2 f a b)
instance Prelude.Extras.Show1 f => Prelude.Extras.Show1 (GHC.Internal.Data.Semigroup.Internal.Alt f)
instance Prelude.Extras.Show1 Data.Complex.Complex
instance GHC.Internal.Show.Show a => Prelude.Extras.Show1 (GHC.Internal.Data.Functor.Const.Const a)
instance Prelude.Extras.Show1 GHC.Internal.Data.Ord.Down
instance Prelude.Extras.Show1 GHC.Internal.Data.Semigroup.Internal.Dual
instance GHC.Internal.Show.Show a => Prelude.Extras.Show1 (GHC.Internal.Data.Either.Either a)
instance Prelude.Extras.Show1 GHC.Internal.Data.Monoid.First
instance Prelude.Extras.Show1 GHC.Internal.ForeignPtr.ForeignPtr
instance Prelude.Extras.Show1 GHC.Internal.Ptr.FunPtr
instance Prelude.Extras.Show1 GHC.Internal.Data.Functor.Identity.Identity
instance Prelude.Extras.Show1 GHC.Internal.Data.Monoid.Last
instance Prelude.Extras.Show1 f => Prelude.Extras.Show1 (Prelude.Extras.Lift1 f)
instance (Prelude.Extras.Show2 f, GHC.Internal.Show.Show a) => Prelude.Extras.Show1 (Prelude.Extras.Lift2 f a)
instance Prelude.Extras.Show1 []
instance Prelude.Extras.Show1 GHC.Internal.Maybe.Maybe
instance Prelude.Extras.Show1 GHC.Internal.Data.Semigroup.Internal.Product
instance Prelude.Extras.Show1 GHC.Internal.Data.Proxy.Proxy
instance Prelude.Extras.Show1 GHC.Internal.Ptr.Ptr
instance Prelude.Extras.Show1 GHC.Internal.Data.Semigroup.Internal.Sum
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f, GHC.Internal.Show.Show g, GHC.Internal.Show.Show h, GHC.Internal.Show.Show i) => Prelude.Extras.Show1 ((,,,,,,,,,) a b c d e f g h i)
instance GHC.Internal.Show.Show a => Prelude.Extras.Show1 ((,) a)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b) => Prelude.Extras.Show1 ((,,) a b)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c) => Prelude.Extras.Show1 ((,,,) a b c)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d) => Prelude.Extras.Show1 ((,,,,) a b c d)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e) => Prelude.Extras.Show1 ((,,,,,) a b c d e)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f) => Prelude.Extras.Show1 ((,,,,,,) a b c d e f)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f, GHC.Internal.Show.Show g) => Prelude.Extras.Show1 ((,,,,,,,) a b c d e f g)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f, GHC.Internal.Show.Show g, GHC.Internal.Show.Show h) => Prelude.Extras.Show1 ((,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Show1 GHC.Internal.Functor.ZipList.ZipList
instance Prelude.Extras.Show2 GHC.Internal.Data.Functor.Const.Const
instance Prelude.Extras.Show2 GHC.Internal.Data.Either.Either
instance Prelude.Extras.Show2 f => Prelude.Extras.Show2 (Prelude.Extras.Lift2 f)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f, GHC.Internal.Show.Show g, GHC.Internal.Show.Show h) => Prelude.Extras.Show2 ((,,,,,,,,,) a b c d e f g h)
instance Prelude.Extras.Show2 (,)
instance GHC.Internal.Show.Show a => Prelude.Extras.Show2 ((,,) a)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b) => Prelude.Extras.Show2 ((,,,) a b)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c) => Prelude.Extras.Show2 ((,,,,) a b c)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d) => Prelude.Extras.Show2 ((,,,,,) a b c d)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e) => Prelude.Extras.Show2 ((,,,,,,) a b c d e)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f) => Prelude.Extras.Show2 ((,,,,,,,) a b c d e f)
instance (GHC.Internal.Show.Show a, GHC.Internal.Show.Show b, GHC.Internal.Show.Show c, GHC.Internal.Show.Show d, GHC.Internal.Show.Show e, GHC.Internal.Show.Show f, GHC.Internal.Show.Show g) => Prelude.Extras.Show2 ((,,,,,,,,) a b c d e f g)
instance (Prelude.Extras.Show1 f, GHC.Internal.Show.Show a) => GHC.Internal.Show.Show (Prelude.Extras.Lift1 f a)
instance (Prelude.Extras.Show2 f, GHC.Internal.Show.Show a, GHC.Internal.Show.Show b) => GHC.Internal.Show.Show (Prelude.Extras.Lift2 f a b)
instance GHC.Internal.Data.Traversable.Traversable f => GHC.Internal.Data.Traversable.Traversable (Prelude.Extras.Lift1 f)
instance GHC.Internal.Data.Traversable.Traversable (f a) => GHC.Internal.Data.Traversable.Traversable (Prelude.Extras.Lift2 f a)
