Control.Lens.Setter

Documentation

type Setter s t a b = (a -> Mutator b) -> s -> Mutator t

over :: Setter s t a b -> (a -> b) -> s -> t

set :: Setter s t a b -> b -> s -> t

(.~) :: Setter s t a b -> b -> s -> t infixr 4

(&) :: b -> (b -> c) -> c infixl 1

(%~) :: Setter s t a b -> (a -> b) -> s -> t infixr 4

(+~) :: Num a => Setter s t a a -> a -> s -> t infixr 4

(-~) :: Num a => Setter s t a a -> a -> s -> t infixr 4

(*~) :: Num a => Setter s t a a -> a -> s -> t infixr 4

(/~) :: Fractional a => Setter s t a a -> a -> s -> t infixr 4

(%=) :: MonadState s m => Setter s s a a -> (a -> a) -> m () infixl 4

(.=) :: MonadState s m => Setter s s a a -> a -> m () infixl 4

(+=) :: (Num a, MonadState s m) => Setter s s a a -> a -> m () infixl 4

(-=) :: (Num a, MonadState s m) => Setter s s a a -> a -> m () infixl 4

(*=) :: (Num a, MonadState s m) => Setter s s a a -> a -> m () infixl 4

(//=) :: (Fractional a, MonadState s m) => Setter s s a a -> a -> m () infixl 4

newtype Mutator a

Constructors

Mutator

Fields

runMutator :: a

Instances

Functor Mutator

Applicative Mutator

Eq a => Eq (Mutator a)

Ord a => Ord (Mutator a)

Read a => Read (Mutator a)

Show a => Show (Mutator a)