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

Safe HaskellSafe-Inferred

Prelude.Extras

Contents

Synopsis

Lifted Prelude classes for kind * -> *

class Eq1 f whereSource

Methods

(==#) :: Eq a => f a -> f a -> BoolSource

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 -> BoolSource

class Eq1 f => Ord1 f whereSource

Methods

compare1 :: Ord a => f a -> f a -> OrderingSource

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 -> BoolSource

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

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

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

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 -> ShowSSource

showList1 :: Show a => [f a] -> ShowSSource

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 -> StringSource

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

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

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 -> BoolSource

Instances

Eq2 Either 
Eq2 f => Eq2 (Lift2 f) 

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

class Eq2 f => Ord2 f whereSource

Methods

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

Instances

Ord2 Either 
Ord2 f => Ord2 (Lift2 f) 

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

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

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

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

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 -> ShowSSource

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

Instances

show2 :: (Show2 f, Show a, Show b) => f a b -> StringSource

shows2 :: (Show2 f, Show a, Show b) => f a b -> ShowSSource

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 :: (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

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)