Control.Arrow.Mix.Along

Category of arrows and arrow-like structures.

Documentation

type :~> f g = forall i o. f i o -> g i o

Arrow morphism

type Along f i o input output = f (input, i) (output, o)

Sometimes we need to refine our morphism a bit; therefore, we use Along f i o instead of just f.

class AlongMap f where

Something like a functor

Methods

alongMap :: (Arrow b, Arrow c) => (Along b i1 o1 :~> Along c i2 o2) -> Along (f b) i1 o1 :~> Along (f c) i2 o2

Instances

AlongMap (Mix a)