Data.Label.Point

The point data type that generalizes lens.

data Point cat g i f o

get

modify

set

identity

compose

Working with isomorphisms.

data Iso cat i o

inv

Specialized lens contexts.

type Total

type Partial

type Failing e

Arrow type class for failing with some error.

class ArrowFail e a