generic-data-0.6.0.1: Deriving instances with GHC.Generics and related utilities

Safe HaskellNone
LanguageHaskell2010

Generic.Data.Orphans

Contents

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 #