Generic.Data.Orphans

Orphan instances. They should probably be upstreamed.

Orphan instances

Eq1 Par1

Methods

liftEq :: (a -> b -> Bool) -> Par1 a -> Par1 b -> Bool

Ord1 Par1

Methods

liftCompare :: (a -> b -> Ordering) -> Par1 a -> Par1 b -> Ordering

Eq1 (V1 :: Type -> Type)

Methods

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

Eq1 (U1 :: Type -> Type)

Methods

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

Ord1 (V1 :: Type -> Type)

Methods

liftCompare :: (a -> b -> Ordering) -> V1 a -> V1 b -> Ordering

Ord1 (U1 :: Type -> Type)

Methods

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

Eq1 f => Eq1 (Rec1 f)

Methods

liftEq :: (a -> b -> Bool) -> Rec1 f a -> Rec1 f b -> Bool

Ord1 f => Ord1 (Rec1 f)

Methods

liftCompare :: (a -> b -> Ordering) -> Rec1 f a -> Rec1 f b -> Ordering

Eq c => Eq1 (K1 i c :: Type -> Type)

Methods

liftEq :: (a -> b -> Bool) -> K1 i c a -> K1 i c b -> Bool

(Eq1 f, Eq1 g) => Eq1 (f :+: g)

Methods

liftEq :: (a -> b -> Bool) -> (f :+: g) a -> (f :+: g) b -> Bool

(Eq1 f, Eq1 g) => Eq1 (f :*: g)

Methods

liftEq :: (a -> b -> Bool) -> (f :*: g) a -> (f :*: g) b -> Bool

Ord c => Ord1 (K1 i c :: Type -> Type)

Methods

liftCompare :: (a -> b -> Ordering) -> K1 i c a -> K1 i c b -> Ordering

(Ord1 f, Ord1 g) => Ord1 (f :+: g)

Methods

liftCompare :: (a -> b -> Ordering) -> (f :+: g) a -> (f :+: g) b -> Ordering

(Ord1 f, Ord1 g) => Ord1 (f :*: g)

Methods

liftCompare :: (a -> b -> Ordering) -> (f :*: g) a -> (f :*: g) b -> Ordering

Eq1 f => Eq1 (M1 i c f)

Methods

liftEq :: (a -> b -> Bool) -> M1 i c f a -> M1 i c f b -> Bool

(Eq1 f, Eq1 g) => Eq1 (f :.: g)

Methods

liftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool

Ord1 f => Ord1 (M1 i c f)

Methods

liftCompare :: (a -> b -> Ordering) -> M1 i c f a -> M1 i c f b -> Ordering

(Ord1 f, Ord1 g) => Ord1 (f :.: g)

Methods

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