lens-4.15.1: Lenses, Folds and Traversals

Control.Lens.Internal.Setter

Contents

Description

Synopsis

## Setters

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

Anything Settable must be isomorphic to the Identity Functor.

Minimal complete definition

untainted

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

 Source # So you can pass our Setter into combinators from other lens libraries. Methodsuntainted :: 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 Methodsuntainted :: 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 # Methodsuntainted :: 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 #