generic-data-1.1.0.1: Deriving instances with GHC.Generics and related utilities
Safe HaskellSafe-Inferred
LanguageHaskell2010

Generic.Data.Orphans

Description

Orphan instances.

The orphan instances in this module have been upstreamed in base 4.21 (GHC 9.12). This module is empty starting from that version. It remains for backwards compatiblity.

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 (U1 :: Type -> Type) Source # 
Instance details

Methods

liftEq :: (a -> b -> Bool) -> U1 a -> U1 b -> Bool #

Eq1 (V1 :: Type -> Type) Source # 
Instance details

Methods

liftEq :: (a -> b -> Bool) -> V1 a -> V1 b -> Bool #

Ord1 (U1 :: Type -> Type) Source # 
Instance details

Methods

liftCompare :: (a -> b -> Ordering) -> U1 a -> U1 b -> Ordering #

Ord1 (V1 :: Type -> Type) Source # 
Instance details

Methods

liftCompare :: (a -> b -> Ordering) -> V1 a -> V1 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 #

(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 #

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 #

(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 #

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 #

(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 (M1 i c f) Source # 
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) Source # 
Instance details

Methods

liftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering #

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 #