Copyright	(c) Eduard Sergeev 2013
License	BSD-style (see the file LICENSE)
Maintainer	eduard.sergeev@gmail.com
Stability	experimental
Portability	non-portable (multi-param classes, flexible instances)
Safe Haskell	Safe
Language	Haskell98

Control.Monad.Trans.Memo.StateCache

Description

Generic StateCache - similar to StateT but optimised for carrying cache container

Synopsis

Documentation

newtype StateCache c m a #

Generic memoization cache which uses provided container which can also be updated by the computation. This is pretty much identical to StateT, but is tuned to speed up implementations which use unboxed mutable containers

Constructors

StateCache
Fields runStateCache :: c -> m (a, c)

Instances

(PrimMonad m, (~) * (PrimState m) s, MaybeLike e v, MVector c e) => MonadMemo Int v (Cache c s e m) #
Methods memo :: (Int -> Cache c s e m v) -> Int -> Cache c s e m v #
(Monad m, MapLike c k v) => MonadMemo k v (MemoStateT c k v m) #
Methods memo :: (k -> MemoStateT c k v m v) -> k -> MemoStateT c k v m v #
(PrimMonad m, (~) * (PrimState m) s, MaybeLike e v, MVector c e) => MonadCache Int v (Cache c s e m) #
Methods lookup :: Int -> Cache c s e m (Maybe v) # add :: Int -> v -> Cache c s e m () #
(Monad m, MapLike c k v) => MonadCache k v (MemoStateT c k v m) #
Methods lookup :: k -> MemoStateT c k v m (Maybe v) # add :: k -> v -> MemoStateT c k v m () #
MonadTrans (StateCache c) #
Methods lift :: Monad m => m a -> StateCache c m a #
Monad m => Monad (StateCache c m) #
Methods (>>=) :: StateCache c m a -> (a -> StateCache c m b) -> StateCache c m b # (>>) :: StateCache c m a -> StateCache c m b -> StateCache c m b # return :: a -> StateCache c m a # fail :: String -> StateCache c m a #
Functor m => Functor (StateCache c m) #
Methods fmap :: (a -> b) -> StateCache c m a -> StateCache c m b # (<$) :: a -> StateCache c m b -> StateCache c m a #
MonadFix m => MonadFix (StateCache c m) #
Methods mfix :: (a -> StateCache c m a) -> StateCache c m a #
(Functor m, Monad m) => Applicative (StateCache c m) #
Methods pure :: a -> StateCache c m a # (<>) :: StateCache c m (a -> b) -> StateCache c m a -> StateCache c m b # liftA2 :: (a -> b -> c) -> StateCache c m a -> StateCache c m b -> StateCache c m c # (>) :: StateCache c m a -> StateCache c m b -> StateCache c m b # (<*) :: StateCache c m a -> StateCache c m b -> StateCache c m a #
MonadIO m => MonadIO (StateCache c m) #
Methods liftIO :: IO a -> StateCache c m a #
(Functor m, MonadPlus m) => Alternative (StateCache c m) #
Methods empty :: StateCache c m a # (<\|>) :: StateCache c m a -> StateCache c m a -> StateCache c m a # some :: StateCache c m a -> StateCache c m [a] # many :: StateCache c m a -> StateCache c m [a] #
MonadPlus m => MonadPlus (StateCache c m) #
Methods mzero :: StateCache c m a # mplus :: StateCache c m a -> StateCache c m a -> StateCache c m a #

container :: Monad m => StateCache c m c #

Returns internal container

setContainer :: Monad m => c -> StateCache c m () #

Assigns new value to internal container

evalStateCache :: Monad m => StateCache c m a -> c -> m a #

Evaluates computation discarding the resulting container