GLL.Combinators.Memoisation

Documentation

type MemoTable a = IntMap (IntMap a)

A MemoTable maps left-extent l to right-extent r to some results a indicating the the substring ranging from l to r is derived with parse result a.

type MemoRef a = IORef (MemoTable a)

An impure reference to a MemoTable.

memLookup :: (Int, Int) -> MemoTable a -> Maybe a

memInsert :: (Int, Int) -> a -> MemoTable a -> MemoTable a

memClear :: MemoRef a -> IO ()

Clears the MemoTable to which the given reference refers.

newMemoTable :: MemoRef a

Create a reference to a fresh MemoTable.