prelude-extras-0.4.0.3: Higher order versions of Prelude classes

Safe Haskell | Trustworthy
Language | Haskell98

Prelude.Extras

Contents

- Lifted Prelude classes for kind * -> *
- Lifted Prelude classes for kind * -> * -> *

Synopsis

- class Eq1 (f :: Type -> Type) where
  - (==#) :: Eq a => f a -> f a -> Bool
- (/=#) :: (Eq1 f, Eq a) => f a -> f a -> Bool
- class Eq1 f => Ord1 (f :: Type -> Type) where
  - compare1 :: Ord a => f a -> f a -> Ordering
- (<#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
- (<=#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
- (>=#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
- (>#) :: (Ord1 f, Ord a) => f a -> f a -> Bool
- 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) where
  - showsPrec1 :: Show a => Int -> f a -> ShowS
  - showList1 :: 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) where
  - readsPrec1 :: Read a => Int -> ReadS (f a)
  - readList1 :: 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 {
  - lower1 :: f a
  }
- class Eq2 (f :: Type -> Type -> Type) where
  - (==##) :: (Eq a, Eq b) => f a b -> f a b -> Bool
- (/=##) :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool
- class Eq2 f => Ord2 (f :: Type -> Type -> Type) where
  - compare2 :: (Ord a, Ord b) => f a b -> f a b -> Ordering
- (<##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
- (<=##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
- (>=##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
- (>##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool
- 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) where
  - showsPrec2 :: (Show a, Show b) => Int -> f a b -> ShowS
  - showList2 :: (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) where
  - readsPrec2 :: (Read a, Read b) => Int -> ReadS (f a b)
  - readList2 :: (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 {
  - lower2 :: f a b
  }

# Lifted Prelude classes for kind * -> *

class Eq1 (f :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

(==#) :: Eq a => f a -> f a -> Bool infixr 4 Source #

default (==#) :: Eq (f a) => f a -> f a -> Bool Source #

#### Instances

Instances details

Eq1 Chan Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Chan a -> Chan a -> Bool Source #
Eq1 Complex Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Complex a -> Complex a -> Bool Source #
Eq1 TVar Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => TVar a -> TVar a -> Bool Source #
Eq1 Identity Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Identity a -> Identity a -> Bool Source #
Eq1 First Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => First a -> First a -> Bool Source #
Eq1 Last Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Last a -> Last a -> Bool Source #
Eq1 Down Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Down a -> Down a -> Bool Source #
Eq1 Dual Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Dual a -> Dual a -> Bool Source #
Eq1 Product Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Product a -> Product a -> Bool Source #
Eq1 Sum Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Sum a -> Sum a -> Bool Source #
Eq1 ForeignPtr Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => ForeignPtr a -> ForeignPtr a -> Bool Source #
Eq1 ZipList Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => ZipList a -> ZipList a -> Bool Source #
Eq1 IORef Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => IORef a -> IORef a -> Bool Source #
Eq1 MVar Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => MVar a -> MVar a -> Bool Source #
Eq1 FunPtr Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => FunPtr a -> FunPtr a -> Bool Source #
Eq1 Ptr Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Ptr a -> Ptr a -> Bool Source #
Eq1 Ratio Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Ratio a -> Ratio a -> Bool Source #
Eq1 StablePtr Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => StablePtr a -> StablePtr a -> Bool Source #
Eq1 Maybe Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Maybe a -> Maybe a -> Bool Source #
Eq1 [] Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => [a] -> [a] -> Bool Source #
Eq1 (Fixed :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Fixed a -> Fixed a -> Bool Source #
Eq a => Eq1 (Either a) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => Either a a0 -> Either a a0 -> Bool Source #
Eq1 (Proxy :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Proxy a -> Proxy a -> Bool Source #
Eq1 f => Eq1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Lift1 f a -> Lift1 f a -> Bool Source #
Eq a => Eq1 ((,) a) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, a0) -> (a, a0) -> Bool Source #
Eq a => Eq1 (Const a :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => Const a a0 -> Const a a0 -> Bool Source #
Eq1 f => Eq1 (Alt f) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Alt f a -> Alt f a -> Bool Source #
(Eq2 f, Eq a) => Eq1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => Lift2 f a a0 -> Lift2 f a a0 -> Bool Source #
(Eq a, Eq b) => Eq1 ((,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, a0) -> (a, b, a0) -> Bool Source #
(Eq a, Eq b, Eq c) => Eq1 ((,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, a0) -> (a, b, c, a0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d) => Eq1 ((,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, d, a0) -> (a, b, c, d, a0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq1 ((,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, d, e, a0) -> (a, b, c, d, e, a0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq1 ((,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, d, e, f, a0) -> (a, b, c, d, e, f, a0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq1 ((,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, d, e, f, g, a0) -> (a, b, c, d, e, f, g, a0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq1 ((,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, d, e, f, g, h, a0) -> (a, b, c, d, e, f, g, h, a0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq1 ((,,,,,,,,,) a b c d e f g h i) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => (a, b, c, d, e, f, g, h, i, a0) -> (a, b, c, d, e, f, g, h, i, a0) -> Bool Source #

(/=#) :: (Eq1 f, Eq a) => f a -> f a -> Bool infixr 4 Source #

class Eq1 f => Ord1 (f :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

compare1 :: Ord a => f a -> f a -> Ordering Source #

default compare1 :: Ord (f a) => f a -> f a -> Ordering Source #

#### Instances

Instances details

Ord1 Identity Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Identity a -> Identity a -> Ordering Source #
Ord1 First Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => First a -> First a -> Ordering Source #
Ord1 Last Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Last a -> Last a -> Ordering Source #
Ord1 Down Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Down a -> Down a -> Ordering Source #
Ord1 Dual Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Dual a -> Dual a -> Ordering Source #
Ord1 Product Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Product a -> Product a -> Ordering Source #
Ord1 Sum Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Sum a -> Sum a -> Ordering Source #
Ord1 ForeignPtr Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => ForeignPtr a -> ForeignPtr a -> Ordering Source #
Ord1 ZipList Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => ZipList a -> ZipList a -> Ordering Source #
Ord1 FunPtr Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => FunPtr a -> FunPtr a -> Ordering Source #
Ord1 Ptr Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Ptr a -> Ptr a -> Ordering Source #
Ord1 Maybe Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Maybe a -> Maybe a -> Ordering Source #
Ord1 [] Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => [a] -> [a] -> Ordering Source #
Ord1 (Fixed :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Fixed a -> Fixed a -> Ordering Source #
Ord a => Ord1 (Either a) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => Either a a0 -> Either a a0 -> Ordering Source #
Ord1 (Proxy :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Proxy a -> Proxy a -> Ordering Source #
Ord1 f => Ord1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Lift1 f a -> Lift1 f a -> Ordering Source #
Ord a => Ord1 ((,) a) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, a0) -> (a, a0) -> Ordering Source #
Ord a => Ord1 (Const a :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => Const a a0 -> Const a a0 -> Ordering Source #
Ord1 f => Ord1 (Alt f) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Alt f a -> Alt f a -> Ordering Source #
(Ord2 f, Ord a) => Ord1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => Lift2 f a a0 -> Lift2 f a a0 -> Ordering Source #
(Ord a, Ord b) => Ord1 ((,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, a0) -> (a, b, a0) -> Ordering Source #
(Ord a, Ord b, Ord c) => Ord1 ((,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, a0) -> (a, b, c, a0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d) => Ord1 ((,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, d, a0) -> (a, b, c, d, a0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord1 ((,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, d, e, a0) -> (a, b, c, d, e, a0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord1 ((,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, d, e, f, a0) -> (a, b, c, d, e, f, a0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord1 ((,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, d, e, f, g, a0) -> (a, b, c, d, e, f, g, a0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord1 ((,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, d, e, f, g, h, a0) -> (a, b, c, d, e, f, g, h, a0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i) => Ord1 ((,,,,,,,,,) a b c d e f g h i) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => (a, b, c, d, e, f, g, h, i, a0) -> (a, b, c, d, e, f, g, h, i, a0) -> Ordering Source #

(<#) :: (Ord1 f, Ord a) => f a -> f a -> Bool infixr 4 Source #

(<=#) :: (Ord1 f, Ord a) => f a -> f a -> Bool infixr 4 Source #

(>=#) :: (Ord1 f, Ord a) => f a -> f a -> Bool infixr 4 Source #

(>#) :: (Ord1 f, Ord a) => f a -> f a -> Bool infixr 4 Source #

max1 :: (Ord1 f, Ord a) => f a -> f a -> f a Source #

min1 :: (Ord1 f, Ord a) => f a -> f a -> f a Source #

class Show1 (f :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

showsPrec1 :: Show a => Int -> f a -> ShowS Source #

default showsPrec1 :: Show (f a) => Int -> f a -> ShowS Source #

showList1 :: Show a => [f a] -> ShowS Source #

#### Instances

Instances details

Show1 Complex Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Complex a -> ShowS Source # showList1 :: Show a => [Complex a] -> ShowS Source #
Show1 Identity Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Identity a -> ShowS Source # showList1 :: Show a => [Identity a] -> ShowS Source #
Show1 First Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> First a -> ShowS Source # showList1 :: Show a => [First a] -> ShowS Source #
Show1 Last Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Last a -> ShowS Source # showList1 :: Show a => [Last a] -> ShowS Source #
Show1 Down Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Down a -> ShowS Source # showList1 :: Show a => [Down a] -> ShowS Source #
Show1 Dual Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Dual a -> ShowS Source # showList1 :: Show a => [Dual a] -> ShowS Source #
Show1 Product Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Product a -> ShowS Source # showList1 :: Show a => [Product a] -> ShowS Source #
Show1 Sum Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Sum a -> ShowS Source # showList1 :: Show a => [Sum a] -> ShowS Source #
Show1 ForeignPtr Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> ForeignPtr a -> ShowS Source # showList1 :: Show a => [ForeignPtr a] -> ShowS Source #
Show1 ZipList Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> ZipList a -> ShowS Source # showList1 :: Show a => [ZipList a] -> ShowS Source #
Show1 FunPtr Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> FunPtr a -> ShowS Source # showList1 :: Show a => [FunPtr a] -> ShowS Source #
Show1 Ptr Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Ptr a -> ShowS Source # showList1 :: Show a => [Ptr a] -> ShowS Source #
Show1 Maybe Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Maybe a -> ShowS Source # showList1 :: Show a => [Maybe a] -> ShowS Source #
Show1 [] Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> [a] -> ShowS Source # showList1 :: Show a => [[a]] -> ShowS Source #
Show a => Show1 (Either a) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> Either a a0 -> ShowS Source # showList1 :: Show a0 => [Either a a0] -> ShowS Source #
Show1 (Proxy :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Proxy a -> ShowS Source # showList1 :: Show a => [Proxy a] -> ShowS Source #
Show1 f => Show1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Lift1 f a -> ShowS Source # showList1 :: Show a => [Lift1 f a] -> ShowS Source #
Show a => Show1 ((,) a) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, a0) -> ShowS Source # showList1 :: Show a0 => [(a, a0)] -> ShowS Source #
Show a => Show1 (Const a :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> Const a a0 -> ShowS Source # showList1 :: Show a0 => [Const a a0] -> ShowS Source #
Show1 f => Show1 (Alt f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Alt f a -> ShowS Source # showList1 :: Show a => [Alt f a] -> ShowS Source #
(Show2 f, Show a) => Show1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> Lift2 f a a0 -> ShowS Source # showList1 :: Show a0 => [Lift2 f a a0] -> ShowS Source #
(Show a, Show b) => Show1 ((,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, a0)] -> ShowS Source #
(Show a, Show b, Show c) => Show1 ((,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, a0)] -> ShowS Source #
(Show a, Show b, Show c, Show d) => Show1 ((,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, d, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, d, a0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e) => Show1 ((,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, d, e, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, d, e, a0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f) => Show1 ((,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, d, e, f, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, d, e, f, a0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show1 ((,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, d, e, f, g, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, d, e, f, g, a0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show1 ((,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, d, e, f, g, h, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, d, e, f, g, h, a0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show1 ((,,,,,,,,,) a b c d e f g h i) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> (a, b, c, d, e, f, g, h, i, a0) -> ShowS Source # showList1 :: Show a0 => [(a, b, c, d, e, f, g, h, i, a0)] -> ShowS Source #

show1 :: (Show1 f, Show a) => f a -> String Source #

shows1 :: (Show1 f, Show a) => f a -> ShowS Source #

class Read1 (f :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

readsPrec1 :: Read a => Int -> ReadS (f a) Source #

default readsPrec1 :: Read (f a) => Int -> ReadS (f a) Source #

readList1 :: Read a => ReadS [f a] Source #

#### Instances

Instances details

Read1 Complex Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Complex a) Source # readList1 :: Read a => ReadS [Complex a] Source #
Read1 Identity Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Identity a) Source # readList1 :: Read a => ReadS [Identity a] Source #
Read1 First Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (First a) Source # readList1 :: Read a => ReadS [First a] Source #
Read1 Last Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Last a) Source # readList1 :: Read a => ReadS [Last a] Source #
Read1 Down Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Down a) Source # readList1 :: Read a => ReadS [Down a] Source #
Read1 Dual Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Dual a) Source # readList1 :: Read a => ReadS [Dual a] Source #
Read1 Product Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Product a) Source # readList1 :: Read a => ReadS [Product a] Source #
Read1 Sum Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Sum a) Source # readList1 :: Read a => ReadS [Sum a] Source #
Read1 ZipList Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (ZipList a) Source # readList1 :: Read a => ReadS [ZipList a] Source #
Read1 Maybe Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Maybe a) Source # readList1 :: Read a => ReadS [Maybe a] Source #
Read1 [] Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS [a] Source # readList1 :: Read a => ReadS [[a]] Source #
Read a => Read1 (Either a) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (Either a a0) Source # readList1 :: Read a0 => ReadS [Either a a0] Source #
Read1 (Proxy :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Proxy a) Source # readList1 :: Read a => ReadS [Proxy a] Source #
Read1 f => Read1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Lift1 f a) Source # readList1 :: Read a => ReadS [Lift1 f a] Source #
Read a => Read1 ((,) a) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, a0) Source # readList1 :: Read a0 => ReadS [(a, a0)] Source #
Read a => Read1 (Const a :: Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (Const a a0) Source # readList1 :: Read a0 => ReadS [Const a a0] Source #
Read1 f => Read1 (Alt f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Alt f a) Source # readList1 :: Read a => ReadS [Alt f a] Source #
(Read2 f, Read a) => Read1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (Lift2 f a a0) Source # readList1 :: Read a0 => ReadS [Lift2 f a a0] Source #
(Read a, Read b) => Read1 ((,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, a0) Source # readList1 :: Read a0 => ReadS [(a, b, a0)] Source #
(Read a, Read b, Read c) => Read1 ((,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, a0)] Source #
(Read a, Read b, Read c, Read d) => Read1 ((,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, d, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, d, a0)] Source #
(Read a, Read b, Read c, Read d, Read e) => Read1 ((,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, d, e, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, d, e, a0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f) => Read1 ((,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, d, e, f, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, d, e, f, a0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f, Read g) => Read1 ((,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, d, e, f, g, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, d, e, f, g, a0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h) => Read1 ((,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, d, e, f, g, h, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, d, e, f, g, h, a0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i) => Read1 ((,,,,,,,,,) a b c d e f g h i) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (a, b, c, d, e, f, g, h, i, a0) Source # readList1 :: Read a0 => ReadS [(a, b, c, d, e, f, g, h, i, a0)] Source #

read1 :: (Read1 f, Read a) => String -> f a Source #

reads1 :: (Read1 f, Read a) => ReadS (f a) Source #

readPrec1 :: (Read1 f, Read a) => ReadPrec (f a) Source #

readListPrec1 :: (Read1 f, Read a) => ReadPrec [f a] Source #

readList1Default :: (Read1 f, Read a) => ReadS [f a] Source #

readListPrec1Default :: (Read1 f, Read a) => ReadPrec [f a] Source #

newtype Lift1 (f :: Type -> Type) a Source #

Constructors

Lift1 |

Fields

- lower1 :: f a

#### Instances

Instances details

Functor f => Functor (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods fmap :: (a -> b) -> Lift1 f a -> Lift1 f b Source # (<$) :: a -> Lift1 f b -> Lift1 f a Source #
Foldable f => Foldable (Lift1 f) Source # |

Instance details

Defined in Prelude.Extras

Methods

fold :: Monoid m => Lift1 f m -> m Source #

foldMap :: Monoid m => (a -> m) -> Lift1 f a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Lift1 f a -> m Source #

foldr :: (a -> b -> b) -> b -> Lift1 f a -> b Source #

foldr' :: (a -> b -> b) -> b -> Lift1 f a -> b Source #

foldl :: (b -> a -> b) -> b -> Lift1 f a -> b Source #

foldl' :: (b -> a -> b) -> b -> Lift1 f a -> b Source #

foldr1 :: (a -> a -> a) -> Lift1 f a -> a Source #

foldl1 :: (a -> a -> a) -> Lift1 f a -> a Source #

toList :: Lift1 f a -> [a] Source #

null :: Lift1 f a -> Bool Source #

length :: Lift1 f a -> Int Source #

elem :: Eq a => a -> Lift1 f a -> Bool Source #

maximum :: Ord a => Lift1 f a -> a Source #

minimum :: Ord a => Lift1 f a -> a Source #

sum :: Num a => Lift1 f a -> a Source #

product :: Num a => Lift1 f a -> a Source #

Traversable f => Traversable (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods traverse :: Applicative f0 => (a -> f0 b) -> Lift1 f a -> f0 (Lift1 f b) Source # sequenceA :: Applicative f0 => Lift1 f (f0 a) -> f0 (Lift1 f a) Source # mapM :: Monad m => (a -> m b) -> Lift1 f a -> m (Lift1 f b) Source # sequence :: Monad m => Lift1 f (m a) -> m (Lift1 f a) Source #
Eq1 f => Eq1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a => Lift1 f a -> Lift1 f a -> Bool Source #
Ord1 f => Ord1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a => Lift1 f a -> Lift1 f a -> Ordering Source #
Read1 f => Read1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a => Int -> ReadS (Lift1 f a) Source # readList1 :: Read a => ReadS [Lift1 f a] Source #
Show1 f => Show1 (Lift1 f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a => Int -> Lift1 f a -> ShowS Source # showList1 :: Show a => [Lift1 f a] -> ShowS Source #
(Read1 f, Read a) => Read (Lift1 f a) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec :: Int -> ReadS (Lift1 f a) Source # readList :: ReadS [Lift1 f a] Source # readPrec :: ReadPrec (Lift1 f a) Source # readListPrec :: ReadPrec [Lift1 f a] Source #
(Show1 f, Show a) => Show (Lift1 f a) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec :: Int -> Lift1 f a -> ShowS Source # show :: Lift1 f a -> String Source # showList :: [Lift1 f a] -> ShowS Source #
(Eq1 f, Eq a) => Eq (Lift1 f a) Source # |
Instance details Defined in Prelude.Extras Methods (==) :: Lift1 f a -> Lift1 f a -> Bool Source # (/=) :: Lift1 f a -> Lift1 f a -> Bool Source #
(Ord1 f, Ord a) => Ord (Lift1 f a) Source # |
Instance details Defined in Prelude.Extras Methods compare :: Lift1 f a -> Lift1 f a -> Ordering Source # (<) :: Lift1 f a -> Lift1 f a -> Bool Source # (<=) :: Lift1 f a -> Lift1 f a -> Bool Source # (>) :: Lift1 f a -> Lift1 f a -> Bool Source # (>=) :: Lift1 f a -> Lift1 f a -> Bool Source # max :: Lift1 f a -> Lift1 f a -> Lift1 f a Source # min :: Lift1 f a -> Lift1 f a -> Lift1 f a Source #

# Lifted Prelude classes for kind * -> * -> *

class Eq2 (f :: Type -> Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

(==##) :: (Eq a, Eq b) => f a b -> f a b -> Bool infixr 4 Source #

default (==##) :: Eq (f a b) => f a b -> f a b -> Bool Source #

#### Instances

Instances details

Eq2 Either Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a, Eq b) => Either a b -> Either a b -> Bool Source #
Eq2 (,) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a, Eq b) => (a, b) -> (a, b) -> Bool Source #
Eq2 (Const :: Type -> Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a, Eq b) => Const a b -> Const a b -> Bool Source #
Eq2 f => Eq2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a, Eq b) => Lift2 f a b -> Lift2 f a b -> Bool Source #
Eq a => Eq2 ((,,) a) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b) => (a, a0, b) -> (a, a0, b) -> Bool Source #
(Eq a, Eq b) => Eq2 ((,,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, a0, b0) -> (a, b, a0, b0) -> Bool Source #
(Eq a, Eq b, Eq c) => Eq2 ((,,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, c, a0, b0) -> (a, b, c, a0, b0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d) => Eq2 ((,,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, c, d, a0, b0) -> (a, b, c, d, a0, b0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq2 ((,,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, c, d, e, a0, b0) -> (a, b, c, d, e, a0, b0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq2 ((,,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, c, d, e, f, a0, b0) -> (a, b, c, d, e, f, a0, b0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq2 ((,,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, c, d, e, f, g, a0, b0) -> (a, b, c, d, e, f, g, a0, b0) -> Bool Source #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq2 ((,,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a0, Eq b0) => (a, b, c, d, e, f, g, h, a0, b0) -> (a, b, c, d, e, f, g, h, a0, b0) -> Bool Source #

(/=##) :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool infixr 4 Source #

class Eq2 f => Ord2 (f :: Type -> Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

compare2 :: (Ord a, Ord b) => f a b -> f a b -> Ordering Source #

default compare2 :: Ord (f a b) => f a b -> f a b -> Ordering Source #

#### Instances

Instances details

Ord2 Either Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a, Ord b) => Either a b -> Either a b -> Ordering Source #
Ord2 (,) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a, Ord b) => (a, b) -> (a, b) -> Ordering Source #
Ord2 (Const :: Type -> Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a, Ord b) => Const a b -> Const a b -> Ordering Source #
Ord2 f => Ord2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a, Ord b) => Lift2 f a b -> Lift2 f a b -> Ordering Source #
Ord a => Ord2 ((,,) a) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b) => (a, a0, b) -> (a, a0, b) -> Ordering Source #
(Ord a, Ord b) => Ord2 ((,,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, a0, b0) -> (a, b, a0, b0) -> Ordering Source #
(Ord a, Ord b, Ord c) => Ord2 ((,,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, c, a0, b0) -> (a, b, c, a0, b0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d) => Ord2 ((,,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, c, d, a0, b0) -> (a, b, c, d, a0, b0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord2 ((,,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, c, d, e, a0, b0) -> (a, b, c, d, e, a0, b0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord2 ((,,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, c, d, e, f, a0, b0) -> (a, b, c, d, e, f, a0, b0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord2 ((,,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, c, d, e, f, g, a0, b0) -> (a, b, c, d, e, f, g, a0, b0) -> Ordering Source #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord2 ((,,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a0, Ord b0) => (a, b, c, d, e, f, g, h, a0, b0) -> (a, b, c, d, e, f, g, h, a0, b0) -> Ordering Source #

(<##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool infixr 4 Source #

(<=##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool infixr 4 Source #

(>=##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool infixr 4 Source #

(>##) :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> Bool infixr 4 Source #

max2 :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> f a b Source #

min2 :: (Ord2 f, Ord a, Ord b) => f a b -> f a b -> f a b Source #

class Show2 (f :: Type -> Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

showsPrec2 :: (Show a, Show b) => Int -> f a b -> ShowS Source #

default showsPrec2 :: Show (f a b) => Int -> f a b -> ShowS Source #

showList2 :: (Show a, Show b) => [f a b] -> ShowS Source #

#### Instances

Instances details

Show2 Either Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a, Show b) => Int -> Either a b -> ShowS Source # showList2 :: (Show a, Show b) => [Either a b] -> ShowS Source #
Show2 (,) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a, Show b) => Int -> (a, b) -> ShowS Source # showList2 :: (Show a, Show b) => [(a, b)] -> ShowS Source #
Show2 (Const :: Type -> Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a, Show b) => Int -> Const a b -> ShowS Source # showList2 :: (Show a, Show b) => [Const a b] -> ShowS Source #
Show2 f => Show2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a, Show b) => Int -> Lift2 f a b -> ShowS Source # showList2 :: (Show a, Show b) => [Lift2 f a b] -> ShowS Source #
Show a => Show2 ((,,) a) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b) => Int -> (a, a0, b) -> ShowS Source # showList2 :: (Show a0, Show b) => [(a, a0, b)] -> ShowS Source #
(Show a, Show b) => Show2 ((,,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, a0, b0)] -> ShowS Source #
(Show a, Show b, Show c) => Show2 ((,,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, c, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, c, a0, b0)] -> ShowS Source #
(Show a, Show b, Show c, Show d) => Show2 ((,,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, c, d, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, c, d, a0, b0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e) => Show2 ((,,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, c, d, e, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, c, d, e, a0, b0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f) => Show2 ((,,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, c, d, e, f, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, c, d, e, f, a0, b0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show2 ((,,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, c, d, e, f, g, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, c, d, e, f, g, a0, b0)] -> ShowS Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show2 ((,,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a0, Show b0) => Int -> (a, b, c, d, e, f, g, h, a0, b0) -> ShowS Source # showList2 :: (Show a0, Show b0) => [(a, b, c, d, e, f, g, h, a0, b0)] -> ShowS Source #

show2 :: (Show2 f, Show a, Show b) => f a b -> String Source #

shows2 :: (Show2 f, Show a, Show b) => f a b -> ShowS Source #

class Read2 (f :: Type -> Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

readsPrec2 :: (Read a, Read b) => Int -> ReadS (f a b) Source #

default readsPrec2 :: Read (f a b) => Int -> ReadS (f a b) Source #

readList2 :: (Read a, Read b) => ReadS [f a b] Source #

#### Instances

Instances details

Read2 Either Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a, Read b) => Int -> ReadS (Either a b) Source # readList2 :: (Read a, Read b) => ReadS [Either a b] Source #
Read2 (,) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a, Read b) => Int -> ReadS (a, b) Source # readList2 :: (Read a, Read b) => ReadS [(a, b)] Source #
Read2 (Const :: Type -> Type -> Type) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a, Read b) => Int -> ReadS (Const a b) Source # readList2 :: (Read a, Read b) => ReadS [Const a b] Source #
Read2 f => Read2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a, Read b) => Int -> ReadS (Lift2 f a b) Source # readList2 :: (Read a, Read b) => ReadS [Lift2 f a b] Source #
Read a => Read2 ((,,) a) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b) => Int -> ReadS (a, a0, b) Source # readList2 :: (Read a0, Read b) => ReadS [(a, a0, b)] Source #
(Read a, Read b) => Read2 ((,,,) a b) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, a0, b0)] Source #
(Read a, Read b, Read c) => Read2 ((,,,,) a b c) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, c, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, c, a0, b0)] Source #
(Read a, Read b, Read c, Read d) => Read2 ((,,,,,) a b c d) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, c, d, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, c, d, a0, b0)] Source #
(Read a, Read b, Read c, Read d, Read e) => Read2 ((,,,,,,) a b c d e) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, c, d, e, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, c, d, e, a0, b0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f) => Read2 ((,,,,,,,) a b c d e f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, c, d, e, f, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, c, d, e, f, a0, b0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f, Read g) => Read2 ((,,,,,,,,) a b c d e f g) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, c, d, e, f, g, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, c, d, e, f, g, a0, b0)] Source #
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h) => Read2 ((,,,,,,,,,) a b c d e f g h) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a0, Read b0) => Int -> ReadS (a, b, c, d, e, f, g, h, a0, b0) Source # readList2 :: (Read a0, Read b0) => ReadS [(a, b, c, d, e, f, g, h, a0, b0)] Source #

read2 :: (Read2 f, Read a, Read b) => String -> f a b Source #

reads2 :: (Read2 f, Read a, Read b) => ReadS (f a b) Source #

readPrec2 :: (Read2 f, Read a, Read b) => ReadPrec (f a b) Source #

readListPrec2 :: (Read2 f, Read a, Read b) => ReadPrec [f a b] Source #

readList2Default :: (Read2 f, Read a, Read b) => ReadS [f a b] Source #

readListPrec2Default :: (Read2 f, Read a, Read b) => ReadPrec [f a b] Source #

newtype Lift2 (f :: Type -> Type -> Type) a b Source #

Constructors

Lift2 |

Fields

- lower2 :: f a b

#### Instances

Instances details

Eq2 f => Eq2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods (==##) :: (Eq a, Eq b) => Lift2 f a b -> Lift2 f a b -> Bool Source #
Ord2 f => Ord2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods compare2 :: (Ord a, Ord b) => Lift2 f a b -> Lift2 f a b -> Ordering Source #
Read2 f => Read2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec2 :: (Read a, Read b) => Int -> ReadS (Lift2 f a b) Source # readList2 :: (Read a, Read b) => ReadS [Lift2 f a b] Source #
Show2 f => Show2 (Lift2 f) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec2 :: (Show a, Show b) => Int -> Lift2 f a b -> ShowS Source # showList2 :: (Show a, Show b) => [Lift2 f a b] -> ShowS Source #
Functor (f a) => Functor (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods fmap :: (a0 -> b) -> Lift2 f a a0 -> Lift2 f a b Source # (<$) :: a0 -> Lift2 f a b -> Lift2 f a a0 Source #
Foldable (f a) => Foldable (Lift2 f a) Source # |

Instance details

Defined in Prelude.Extras

Methods

fold :: Monoid m => Lift2 f a m -> m Source #

foldMap :: Monoid m => (a0 -> m) -> Lift2 f a a0 -> m Source #

foldMap' :: Monoid m => (a0 -> m) -> Lift2 f a a0 -> m Source #

foldr :: (a0 -> b -> b) -> b -> Lift2 f a a0 -> b Source #

foldr' :: (a0 -> b -> b) -> b -> Lift2 f a a0 -> b Source #

foldl :: (b -> a0 -> b) -> b -> Lift2 f a a0 -> b Source #

foldl' :: (b -> a0 -> b) -> b -> Lift2 f a a0 -> b Source #

foldr1 :: (a0 -> a0 -> a0) -> Lift2 f a a0 -> a0 Source #

foldl1 :: (a0 -> a0 -> a0) -> Lift2 f a a0 -> a0 Source #

toList :: Lift2 f a a0 -> [a0] Source #

null :: Lift2 f a a0 -> Bool Source #

length :: Lift2 f a a0 -> Int Source #

elem :: Eq a0 => a0 -> Lift2 f a a0 -> Bool Source #

maximum :: Ord a0 => Lift2 f a a0 -> a0 Source #

minimum :: Ord a0 => Lift2 f a a0 -> a0 Source #

sum :: Num a0 => Lift2 f a a0 -> a0 Source #

product :: Num a0 => Lift2 f a a0 -> a0 Source #

Traversable (f a) => Traversable (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods traverse :: Applicative f0 => (a0 -> f0 b) -> Lift2 f a a0 -> f0 (Lift2 f a b) Source # sequenceA :: Applicative f0 => Lift2 f a (f0 a0) -> f0 (Lift2 f a a0) Source # mapM :: Monad m => (a0 -> m b) -> Lift2 f a a0 -> m (Lift2 f a b) Source # sequence :: Monad m => Lift2 f a (m a0) -> m (Lift2 f a a0) Source #
(Eq2 f, Eq a) => Eq1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods (==#) :: Eq a0 => Lift2 f a a0 -> Lift2 f a a0 -> Bool Source #
(Ord2 f, Ord a) => Ord1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods compare1 :: Ord a0 => Lift2 f a a0 -> Lift2 f a a0 -> Ordering Source #
(Read2 f, Read a) => Read1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec1 :: Read a0 => Int -> ReadS (Lift2 f a a0) Source # readList1 :: Read a0 => ReadS [Lift2 f a a0] Source #
(Show2 f, Show a) => Show1 (Lift2 f a) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec1 :: Show a0 => Int -> Lift2 f a a0 -> ShowS Source # showList1 :: Show a0 => [Lift2 f a a0] -> ShowS Source #
(Read2 f, Read a, Read b) => Read (Lift2 f a b) Source # |
Instance details Defined in Prelude.Extras Methods readsPrec :: Int -> ReadS (Lift2 f a b) Source # readList :: ReadS [Lift2 f a b] Source # readPrec :: ReadPrec (Lift2 f a b) Source # readListPrec :: ReadPrec [Lift2 f a b] Source #
(Show2 f, Show a, Show b) => Show (Lift2 f a b) Source # |
Instance details Defined in Prelude.Extras Methods showsPrec :: Int -> Lift2 f a b -> ShowS Source # show :: Lift2 f a b -> String Source # showList :: [Lift2 f a b] -> ShowS Source #
(Eq2 f, Eq a, Eq b) => Eq (Lift2 f a b) Source # |
Instance details Defined in Prelude.Extras Methods (==) :: Lift2 f a b -> Lift2 f a b -> Bool Source # (/=) :: Lift2 f a b -> Lift2 f a b -> Bool Source #
(Ord2 f, Ord a, Ord b) => Ord (Lift2 f a b) Source # |

Instance details

Defined in Prelude.Extras

Methods

compare :: Lift2 f a b -> Lift2 f a b -> Ordering Source #

(<) :: Lift2 f a b -> Lift2 f a b -> Bool Source #

(<=) :: Lift2 f a b -> Lift2 f a b -> Bool Source #

(>) :: Lift2 f a b -> Lift2 f a b -> Bool Source #

(>=) :: Lift2 f a b -> Lift2 f a b -> Bool Source #

max :: Lift2 f a b -> Lift2 f a b -> Lift2 f a b Source #

min :: Lift2 f a b -> Lift2 f a b -> Lift2 f a b Source #