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 | Safe-Inferred |
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 #
untaintedDot :: Profunctor p => p a (f b) -> p a b #
taintedDot :: Profunctor p => p a b -> p a (f b) #
Instances
Settable Identity # | So you can pass our |
Defined in Control.Lens.Internal.Setter untainted :: Identity a -> a # untaintedDot :: Profunctor p => p a (Identity b) -> p a b # taintedDot :: Profunctor p => p a b -> p a (Identity b) # | |
Settable f => Settable (Backwards f) # | |
Defined in Control.Lens.Internal.Setter untainted :: Backwards f a -> a # untaintedDot :: Profunctor p => p a (Backwards f b) -> p a b # taintedDot :: Profunctor p => p a b -> p a (Backwards f b) # | |
(Settable f, Settable g) => Settable (Compose f g) # | |
Defined in Control.Lens.Internal.Setter untainted :: Compose f g a -> a # untaintedDot :: Profunctor p => p a (Compose f g b) -> p a b # taintedDot :: Profunctor p => p a b -> p a (Compose f g b) # |