Data.Function.YaMemo

Memoisation. It's useful for dynamic programming.

Module

module Data.Function.YaMemo.MemoTableClasses

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

makes memo function from functional specified by the second argument. The first argument is only for imforming type of memo table will be used.

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

makes memo function which also takes and returns memo table , which can be reused.