Safe Haskell | Safe-Inferred |
---|
Memo table classes
- class MemoTable t where
- emptyMemoTable :: Ord a => t a b
- lookupMemoTable :: Ord a => a -> t a b -> Maybe b
- insertMemoTable :: Ord a => a -> b -> t a b -> t a b
- class Monad m => MemoTableT t m where
- emptyMemoTableT :: Ord a => t a (m b)
- lookupMemoTableT :: Ord a => a -> t a (m b) -> Maybe (m b)
- insertMemoTableT :: Ord a => a -> m b -> t a (m b) -> t a (m b)
Class
emptyMemoTable :: Ord a => t a bSource
lookupMemoTable :: Ord a => a -> t a b -> Maybe bSource
insertMemoTable :: Ord a => a -> b -> t a b -> t a bSource
class Monad m => MemoTableT t m whereSource
emptyMemoTableT :: Ord a => t a (m b)Source
lookupMemoTableT :: Ord a => a -> t a (m b) -> Maybe (m b)Source
insertMemoTableT :: Ord a => a -> m b -> t a (m b) -> t a (m b)Source
MemoTableT Map [] |