Data.Stream.Hinze.Memo

Documentation

class Memo k t where

We could add functional dependencies |k -> t| and |t -> k|, but since Haskell has a nominal type system there may be several isomorphic key types that relate to the same table type (or vice versa).

Methods

tabulate :: (k -> a) -> t a

lookup :: t a -> k -> a

dom :: t k

Instances

Integral a => Memo a Stream

Streams of type 'Stream a' are memoised functions of type 'Natural -> A|'