Untitled
By: a guest | Feb 4th, 2010 | Syntax:
Haskell | Size: 0.21 KB | Hits: 71 | Expires: Never
fmap :: ( a
-> b
) -> f a
-> f b
class ContraFunctor f where
contraMap :: ( a -> b ) -> (f b -> f a)
instance ContraFunctor
Maybe where
contraMap f (Just a) = Just (f a)