> module Data.Cofunctor (
> Cofunctor(..)
> ) where
>
> {- |
> /DEPRECATED: please use the "contravariant" package/
>
> The Confunctor class is useful for \"sink-like\" types, especially when
> combined with GADTs. For instance:
>
> > {-# LANGUAGE GADTs #-}
> > data StringStack a where
> > StringStack :: (a -> String) -> [String] -> StringStack a
> >
> > emptyStack :: StringStack String
> > emptyStack = StringStack id []
> >
> > push :: a -> StringStack a -> StringStack a
> > push a (StringStack f ss) = StringStack f (f s : ss)
> >
> > instance Confunctor StringStack where
> > cofmap f (StringStack g ss) = StringStack (g . f) ss
>
> See the "split-chan" package for another example.
> -}
Hopefully we'll have some more interesting supporting functions, classes and
instances here that will make this more useful and perhaps express some
relations with Functors.
> -- | A class for contravariant functors
> class Cofunctor f where
> cofmap :: (b -> a) -> f a -> f b
To Consider:
- lift product type from Data.Functor.Product to sum type (Either)
- make instance for wrapped Category with flipped vars
- ...