prelude-extras-0.4: Haskell 98 - higher order versions of Prelude classes

Safe Haskell	Safe-Inferred

Prelude.Extras

Contents

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

Synopsis

Lifted Prelude classes for kind * -> *

class Eq1 f whereSource

Methods

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

Instances

Eq1 []
Eq1 Maybe
Eq a => Eq1 (Either a)
Eq1 f => Eq1 (Lift1 f)
(Eq2 f, Eq a) => Eq1 (Lift2 f a)

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

class Eq1 f => Ord1 f whereSource

Methods

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

Instances

Ord1 []
Ord1 Maybe
Ord a => Ord1 (Either a)
Ord1 f => Ord1 (Lift1 f)
(Ord2 f, Ord a) => Ord1 (Lift2 f a)

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

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

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

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

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

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

class Show1 f whereSource

Methods

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

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

Instances

Show1 []
Show1 Maybe
Show a => Show1 (Either a)
Show a => Show1 ((,) a)
Show1 f => Show1 (Lift1 f)
(Show2 f, Show a) => Show1 (Lift2 f a)

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

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

class Read1 f whereSource

Methods

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

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

Instances

Read1 []
Read1 Maybe
Read a => Read1 (Either a)
Read a => Read1 ((,) a)
Read1 f => Read1 (Lift1 f)
(Read2 f, Read a) => Read1 (Lift2 f a)

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

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 a Source

Constructors

Lift1
Fields lower1 :: f a

Instances

Functor f => Functor (Lift1 f)
Foldable f => Foldable (Lift1 f)
Traversable f => Traversable (Lift1 f)
Read1 f => Read1 (Lift1 f)
Show1 f => Show1 (Lift1 f)
Ord1 f => Ord1 (Lift1 f)
Eq1 f => Eq1 (Lift1 f)
(Eq1 f, Eq a) => Eq (Lift1 f a)
(Ord1 f, Ord a) => Ord (Lift1 f a)
(Read1 f, Read a) => Read (Lift1 f a)
(Show1 f, Show a) => Show (Lift1 f a)

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

class Eq2 f whereSource

Methods

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

Instances

Eq2 Either
Eq2 f => Eq2 (Lift2 f)

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

class Eq2 f => Ord2 f whereSource

Methods

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

Instances

Ord2 Either
Ord2 f => Ord2 (Lift2 f)

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

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

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

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

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

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

class Show2 f whereSource

Methods

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

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

Instances

Show2 Either
Show2 (,)
Show2 f => Show2 (Lift2 f)

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 whereSource

Methods

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

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

Instances

Read2 Either
Read2 (,)
Read2 f => Read2 (Lift2 f)

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

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 a b Source

Constructors

Lift2
Fields lower2 :: f a b

Instances

Read2 f => Read2 (Lift2 f)
Show2 f => Show2 (Lift2 f)
Ord2 f => Ord2 (Lift2 f)
Eq2 f => Eq2 (Lift2 f)
Functor (f a) => Functor (Lift2 f a)
Foldable (f a) => Foldable (Lift2 f a)
Traversable (f a) => Traversable (Lift2 f a)
(Read2 f, Read a) => Read1 (Lift2 f a)
(Show2 f, Show a) => Show1 (Lift2 f a)
(Ord2 f, Ord a) => Ord1 (Lift2 f a)
(Eq2 f, Eq a) => Eq1 (Lift2 f a)
(Eq2 f, Eq a, Eq b) => Eq (Lift2 f a b)
(Ord2 f, Ord a, Ord b) => Ord (Lift2 f a b)
(Read2 f, Read a, Read b) => Read (Lift2 f a b)
(Show2 f, Show a, Show b) => Show (Lift2 f a b)