base-orphans-0.9.3: Backwards-compatible orphan instances for base

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 #