Core.Functor

PréludeChargé par défaut — aucun import nécessaire.

Functor

Synopsis

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

interface Functor f where
map : (a -> b) -> f a -> f b

Un Functor est un conteneur sur lequel on peut appliquer map, en préservant la forme. map g xs applique g à chaque élément de xs — sur une List c'est le map de liste habituel ; sur un Maybe, il map à l'intérieur d'un Just.

Instances : Either, Gen, LazyList, List, Map, Maybe, Pair, Property, Result, Stream, Tree, Vector

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

(<$>) est l'écriture opérateur de map — pratique dans les pipelines de style applicatif, p. ex. f <$> px <*> py.