mix-arrows-0.1: Mixing effects of one arrow into another one
Control.Arrow.Mix.Along
Description
Category of arrows and arrow-like structures.
Synopsis
type :~> f g = forall i o. f i o -> g i oSource
Arrow morphism
type Along f i o input output = f (input, i) (output, o)Source
Sometimes we need to refine our morphism a bit; therefore, we use Along f i o instead of just f.
Along f i o
f
class AlongMap f whereSource
Something like a functor
Methods
alongMap :: (Arrow b, Arrow c) => (Along b i o :~> Along c i o) -> Along (f b) i o :~> Along (f c) i oSource
Instances