| Safe Haskell | None |
|---|
Control.ConstraintKinds.Functor
- 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
Associated Types
type FunctorConstraint f x :: ConstraintSource
Methods
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.