ConstraintKinds-0.0.1.2: Repackages standard type classes with the ConstraintKinds extension

Safe HaskellNone

Control.ConstraintKinds.Functor

Synopsis

Documentation

class Functor f whereSource

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.