Context: Add a persistent map for shared data#34

Merged

Nouzan merged 9 commits into

mainfrom

Oct 1, 2023

Commits on Sep 30, 2023

context: add a new private data context
Nouzan
committed
context: persistent data context && AddData layer
Nouzan
committed
context: add `finish_with_data` method
Nouzan
committed
context: add `Data` extractor
Nouzan
committed

Commits on Oct 1, 2023

context: add `InsertData` layer
Nouzan
committed
context: redefine `ContextOperator` && add `Stack`
Nouzan
committed
context: fix the wrong generics in macro
Nouzan
committed
context: add helpers to `LayerExt`
Nouzan
committed
context: `insert_data` now can optionally update
Nouzan
committed