lens-4.9: Lenses, Folds and Traversals

Copyright(C) 2012-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell98

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

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)