Data.Lens.Common

second :: forall p c b a. Strong p => p b c -> p (Tuple a b) (Tuple a c)

first :: forall p c b a. Strong p => p a b -> p (Tuple a c) (Tuple b c)

_2 :: forall c b a. Lens (Tuple c a) (Tuple c b) a b

Lens for the second component of a Tuple.

_1 :: forall c b a. Lens (Tuple a c) (Tuple b c) a b

Lens for the first component of a Tuple.

united :: forall a. Lens' a Unit

There is a Unit in everything.

right :: forall p c b a. Choice p => p b c -> p (Either a b) (Either a c)

left :: forall p c b a. Choice p => p a b -> p (Either a c) (Either b c)

_Right :: forall c b a. Prism (Either c a) (Either c b) a b

Prism for the Right constructor of Either.

_Left :: forall c b a. Prism (Either a c) (Either b c) a b

Prism for the Left constructor of Either.

_Nothing :: forall b a. Prism (Maybe a) (Maybe b) Unit Unit

Prism for the Nothing constructor of Maybe.

_Just :: forall b a. Prism (Maybe a) (Maybe b) a b

Prism for the Just constructor of Maybe.