Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

Modulelens-5.3.6Haskell2010

Control.Lens.Internal.Setter

1 class

Packagelens-5.3.6
Exports1
LanguageHaskell2010
LicenceBSD-2-Clause
SourceSetter.hs

Setters

1 declaration

classclass (Applicative f, Distributive f, Traversable f) => Settable (f :: Type -> Type) where

Anything Settable must be isomorphic to the Identity Functor.

Methods

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

Instances3Settable

Settable IdentityDefined in lens-5.3.6 · Control.Lens.Internal.Setter
So you can pass our Control.Lens.Setter.Setter into combinators from other lens libraries.
Settable f => Settable (Backwards f)Defined in lens-5.3.6 · Control.Lens.Internal.Setter
backwards
(Settable f, Settable g) => Settable (Compose f g)Defined in lens-5.3.6 · Control.Lens.Internal.Setter