Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Lifting c d f where Source #
Instances
Lifting Semigroup Monoid Maybe Source # | |
Semigroup a => Lifting Semigroup Semigroup ((,) a :: Type -> Type) Source # | |
Monoid a => Lifting Monoid Monoid ((,) a :: Type -> Type) Source # | |
Lifting Semigroup Semigroup ((->) a :: Type -> Type) Source # | |
Lifting Monoid Monoid ((->) a :: Type -> Type) Source # | |
Lifting (Category :: (k -> k -> Type) -> Constraint) (Groupoid :: (k -> k -> Type) -> Constraint) (Iso :: (k -> k -> Type) -> k -> k -> Type) Source # | |
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) Source # | |
type Endolifting c = Lifting c c Source #