Data.Label

Working with fclabels.

Total monomorphic lenses.

type f :-> o

lens

get

set

modify

Vertical composition using Applicative.

point

(>-)

for

Working with isomorphisms.

data Iso cat i o

inv

iso

Derive labels using Template Haskell.

mkLabel

mkLabels

getLabel

fclabels