Safe Haskell	None
Language	Haskell2010

Generic.Data.Orphans

Contents

Orphan instances

Description

Orphan instances. They should probably be upstreamed.

Orphan instances

Eq1 Par1 Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> Par1 a -> Par1 b -> Bool #
Ord1 Par1 Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> Par1 a -> Par1 b -> Ordering #
Eq1 (V1 :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> V1 a -> V1 b -> Bool #
Eq1 (U1 :: Type -> Type) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> U1 a -> U1 b -> Bool #
Ord1 (V1 :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> V1 a -> V1 b -> Ordering #
Ord1 (U1 :: Type -> Type) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> U1 a -> U1 b -> Ordering #
Eq1 f => Eq1 (Rec1 f) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> Rec1 f a -> Rec1 f b -> Bool #
Ord1 f => Ord1 (Rec1 f) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> Rec1 f a -> Rec1 f b -> Ordering #
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 #
(Eq1 f, Eq1 g) => Eq1 (f :+: g) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> (f :+: g) a -> (f :+: g) b -> Bool #
(Eq1 f, Eq1 g) => Eq1 (f :*: g) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> (f :: g) a -> (f :: g) b -> Bool #
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 #
(Ord1 f, Ord1 g) => Ord1 (f :+: g) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> (f :+: g) a -> (f :+: g) b -> Ordering #
(Ord1 f, Ord1 g) => Ord1 (f :*: g) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> (f :: g) a -> (f :: g) b -> Ordering #
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 #
(Eq1 f, Eq1 g) => Eq1 (f :.: g) Source #
Instance details Methods liftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool #
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 #
(Ord1 f, Ord1 g) => Ord1 (f :.: g) Source #
Instance details Methods liftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering #