Safe Haskell	Safe-Inferred
Language	Haskell2010

Zwirn.Core.State

Synopsis

modify' :: (st -> st) -> ZwirnT k st i a -> ZwirnT k st i a
modify :: MultiMonad k => (ZwirnT k st i st -> ZwirnT k st i st) -> ZwirnT k st i a -> ZwirnT k st i a
get :: Applicative k => ZwirnT k st i a -> ZwirnT k st i st
set :: Monad k => ZwirnT k st i st -> ZwirnT k st i a -> ZwirnT k st i a
getMap :: (MultiMonad k, Ord key) => (Maybe b -> ZwirnT k (Map key b) i b) -> ZwirnT k (Map key b) i key -> ZwirnT k (Map key b) i b
setMap :: (Monad k, Ord key) => ZwirnT k (Map key b) i key -> ZwirnT k (Map key b) i b -> ZwirnT k (Map key b) i a -> ZwirnT k (Map key b) i a
modifyMap :: (MultiMonad k, Ord key) => (Maybe b -> ZwirnT k (Map key b) i b) -> ZwirnT k (Map key b) i key -> (ZwirnT k (Map key b) i b -> ZwirnT k (Map key b) i b) -> ZwirnT k (Map key b) i a -> ZwirnT k (Map key b) i a

Documentation

modify' :: (st -> st) -> ZwirnT k st i a -> ZwirnT k st i a Source #

modify :: MultiMonad k => (ZwirnT k st i st -> ZwirnT k st i st) -> ZwirnT k st i a -> ZwirnT k st i a Source #

get :: Applicative k => ZwirnT k st i a -> ZwirnT k st i st Source #

set :: Monad k => ZwirnT k st i st -> ZwirnT k st i a -> ZwirnT k st i a Source #

getMap :: (MultiMonad k, Ord key) => (Maybe b -> ZwirnT k (Map key b) i b) -> ZwirnT k (Map key b) i key -> ZwirnT k (Map key b) i b Source #

get value of specific key, providing a function in case key is not found

setMap :: (Monad k, Ord key) => ZwirnT k (Map key b) i key -> ZwirnT k (Map key b) i b -> ZwirnT k (Map key b) i a -> ZwirnT k (Map key b) i a Source #

set value of given key

modifyMap :: (MultiMonad k, Ord key) => (Maybe b -> ZwirnT k (Map key b) i b) -> ZwirnT k (Map key b) i key -> (ZwirnT k (Map key b) i b -> ZwirnT k (Map key b) i b) -> ZwirnT k (Map key b) i a -> ZwirnT k (Map key b) i a Source #

modify