Module

Data.Lens.Common

This module defines common lenses and prisms.

Re-exports from Data.Lens.Lens.Tuple

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

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

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

Lens for the second component of a Tuple.

_1 :: forall a b c. 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 a b c p. Choice p => p b c -> p (Either a b) (Either a c)

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

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

Prism for the Right constructor of Either.

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

Prism for the Left constructor of Either.

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

Prism for the Nothing constructor of Maybe.

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

Prism for the Just constructor of Maybe.