Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8c2f8e82026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19

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