Copyright | Copyright © 2014-2015 PivotCloud Inc. |
---|---|

License | MIT |

Maintainer | Lars Kuhtz <lkuhtz@pivotmail.com> |

Stability | experimental |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

## Synopsis

- lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b
- over :: ((a -> Identity b) -> s -> Identity t) -> (a -> b) -> s -> t
- set :: ((a -> Identity b) -> s -> Identity t) -> b -> s -> t
- view :: MonadReader r m => ((a -> Const a a) -> r -> Const a r) -> m a
- type Lens' s a = Lens s s a a
- type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t
- type Iso' s a = Iso s s a a
- type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t)
- iso :: (s -> a) -> (b -> t) -> Iso s t a b
- (&) :: a -> (a -> b) -> b
- (<&>) :: Functor f => f a -> (a -> b) -> f b
- sshow :: (Show a, IsString s) => a -> s
- exceptT :: Monad m => (e -> m b) -> (a -> m b) -> ExceptT e m a -> m b
- errorT :: Monad m => ExceptT Text m a -> m a

# Lenses

type Lens' s a = Lens s s a a Source #

This is the same type as the type from the lens library with the same name.

In case it is already import from the lens package this should be hidden from the import.

type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t Source #

This is the same type as the type from the lens library with the same name.

In case it is already import from the lens package this should be hidden from the import.

type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t) Source #

This is the same type as the type from the lens library with the same name.

In case it is already import from the lens package this should be hidden from the import.