fresnel-fused-effects-0.0.0.0: fresnel/fused-effects integration
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fresnel.Effect

Synopsis
  • view :: Has (Reader r) sig m => Getter r a -> m a
  • views :: Has (Reader r) sig m => Getter r a -> (a -> b) -> m b
  • use :: Has (State s) sig m => Getter s a -> m a
  • uses :: Has (State s) sig m => Getter s a -> (a -> b) -> m b
  • 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 ()
  • (%=) :: Has (State s) sig m => Setter s s a b -> (a -> b) -> m ()
  • (?=) :: Has (State s) sig m => Setter s s a (Maybe b) -> b -> m ()
  • (<~) :: Has (State s) sig m => Setter s s a b -> m b -> m ()
  • (+=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m ()
  • (-=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m ()
  • (*=) :: (Has (State s) sig m, Num a) => Setter s s a a -> a -> m ()
  • (//=) :: (Has (State s) sig m, Fractional a) => Setter s s a a -> a -> m ()

Access

Reader

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

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

State

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

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

Assignment

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

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

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

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

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

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

Arithmetical

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

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

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

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