Data.Constraint.Lifting

Documentation

class Lifting c d f where

Methods

lift :: c a :- d (f a)

Instances

Lifting Semigroup Monoid Maybe

Defined in Data.Constraint.Lifting

Methods

lift :: Semigroup a :- Monoid (Maybe a)

Semigroup a => Lifting Semigroup Semigroup ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lift :: Semigroup a0 :- Semigroup (a, a0)

Monoid a => Lifting Monoid Monoid ((,) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lift :: Monoid a0 :- Monoid (a, a0)

Lifting Semigroup Semigroup ((->) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lift :: Semigroup a0 :- Semigroup (a -> a0)

Lifting Monoid Monoid ((->) a :: Type -> Type)

Defined in Data.Constraint.Lifting

Methods

lift :: Monoid a0 :- Monoid (a -> a0)

Lifting (Category :: (k -> k -> Type) -> Constraint) (Groupoid :: (k -> k -> Type) -> Constraint) (Iso :: (k -> k -> Type) -> k -> k -> Type)

Defined in Data.Constraint.Lifting

Methods

lift :: Category a :- Groupoid (Iso a)

Lifting (Functor s ((->) :: Type -> Type -> Type) :: (k2 -> Type) -> Constraint) (Functor (NT s :: (k1 -> k2) -> (k1 -> k2) -> Type) (NT ((->) :: Type -> Type -> Type) :: (k1 -> Type) -> (k1 -> Type) -> Type) :: ((k1 -> k2) -> k1 -> Type) -> Constraint) (Compose :: (k2 -> Type) -> (k1 -> k2) -> k1 -> Type)

Defined in Data.Constraint.Lifting

Methods

lift :: Functor s (->) a :- Functor (NT s) (NT (->)) (Compose a)

type Endolifting c = Lifting c c