|Maintainer||Neil Sculthorpe <email@example.com>|
This module provides a utility data type for extending an existing context with extra information.
The idea is that, after defining class instances for any user-specific contextual operations, it can be used for any ad-hoc context extensions.
See the treatment of
ExtendPath as an example.
A context transformer, for augmenting a context with additional information.
Extend a context with some additional information.
Retrieve the base context (without the extra information).