Safe Haskell | None |
---|

- class Functor f where
- type FunctorConstraint f x :: Constraint
- fmap :: (FunctorConstraint f a, FunctorConstraint f b) => (a -> b) -> f a -> f b

- (<$>) :: (Functor f, FunctorConstraint f a, FunctorConstraint f b) => (a -> b) -> f a -> f b

# Documentation

type FunctorConstraint f x :: ConstraintSource

fmap :: (FunctorConstraint f a, FunctorConstraint f b) => (a -> b) -> f a -> f bSource

(<$>) :: (Functor f, FunctorConstraint f a, FunctorConstraint f b) => (a -> b) -> f a -> f bSource

An infix synonym for `fmap`

.