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 |
Control.Lens.Internal.Setter
Contents
Description
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 #
Minimal complete definition
Methods
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 Methods 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 Methods 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 Methods 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 # |