Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulelens-5.3.5Haskell2010

Control.Lens.Internal.Setter

1 class

Packagelens-5.3.5
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.5 · 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.5 · Control.Lens.Internal.Setter
backwards
(Settable f, Settable g) => Settable (Compose f g)Defined in lens-5.3.5 · Control.Lens.Internal.Setter