Portability | non-portable |
---|---|

Stability | provisional |

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

Safe Haskell | Trustworthy |

- 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)

- newtype Mutator a = Mutator {
- runMutator :: a

## Setters

class (Applicative f, Distributive f, Traversable f) => Settable f whereSource

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

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

Settable Identity | So you can pass our |

Settable Mutator | |

(Applicative (Backwards f), Distributive (Backwards f), Traversable (Backwards f), Settable f) => Settable (Backwards f) | |

(Applicative (Compose f g), Distributive (Compose f g), Traversable (Compose f g), Settable f, Settable g) => Settable (Compose f g) |