{-# LANGUAGE NoImplicitPrelude, GeneralizedNewtypeDeriving #-}
module Control.Monad.Trans.Memo.ReaderCache
(
ReaderCache,
evalReaderCache,
container
) where
import Data.Function
import Control.Applicative
import Control.Monad
import Control.Monad.IO.Class
import Control.Monad.Fix
import Control.Monad.Trans.Class
import Control.Monad.Trans.Reader
newtype ReaderCache c m a = ReaderCache { toReaderT :: ReaderT c m a }
deriving (Functor, Applicative, Alternative, Monad, MonadPlus, MonadFix, MonadTrans, MonadIO)
{-# INLINE evalReaderCache #-}
evalReaderCache = runReaderT . toReaderT
container :: Monad m => ReaderCache c m c
{-# INLINE container #-}
container = ReaderCache ask