Documentation

type Lens s t a b = forall p. Strong p => p a b -> p s t Source #

type Lens' s a = Lens s s a a Source #

lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b Source #

_1 :: Lens (a, x) (b, x) a b Source #

_2 :: Lens (x, a) (x, b) a b Source #