Added module Data.Provenance.

Introduces the Provenance Monad: Monad m => Prov m a, with operations for 'remembering' key value pairs. runProv returns the underlying Monad m. runWithProv returns a pair (m a,Map Text PObject). PObject values all have Provenance t instances. where type Provenance t = (Typeable t, ToJSON t, Show t, NoThunks t) Also applied this technology to the function createRUpd.
IntersectMBO · Dec 3, 2020 · 64aeda8 · 64aeda8
1 parent 84bb7da
commit 64aeda8
Show file tree

Hide file tree

Showing 6 changed files with 619 additions and 52 deletions.
diff --git a/semantics/executable-spec/small-steps.cabal b/semantics/executable-spec/small-steps.cabal
@@ -34,12 +34,14 @@ library
                      , Data.CannonicalMaps
                      , Data.MemoBytes
                      , Data.Coders
+                     , Data.Provenance
                      , Control.Iterate.SetAlgebra
                      , Control.Iterate.Collect
                      , Control.SetAlgebra
   -- other-modules:
   -- other-extensions:
-  build-depends:       array
+  build-depends:       aeson
+                     , array
                      , base >=4.11 && <5
                      , bytestring
                      , cardano-prelude