lens-4.4: Lenses, Folds and Traversals

Portabilitynon-portable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

Control.Lens.Internal.Setter

Contents

Description

 

Synopsis

Setters

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

Anything Settable must be isomorphic to the Identity Functor.

Methods

untainted :: f a -> aSource

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

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

Instances

Settable Identity

So you can pass our Setter into combinators from other lens libraries.

Settable f => Settable (Backwards f)

backwards

(Settable f, Settable g) => Settable (Compose f g)