Data.Function.YaMemo

Memoisation. It's useful for dynamic programming.

Class

class MemoTable t where

Methods

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

Instances

MemoTable Map

Type

type Memo t a b = a -> State (t a b) b

Function

memo :: (MemoTable t, Ord a) => (a -> State (t a b) b) -> ((a -> State (t a b) b) -> Memo t a b) -> a -> b

memo' :: (MemoTable t, Ord a) => ((a -> State (t a b) b) -> Memo t a b) -> t a b -> a -> (t a b, b)