Merge pull request #330 from zkFold/TurtlePU/UPLC-prototype

UPLC converter prototype

cabal.project

@@ -6,6 +6,7 @@ packages:
     symbolic-cardano
     symbolic-examples
     zkfold-ledger
+    zkfold-uplc
 
 optimization: 2
 

symbolic-base/src/ZkFold/Symbolic/Data/Class.hs

@@ -2,7 +2,6 @@
 {-# LANGUAGE UndecidableInstances #-}
 
 module ZkFold.Symbolic.Data.Class (
-        SomeData (..),
         SymbolicData (..),
     ) where
 
@@ -12,7 +11,7 @@ import           Data.Functor                     ((<$>))
 import           Data.Functor.Rep                 (Representable (..))
 import           Data.Kind                        (Type)
 import           Data.Type.Equality               (type (~))
-import           Data.Typeable                    (Proxy (..), Typeable)
+import           Data.Typeable                    (Proxy (..))
 import           GHC.Generics                     (U1 (..), (:*:) (..), (:.:) (..))
 
 import           ZkFold.Base.Algebra.Basic.Number (KnownNat)
@@ -34,10 +33,6 @@ class SymbolicData x where
     -- | Restores `x` from the circuit's outputs.
     restore :: (Support x -> Context x (Layout x)) -> x
 
--- A wrapper for `SymbolicData` types.
-data SomeData c where
-    SomeData :: (Typeable t, SymbolicData t, Context t ~ c) => t -> SomeData c
-
 instance SymbolicData (c (f :: Type -> Type)) where
     type Context (c f) = c
     type Support (c f) = Proxy c

symbolic-base/src/ZkFold/Symbolic/Data/Maybe.hs

@@ -4,7 +4,7 @@
 {-# LANGUAGE UndecidableInstances #-}
 
 module ZkFold.Symbolic.Data.Maybe (
-    Maybe, maybe, just, nothing, fromMaybe, isNothing, isJust, find
+    Maybe, maybe, just, nothing, fromMaybe, fromJust, isNothing, isJust, find
 ) where
 
 import           Data.Function                    ((.))
@@ -25,7 +25,7 @@ import           ZkFold.Symbolic.Data.Bool
 import           ZkFold.Symbolic.Data.Class
 import           ZkFold.Symbolic.Data.Conditional
 
-data Maybe context x = Maybe (Bool context) x
+data Maybe context x = Maybe { isJust :: Bool context, fromJust :: x }
   deriving stock
     ( Haskell.Functor
     , Haskell.Foldable
@@ -63,9 +63,6 @@ fromMaybe a (Maybe (Bool h) t) = restore $ \i ->
 isNothing :: Symbolic c => Maybe c x -> Bool c
 isNothing (Maybe h _) = not h
 
-isJust :: Maybe c x -> Bool c
-isJust (Maybe h _) = h
-
 instance
     ( HApplicative c
     , SymbolicData x

symbolic-cardano/symbolic-cardano.cabal

@@ -100,12 +100,6 @@ library
       ZkFold.Symbolic.Cardano.Types.OutputRef
       ZkFold.Symbolic.Cardano.Types.Transaction
       ZkFold.Symbolic.Cardano.Types.Value
-      ZkFold.Symbolic.Cardano.UPLC
-      ZkFold.Symbolic.Cardano.UPLC.Builtins
-      ZkFold.Symbolic.Cardano.UPLC.Inference
-      ZkFold.Symbolic.Cardano.UPLC.Inference.Internal
-      ZkFold.Symbolic.Cardano.UPLC.Term
-      ZkFold.Symbolic.Cardano.UPLC.Type
     build-depends:
       base                          >= 4.9 && < 5,
       containers                            < 0.7,

zkfold-uplc/CHANGELOG.md

@@ -0,0 +1,5 @@
+# Revision history for zkfold-uplc
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.