Safe Haskell	Trustworthy
Language	Haskell2010

Data.Orphans

Contents

Orphan instances

Description

Exports orphan instances that mimic instances available in later versions of base. To use them, simply import Data.Orphans ().

Orphan instances

Eq1 Par1 Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> Par1 a -> Par1 b -> Bool Source #
Ord1 Par1 Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> Par1 a -> Par1 b -> Ordering Source #
Read1 Par1 Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Par1 a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Par1 a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Par1 a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Par1 a] Source #
Show1 Par1 Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Par1 a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Par1 a] -> ShowS Source #
Eq1 (U1 :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> U1 a -> U1 b -> Bool Source #
Eq1 (UAddr :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> UAddr a -> UAddr b -> Bool Source #
Eq1 (UChar :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> UChar a -> UChar b -> Bool Source #
Eq1 (UDouble :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> UDouble a -> UDouble b -> Bool Source #
Eq1 (UFloat :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> UFloat a -> UFloat b -> Bool Source #
Eq1 (UInt :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> UInt a -> UInt b -> Bool Source #
Eq1 (UWord :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> UWord a -> UWord b -> Bool Source #
Eq1 (V1 :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> V1 a -> V1 b -> Bool Source #
Ord1 (U1 :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> U1 a -> U1 b -> Ordering Source #
Ord1 (UAddr :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> UAddr a -> UAddr b -> Ordering Source #
Ord1 (UChar :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> UChar a -> UChar b -> Ordering Source #
Ord1 (UDouble :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> UDouble a -> UDouble b -> Ordering Source #
Ord1 (UFloat :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> UFloat a -> UFloat b -> Ordering Source #
Ord1 (UInt :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> UInt a -> UInt b -> Ordering Source #
Ord1 (UWord :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> UWord a -> UWord b -> Ordering Source #
Ord1 (V1 :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> V1 a -> V1 b -> Ordering Source #
Read1 (U1 :: Type -> Type) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (U1 a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [U1 a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (U1 a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [U1 a] Source #
Read1 (V1 :: Type -> Type) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V1 a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V1 a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V1 a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V1 a] Source #
Show1 (U1 :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> U1 a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [U1 a] -> ShowS Source #
Show1 (UAddr :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UAddr a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UAddr a] -> ShowS Source #
Show1 (UChar :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UChar a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UChar a] -> ShowS Source #
Show1 (UDouble :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UDouble a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UDouble a] -> ShowS Source #
Show1 (UFloat :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UFloat a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UFloat a] -> ShowS Source #
Show1 (UInt :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UInt a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UInt a] -> ShowS Source #
Show1 (UWord :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UWord a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UWord a] -> ShowS Source #
Show1 (V1 :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V1 a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V1 a] -> ShowS Source #
Monoid a => MonadFix ((,) a) Source #
Instance details Methods mfix :: (a0 -> (a, a0)) -> (a, a0) Source #
Eq1 f => Eq1 (Rec1 f) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> Rec1 f a -> Rec1 f b -> Bool Source #
Ord1 f => Ord1 (Rec1 f) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> Rec1 f a -> Rec1 f b -> Ordering Source #
Read1 f => Read1 (Rec1 f) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Rec1 f a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Rec1 f a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Rec1 f a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Rec1 f a] Source #
Show1 f => Show1 (Rec1 f) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Rec1 f a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Rec1 f a] -> ShowS Source #
Show (UAddr p) Source #
Instance details Methods showsPrec :: Int -> UAddr p -> ShowS Source # show :: UAddr p -> String Source # showList :: [UAddr p] -> ShowS Source #
(Eq1 f, Eq1 g) => Eq1 (f :*: g) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> (f :: g) a -> (f :: g) b -> Bool Source #
(Eq1 f, Eq1 g) => Eq1 (f :+: g) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> (f :+: g) a -> (f :+: g) b -> Bool Source #
Eq c => Eq1 (K1 i c :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> K1 i c a -> K1 i c b -> Bool Source #
(Ord1 f, Ord1 g) => Ord1 (f :*: g) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> (f :: g) a -> (f :: g) b -> Ordering Source #
(Ord1 f, Ord1 g) => Ord1 (f :+: g) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> (f :+: g) a -> (f :+: g) b -> Ordering Source #
Ord c => Ord1 (K1 i c :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> K1 i c a -> K1 i c b -> Ordering Source #
(Read1 f, Read1 g) => Read1 (f :*: g) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :: g) a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :: g) a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :: g) a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :: g) a] Source #
(Read1 f, Read1 g) => Read1 (f :+: g) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :+: g) a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :+: g) a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :+: g) a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :+: g) a] Source #
Read c => Read1 (K1 i c :: Type -> Type) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (K1 i c a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [K1 i c a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (K1 i c a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [K1 i c a] Source #
(Show1 f, Show1 g) => Show1 (f :*: g) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :: g) a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [(f :: g) a] -> ShowS Source #
(Show1 f, Show1 g) => Show1 (f :+: g) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :+: g) a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [(f :+: g) a] -> ShowS Source #
Show c => Show1 (K1 i c :: Type -> Type) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> K1 i c a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [K1 i c a] -> ShowS Source #
(Eq1 f, Eq1 g) => Eq1 (f :.: g) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool Source #
Eq1 f => Eq1 (M1 i c f) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> M1 i c f a -> M1 i c f b -> Bool Source #
(Ord1 f, Ord1 g) => Ord1 (f :.: g) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering Source #
Ord1 f => Ord1 (M1 i c f) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> M1 i c f a -> M1 i c f b -> Ordering Source #
(Read1 f, Read1 g) => Read1 (f :.: g) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :.: g) a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :.: g) a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :.: g) a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :.: g) a] Source #
Read1 f => Read1 (M1 i c f) Source #
Instance details Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (M1 i c f a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [M1 i c f a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (M1 i c f a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [M1 i c f a] Source #
(Show1 f, Show1 g) => Show1 (f :.: g) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :.: g) a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [(f :.: g) a] -> ShowS Source #
Show1 f => Show1 (M1 i c f) Source #
Instance details Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> M1 i c f a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [M1 i c f a] -> ShowS Source #