Module
Data.Lens.Setter
- Package
- profunctor-lenses
- Repository
- purerl/purescript-profunctor-lenses
This module defines functions for working with setters.
#iover Source
iover :: forall i s t a b. IndexedSetter i s t a b -> (i -> a -> b) -> s -> t
Apply a function to the foci of a Setter
that may vary with the index.
#divOver Source
divOver :: forall s t a. EuclideanRing a => Setter s t a a -> a -> s -> t
#disjOver Source
disjOver :: forall s t a. HeytingAlgebra a => Setter s t a a -> a -> s -> t
#conjOver Source
conjOver :: forall s t a. HeytingAlgebra a => Setter s t a a -> a -> s -> t
#appendOver Source
appendOver :: forall s t a. Semigroup a => Setter s t a a -> a -> s -> t
#assign Source
assign :: forall s a b m. MonadState s m => Setter s s a b -> b -> m Unit
Set the foci of a Setter
in a monadic state to a constant value.
#modifying Source
modifying :: forall s a b m. MonadState s m => Setter s s a b -> (a -> b) -> m Unit
Modify the foci of a Setter
in a monadic state.
#addModifying Source
addModifying :: forall s a m. MonadState s m => Semiring a => Setter' s a -> a -> m Unit
#mulModifying Source
mulModifying :: forall s a m. MonadState s m => Semiring a => Setter' s a -> a -> m Unit
#subModifying Source
subModifying :: forall s a m. MonadState s m => Ring a => Setter' s a -> a -> m Unit
#divModifying Source
divModifying :: forall s a m. MonadState s m => EuclideanRing a => Setter' s a -> a -> m Unit
#disjModifying Source
disjModifying :: forall s a m. MonadState s m => HeytingAlgebra a => Setter' s a -> a -> m Unit
#conjModifying Source
conjModifying :: forall s a m. MonadState s m => HeytingAlgebra a => Setter' s a -> a -> m Unit
#appendModifying Source
appendModifying :: forall s a m. MonadState s m => Semigroup a => Setter' s a -> a -> m Unit
#assignJust Source
assignJust :: forall s a b m. MonadState s m => Setter s s a (Maybe b) -> b -> m Unit
Re-exports from Data.Lens.Types
#IndexedSetter Source
type IndexedSetter i s t a b = IndexedOptic Function i s t a b
An indexed setter.
- Modules
- Data.
Lens - Data.
Lens. AffineTraversal - Data.
Lens. At - Data.
Lens. Common - Data.
Lens. Fold - Data.
Lens. Fold. Partial - Data.
Lens. Getter - Data.
Lens. Grate - Data.
Lens. Index - Data.
Lens. Indexed - Data.
Lens. Internal. Bazaar - Data.
Lens. Internal. Exchange - Data.
Lens. Internal. Focusing - Data.
Lens. Internal. Forget - Data.
Lens. Internal. Grating - Data.
Lens. Internal. Indexed - Data.
Lens. Internal. Market - Data.
Lens. Internal. Re - Data.
Lens. Internal. Shop - Data.
Lens. Internal. Stall - Data.
Lens. Internal. Tagged - Data.
Lens. Internal. Wander - Data.
Lens. Internal. Zipping - Data.
Lens. Iso - Data.
Lens. Iso. Newtype - Data.
Lens. Lens - Data.
Lens. Lens. Product - Data.
Lens. Lens. Tuple - Data.
Lens. Lens. Unit - Data.
Lens. Lens. Void - Data.
Lens. Prism - Data.
Lens. Prism. Coproduct - Data.
Lens. Prism. Either - Data.
Lens. Prism. Maybe - Data.
Lens. Record - Data.
Lens. Setter - Data.
Lens. Traversal - Data.
Lens. Types - Data.
Lens. Zoom