Prelude.Functor

class Functor 

Functors

map : Functor f => (m : a -> b) -> f a -> f b

The action of the functor on morphisms

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

An infix alias for map: the action of a functor on morphisms.

Fixity

Left associative, precedence 4

f

the functor

m

the morphism