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

Anything Settable must be isomorphic to the Identity Functor.

Minimal complete definition

Methods

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

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

Instances details

Settable Identity Source #	So you can pass our `Setter` into combinators from other lens libraries.
Instance details 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 #	`backwards`
Instance details 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 #
Instance details 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 #