monadiccp-0.7.7: Constraint Programming

Safe HaskellNone
LanguageHaskell98

Control.Search.MemoReader

Documentation

newtype MemoReaderT r m a Source #

Constructors

MemoReaderT 

Fields

memoReaderT :: MemoM m => (e -> Int -> m a) -> MemoReaderT e m a Source #

deMemoReaderT :: MemoM m => e -> Int -> MemoReaderT e m a -> m a Source #

runMemoReaderT :: (MemoM m, Show s) => s -> MemoReaderT s m a -> m a Source #

modelMemoReaderT :: (Show s, MemoM m) => Model (ReaderOp s) (MemoReaderT s m) Source #