Generics.Pointless.Lenses.Examples.Examples

Pointless Lenses: bidirectional lenses with point-free programming

This module provides examples, examples and more examples.

Documentation

length_lns :: a -> Lens [a] Nat

List length lens.

zip_lns :: Either (Either One (b, [b])) (a, [a]) -> Lens ([a], [b]) [(a, b)]

List zipping lens. The aux transformation is merely for simplifying the constant argument

filter_lns :: Lens [Either a b] [a]

List filtering lens. The argument passed to snd_lns can be undefined because it will never be used

cat_lns :: Lens ([a], [a]) [a]

Binary list concatenation.

data Tree a

Constructors

Empty

Node a (Tree a) (Tree a)

Instances

Eq a => Eq (Tree a)

Show a => Show (Tree a)

Mu (Tree a)

flatten_lns :: Lens (Tree a) [a]

Flatten a tree.

concat_lns :: Lens [[a]] [a]

List concatenation.

map_lns :: Lens c a -> Lens [c] [a]

List mapping lens.

data T a

Generic mapping example using user-defined concrete generators

Constructors

Fst a

Next (T a)

Instances

Eq a => Eq (T a)

Show a => Show (T a)

Mu (T a)

aux :: T a -> a