Control.Computation

Arrows

Computations

class Computation p

mapFst

mapSnd

precomp

postcomp

uncurry

inFst

inSnd

outFst

outSnd

Nested pairs

map1

map2

map3

map4

in1

in2

in3

in4

out1

out2

out3

out4

construct

destruct

(+:+)

(-:-)

Pure computations

type Pure

Links between computation types

class Link l

Connected computation types

class Connected p q

up

down