Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

## Synopsis

- _Left :: Prism (Either a c) (Either b c) a b
- _Right :: Prism (Either c a) (Either c b) a b
- _Just :: Prism (Maybe a) (Maybe b) a b
- _Nothing :: Prism' (Maybe a) ()
- here :: Traversal (These a c) (These b c) a b
- there :: Traversal (These c a) (These c b) a b
- _This :: Prism' (These a b) a
- _That :: Prism' (These a b) b
- _These :: Prism' (These a b) (a, b)

# Tuple

See instances, in particular for `Field1`

and `Field2`

type classes.
* Either

# Maybe

# These

here :: Traversal (These a c) (These b c) a b Source #

A `Traversal`

of the first half of a `These`

, suitable for use with Control.Lens.

`>>>`

That 1`over here show (That 1)`

`>>>`

These "'a'" 2`over here show (These 'a' 2)`