Proton.Lens
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 #