Data.Orphans

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