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 #