Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class Functor1 w where
Documentation
class Functor1 w where Source #
Objects in the category (Hask -> Hask) -> Hask
map1 :: (forall a. f a -> g a) -> w f -> w g Source #
mapCoerce1 :: (forall x. Coercion (f x) (g x)) -> w f -> w g Source #
mapCoerce1
c =map1
(coerceWith
c)