class
class (Applicative f, Distributive f, Traversable f) => Settable (f :: Type -> Type) whereMethods
untainted :: f a -> auntaintedDot :: Profunctor p => p a (f b) -> p a btaintedDot :: Profunctor p => p a b -> p a (f b)
Instances3Settable
Settable IdentityDefined in lens-5.3.6 · Control.Lens.Internal.SetterSo you can pass our
Control.Lens.Setter.Setterinto combinators from other lens libraries.Settable f => Settable (Backwards f)Defined in lens-5.3.6 · Control.Lens.Internal.Setter(Settable f, Settable g) => Settable (Compose f g)Defined in lens-5.3.6 · Control.Lens.Internal.Setter