Safe Haskell | None |
---|---|
Language | Haskell98 |
- class Eq1 f where
- (/=#) :: (Eq1 f, Eq a) => f a -> f a -> Bool
- class Eq1 f => Ord1 f where
- (<#) :: (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 where
- show1 :: (Show1 f, Show a) => f a -> String
- shows1 :: (Show1 f, Show a) => f a -> ShowS
- class Read1 f where
- 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 a = Lift1 {
- lower1 :: f a
- class Eq2 f where
- (/=##) :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool
- class Eq2 f => Ord2 f where
- (<##) :: (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 where
- 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 where
- 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 a b = Lift2 {
- lower2 :: f a b
Lifted Prelude classes for kind * -> *
Nothing
Eq1 [] Source | |
Eq1 Ratio Source | |
Eq1 StablePtr Source | |
Eq1 Ptr Source | |
Eq1 FunPtr Source | |
Eq1 Identity Source | |
Eq1 Fixed Source | |
Eq1 Complex Source | |
Eq1 Chan Source | |
Eq1 ZipList Source | |
Eq1 TVar Source | |
Eq1 ForeignPtr Source | |
Eq1 IORef Source | |
Eq1 MVar Source | |
Eq1 Dual Source | |
Eq1 Sum Source | |
Eq1 Product Source | |
Eq1 First Source | |
Eq1 Last Source | |
Eq1 Down Source | |
Eq1 Maybe Source | |
Eq a => Eq1 (Either a) Source | |
Eq1 (Proxy *) Source | |
Eq1 f => Eq1 (Lift1 f) Source | |
Eq1 f => Eq1 (Alt * f) Source | |
(Eq2 f, Eq a) => Eq1 (Lift2 f a) Source | |
class Eq1 f => Ord1 f where Source
Nothing
Ord1 [] Source | |
Ord1 Ptr Source | |
Ord1 FunPtr Source | |
Ord1 Identity Source | |
Ord1 Fixed Source | |
Ord1 ZipList Source | |
Ord1 ForeignPtr Source | |
Ord1 Dual Source | |
Ord1 Sum Source | |
Ord1 Product Source | |
Ord1 First Source | |
Ord1 Last Source | |
Ord1 Down Source | |
Ord1 Maybe Source | |
Ord a => Ord1 (Either a) Source | |
Ord1 (Proxy *) Source | |
Ord1 f => Ord1 (Lift1 f) Source | |
Ord1 f => Ord1 (Alt * f) Source | |
(Ord2 f, Ord a) => Ord1 (Lift2 f a) Source | |
Nothing
Show1 [] Source | |
Show1 Ptr Source | |
Show1 FunPtr Source | |
Show1 Identity Source | |
Show1 Complex Source | |
Show1 ZipList Source | |
Show1 ForeignPtr Source | |
Show1 Dual Source | |
Show1 Sum Source | |
Show1 Product Source | |
Show1 First Source | |
Show1 Last Source | |
Show1 Down Source | |
Show1 Maybe Source | |
Show a => Show1 (Either a) Source | |
Show a => Show1 ((,) a) Source | |
Show1 (Proxy *) Source | |
Show1 f => Show1 (Lift1 f) Source | |
Show1 f => Show1 (Alt * f) Source | |
(Show2 f, Show a) => Show1 (Lift2 f a) Source | |
Nothing
Read1 [] Source | |
Read1 Identity Source | |
Read1 Complex Source | |
Read1 ZipList Source | |
Read1 Dual Source | |
Read1 Sum Source | |
Read1 Product Source | |
Read1 First Source | |
Read1 Last Source | |
Read1 Down Source | |
Read1 Maybe Source | |
Read a => Read1 (Either a) Source | |
Read a => Read1 ((,) a) Source | |
Read1 (Proxy *) Source | |
Read1 f => Read1 (Lift1 f) Source | |
Read1 f => Read1 (Alt * f) Source | |
(Read2 f, Read a) => Read1 (Lift2 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
Functor f => Functor (Lift1 f) Source | |
Foldable f => Foldable (Lift1 f) Source | |
Traversable f => Traversable (Lift1 f) Source | |
Read1 f => Read1 (Lift1 f) Source | |
Show1 f => Show1 (Lift1 f) Source | |
Ord1 f => Ord1 (Lift1 f) Source | |
Eq1 f => Eq1 (Lift1 f) Source | |
(Eq1 f, Eq a) => Eq (Lift1 f a) Source | |
(Ord1 f, Ord a) => Ord (Lift1 f a) Source | |
(Read1 f, Read a) => Read (Lift1 f a) Source | |
(Show1 f, Show a) => Show (Lift1 f a) Source | |
Lifted Prelude classes for kind * -> * -> *
Nothing
Read2 f => Read2 (Lift2 f) Source | |
Show2 f => Show2 (Lift2 f) Source | |
Ord2 f => Ord2 (Lift2 f) Source | |
Eq2 f => Eq2 (Lift2 f) Source | |
Functor (f a) => Functor (Lift2 f a) Source | |
Foldable (f a) => Foldable (Lift2 f a) Source | |
Traversable (f a) => Traversable (Lift2 f a) Source | |
(Read2 f, Read a) => Read1 (Lift2 f a) Source | |
(Show2 f, Show a) => Show1 (Lift2 f a) Source | |
(Ord2 f, Ord a) => Ord1 (Lift2 f a) Source | |
(Eq2 f, Eq a) => Eq1 (Lift2 f a) Source | |
(Eq2 f, Eq a, Eq b) => Eq (Lift2 f a b) Source | |
(Ord2 f, Ord a, Ord b) => Ord (Lift2 f a b) Source | |
(Read2 f, Read a, Read b) => Read (Lift2 f a b) Source | |
(Show2 f, Show a, Show b) => Show (Lift2 f a b) Source | |