Fresnel.Effect

Access

Reader

view :: Has (Reader r) sig m => Getter r a -> m a

views :: Has (Reader r) sig m => Getter r a -> (a -> b) -> m b

State

use :: Has (State s) sig m => Getter s a -> m a

uses :: Has (State s) sig m => Getter s a -> (a -> b) -> m b

Assignment

assign :: Has (State s) sig m => Setter s s a b -> b -> m ()

modifying :: Has (State s) sig m => Setter s s a b -> (a -> b) -> m ()

(.=) :: Has (State s) sig m => Setter s s a b -> b -> m () infix 4

(%=) :: Has (State s) sig m => Setter s s a b -> (a -> b) -> m () infix 4

(?=) :: Has (State s) sig m => Setter s s a (Maybe b) -> b -> m () infix 4

(<~) :: Has (State s) sig m => Setter s s a b -> m b -> m () infixr 2

Arithmetical

(+=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m () infix 4

(-=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m () infix 4

(*=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m () infix 4

(//=) :: (Has (State s) sig m, Fractional a) => Setter s s a a -> a -> m () infix 4