Memoize several sessions and switch between them.

This enables the use of the \ghcisession{My Session} and \ghcicontinue{My Session} command in the ghci LuaTex package.

Usage

Let us store the result of some commands (we alternate between memo and memo' to avoid recursive definitions)

>>> import Prelude hiding (lookup)

>>> memo = initSession "main" :: SessionMemoizer String String String
>>> memo' = storeResult "x=1" "" memo
>>> memo = storeResult "y=2" "" memo'
>>> memo' = storeResult "x+y" "3" memo

Let use create a new session:

>>> memo = newSession "My Session" memo'
>>> memo' = storeResult "a=1" "" memo

Now if we create a new session called "main" again, we can use the memoized values:

>>> memo = newSession "main" memo'
>>> lookup "x=1" memo
Just ""

But we still have some commands to add to "My Session":

>>> memo' = continueSession "My Session" memo
>>> memo = storeResult "a" "1" memo'

Now let's restart "My Session":

>>> memo' = newSession "My Session" memo
>>> lookup "a=1" memo
Just ""
>>> memo = nextCmd memo'
>>> lookup "a" memo
Just "1"