Generics.Pointless.Lenses.Combinators

Pointless Lenses: bidirectional lenses with point-free programming

This module lifts a standard set of point-free combinators into bidirectional lenses.

Point-free lens combinators

ap_lns :: Eq a => (b -> a) -> Lens (a -> b, a) b

Function application is a lens.

(?<) :: Eq a => Lens (a -> Bool, a) (Either a a)

Predicate application is a lens.

rexp_lns :: Lens b c -> Lens (a -> b) (a -> c)

The right exponentiation combinator as a lens. Applies a lens to the domain of a function.

curry_lns :: Lens ((a, b) -> c) (a -> b -> c)

uncurry_lns :: Lens (a -> b -> c) ((a, b) -> c)

(.<) :: Lens b a -> Lens c b -> Lens c a

The lens composition operator.

fst_lns :: (a -> b) -> Lens (a, b) a

The fst point-free combinator.

snd_lns :: (b -> a) -> Lens (a, b) b

The snd point-free combinator.

(><<) :: Lens c a -> Lens d b -> Lens (c, d) (a, b)

The >< point-free combinator.

(\/<) :: (c -> Either One One) -> Lens a c -> Lens b c -> Lens (Either a b) c

(.\/<) :: Lens a c -> Lens b c -> Lens (Either a b) c

The left-biased / point-free combinator. It chooses left values over right values in the create direction.

(\/.<) :: Lens a c -> Lens b c -> Lens (Either a b) c

The right-biased / point-free combinator. It chooses right values over left values in the create direction.

(-|-<) :: Lens c a -> Lens d b -> Lens (Either c d) (Either a b)

The -|- point-free combinator.

sum_lns :: ((a, d) -> c) -> ((b, c) -> d) -> Lens c a -> Lens d b -> Lens (Either c d) (Either a b)

The -|- point-free combinator with user-defined backward behavior.

(!<) :: (One -> c) -> Lens c One

The pnt point-free combinator.

(!\/<) :: Eq a => a -> Lens b a -> c -> Lens (Either c b) a

The (a!) / f point-free expression, where a is a constant and f a function. The additional argument of type c is the default value when the view matches the constant of type a.

(\/!<) :: Eq a => a -> Lens c a -> b -> Lens (Either c b) a

The f / (a!) point-free expression, where a is a constant and f a function. The additional argument of type b is the default value when the view matches the constant of type a.

(#\/<) :: Lens a c -> Lens b (Either c d) -> Lens (Either a b) (Either c d)

The inl / f point-free expression, where f is a function.

(\/$<) :: Lens a (Either c d) -> Lens b d -> Lens (Either a b) (Either c d)

The f / inr point-free expression, where f is a function.

(!/\<) :: Lens c a -> Lens c (One, a)

The bang / f point-free expression, where f is a function.

(/\!<) :: Lens c a -> Lens c (a, One)

The f / bang point-free expression, where f is a function.

Point-free isomorphism combinators

id_lns :: Lens c c

The lens identity combinator.

subr_lns :: Lens (a, (b, c)) (b, (a, c))

The subr point-free combinator.

subl_lns :: Lens ((a, b), c) ((a, c), b)

The subl point-free combinator.

cosubr_lns :: Lens (Either a (Either b c)) (Either b (Either a c))

The cosubr point-free combinator.

cosubl_lns :: Lens (Either (Either a b) c) (Either (Either a c) b)

The cosubl point-free combinator.

distp_lns :: Lens ((c, d), (a, b)) ((c, a), (d, b))

The distp point-free combinator.

dists_lns :: Lens (Either a b, Either c d) (Either (Either (a, c) (a, d)) (Either (b, c) (b, d)))

The dists point-free combinator.

swap_lns :: Lens (a, b) (b, a)

The swap point-free combinator.

coswap_lns :: Lens (Either a b) (Either b a)

The coswap point-free combinator

distl_lns :: Lens (Either a b, c) (Either (a, c) (b, c))

The distl point-free combinator.

undistl_lns :: Lens (Either (a, c) (b, c)) (Either a b, c)

The undistl point-free combinator.

distr_lns :: Lens (c, Either a b) (Either (c, a) (c, b))

The distr point-free combinator.

undistr_lns :: Lens (Either (c, a) (c, b)) (c, Either a b)

The undistr point-free combinator.

assocl_lns :: Lens (a, (b, c)) ((a, b), c)

The assocl point-free combinator.

assocr_lns :: Lens ((a, b), c) (a, (b, c))

The assocr point-free combinator.

coassocl_lns :: Lens (Either a (Either b c)) (Either (Either a b) c)

The coassocl point-free combinator.

coassocr_lns :: Lens (Either (Either a b) c) (Either a (Either b c))

The coassocr point-free combinator.