Data.Cofunctor.Cocoyoneda

Cocoyoneda gives a cofree cofunctor for any type constructor.

Documentation

data Cocoyoneda f a where

Constructors

Cocoyoneda :: (a -> b) -> f a -> Cocoyoneda f b

Instances

Cofunctor (Cocoyoneda f)

Methods

cofmap :: (b -> a) -> Cocoyoneda f b -> Cocoyoneda f a

liftCocoyoneda :: f a -> Cocoyoneda f a

lowerCocoyoneda :: Cofunctor f => Cocoyoneda f a -> f a

hoistCocoyoneda :: (forall a. f a -> g a) -> Cocoyoneda f b -> Cocoyoneda g b