Copyright | (C) 2012-2016 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Stability | provisional |

Portability | non-portable |

Safe Haskell | Trustworthy |

Language | Haskell2010 |

## Synopsis

- class (Applicative f, Distributive f, Traversable f) => Settable f where
- untainted :: f a -> a
- untaintedDot :: Profunctor p => p a (f b) -> p a b
- taintedDot :: Profunctor p => p a b -> p a (f b)

## Setters

class (Applicative f, Distributive f, Traversable f) => Settable f where Source #

untainted :: f a -> a Source #

untaintedDot :: Profunctor p => p a (f b) -> p a b Source #

taintedDot :: Profunctor p => p a b -> p a (f b) Source #

#### Instances

Settable Identity Source # | So you can pass our |

Defined in Control.Lens.Internal.Setter untainted :: Identity a -> a Source # untaintedDot :: Profunctor p => p a (Identity b) -> p a b Source # taintedDot :: Profunctor p => p a b -> p a (Identity b) Source # | |

Settable f => Settable (Backwards f) Source # | |

Defined in Control.Lens.Internal.Setter untainted :: Backwards f a -> a Source # untaintedDot :: Profunctor p => p a (Backwards f b) -> p a b Source # taintedDot :: Profunctor p => p a b -> p a (Backwards f b) Source # | |

(Settable f, Settable g) => Settable (Compose f g) Source # | |

Defined in Control.Lens.Internal.Setter untainted :: Compose f g a -> a Source # untaintedDot :: Profunctor p => p a (Compose f g b) -> p a b Source # taintedDot :: Profunctor p => p a b -> p a (Compose f g b) Source # |