Add Flat instances for PLC serialisation.

IntersectMBO · Oct 20, 2020 · 3433471 · 3433471
1 parent ef307e5
commit 3433471
Show file tree

Hide file tree

Showing 6 changed files with 494 additions and 1 deletion.
diff --git a/nix/stack.materialized/plutus-core.nix b/nix/stack.materialized/plutus-core.nix
diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal
@@ -59,6 +59,7 @@ library
         Language.PlutusCore.Check.Value
         Language.PlutusCore.Check.Normal
         Language.PlutusCore.CBOR
+        Language.PlutusCore.Flat
         Language.PlutusCore.Constant
         Language.PlutusCore.Constant.Dynamic
         Language.PlutusCore.Universe
@@ -203,6 +204,7 @@ library
         Language.UntypedPlutusCore.Core.Instance.Pretty.Readable
         Language.UntypedPlutusCore.Core.Instance.Recursive
         Language.UntypedPlutusCore.Core.Instance.CBOR
+        Language.UntypedPlutusCore.Core.Instance.Flat
         Language.UntypedPlutusCore.Core.Type
         Language.UntypedPlutusCore.Core.Plated
         Language.UntypedPlutusCore.Analysis.Definitions
@@ -235,6 +237,7 @@ library
         deriving-compat -any,
         deepseq -any,
         filepath -any,
+        flat -any,
         hashable,
         hedgehog >=1.0,
         integer-gmp -any,
@@ -309,6 +312,7 @@ test-suite plutus-core-test
         bytestring -any,
         containers -any,
         filepath -any,
+        flat -any,
         hedgehog -any,
         plutus-core -any,
         lazy-search -any,

diff --git a/plutus-core/src/Language/PlutusCore.hs b/plutus-core/src/Language/PlutusCore.hs
@@ -111,6 +111,7 @@ import qualified Language.PlutusCore.Check.Uniques         as Uniques
 import           Language.PlutusCore.Core
 import           Language.PlutusCore.Error
 import           Language.PlutusCore.Evaluation.Machine.Ck
+import           Language.PlutusCore.Flat                  ()
 import           Language.PlutusCore.Lexer
 import           Language.PlutusCore.Lexer.Type
 import           Language.PlutusCore.Name