Control.Monad.Memo.Class (original) (raw)

MonadCache k (Maybe v) m => MonadMemo k v (MaybeT m) Source #

Instance details

Defined in Control.Monad.Memo.Class

MonadCache (s, k) (v, s) m => MonadMemo k v (StateT s m) Source #

Instance details

Defined in Control.Monad.Memo.Class

MonadCache (s, k) (v, s) m => MonadMemo k v (StateT s m) Source #

Instance details

Defined in Control.Monad.Memo.Class

(Monoid w, MonadCache k (v, w) m) => MonadMemo k v (WriterT w m) Source #

Instance details

Defined in Control.Monad.Memo.Class

(Monoid w, MonadCache k (v, w) m) => MonadMemo k v (WriterT w m) Source #

Instance details

Defined in Control.Monad.Memo.Class

MonadCache (r, k) v m => MonadMemo k v (ReaderT r m) Source #

Instance details

Defined in Control.Monad.Memo.Class

MonadCache k (Either e v) m => MonadMemo k v (ExceptT e m) Source #

Instance details

Defined in Control.Monad.Memo.Class

MonadCache k v m => MonadMemo k v (IdentityT m) Source #

Instance details

Defined in Control.Monad.Memo.Class

MonadCache k v m => MonadMemo k v (ContT r m) Source #

Instance details

Defined in Control.Monad.Memo.Class

(PrimMonad m, PrimState m ~ s, MaybeLike e v, MVector c e) => MonadMemo Int v (Cache c s e m) Source #

Instance details

Defined in Control.Monad.Memo.Vector.Unsafe

(PrimMonad m, PrimState m ~ s, MaybeLike e v, MVector c e) => MonadMemo Int v (Cache c s e m) Source #

Instance details

Defined in Control.Monad.Memo.Vector.Expandable

(PrimMonad m, PrimState m ~ s, MaybeLike e v, MVector c e) => MonadMemo Int v (Cache c s e m) Source #

Instance details

Defined in Control.Monad.Memo.Vector

(Monoid w, MonadCache (r, s, k) (v, s, w) m) => MonadMemo k v (RWST r w s m) Source #

Instance details

Defined in Control.Monad.Memo.Class

(Monoid w, MonadCache (r, s, k) (v, s, w) m) => MonadMemo k v (RWST r w s m) Source #

Instance details

Defined in Control.Monad.Memo.Class

(Monad m, MapLike c k v) => MonadMemo k v (MemoStateT c k v m) Source #

Instance details

Defined in Control.Monad.Trans.Memo.State

(Monad m, Ix k, MaybeLike e v, MArray c e m) => MonadMemo k v (Cache c k e m) Source #

Instance details

Defined in Control.Monad.Memo.Array