Control.Invertible.Functor

This provides a subset of the functionality as the invariant package's Data.Functor.Invariant module, but based on Data.Invertible, without all the instances, and with an interface matching Data.Functor.

This module is intended to be imported qualified, e.g.,:

import qualified Control.Invertible.Functor as Inv

Documentation

class Functor f where

An invariant version of Functor, equivalent to Invariant.

Methods

fmap :: (a <-> b) -> f a -> f b

Instances

Functor Endo

Functor BiEndo

(Semigroupoid * a, Arrow a) => Functor (Bijection a b)

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

An infix synnonym for fmap.