Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Endofunctor s ɯ => Comonad s ɯ where Source #
Instances
Comonad ((->) :: Type -> Type -> Type) Identity Source # | |
Comonad ((->) :: Type -> Type -> Type) NonEmpty Source # | |
Comonad ((->) :: Type -> Type -> Type) ((,) a :: Type -> Type) Source # | |
Comonad ((->) :: Type -> Type -> Type) (Arg a :: Type -> Type) Source # | |
Monoid m => Comonad ((->) :: Type -> Type -> Type) ((->) m :: Type -> Type) Source # | |