Documentation

data RecorderSignal signal Source

type History a = (Maybe a, [a], [a]) Source

type Record a signal = (History a, ThreadObject a signal) Source

type StateRecords a signal = ThreadObject (Record a signal) () Source

stateRecords :: Exception exception => ThreadObject a signal -> (Record a signal -> exception -> IO (Record a signal)) -> IO (StateRecords a signal) Source

recordState :: Int -> StateRecords a signal -> a -> IO () Source

undoStateActionOfRecorder :: StateRecords a (RecorderSignal signal) -> IO Bool Source

undoStateAction :: StateRecords a signal -> IO Bool Source

undoStateAction' :: StateRecords a signal -> (ThreadObject a signal -> a -> IO ()) -> IO Bool Source