Move 'Lazy' to 'Runtime'

IntersectMBO · May 15, 2022 · 9674d36 · 9674d36
1 parent fb6a43a
commit 9674d36
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 6 deletions.
diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs
@@ -24,6 +24,11 @@ import Data.Array
 import Data.Kind qualified as GHC (Type)
 import PlutusCore.Builtin.KnownType
 
+-- | A @data@ wrapper adding laziness on top of @a@.
+data Lazy a = Lazy
+    { unLazy :: ~a
+    }
+
 -- | Peano numbers. Normally called @Nat@, but that is already reserved by @base@.
 data Peano
     = Z

diff --git a/plutus-core/prelude/PlutusPrelude.hs b/plutus-core/prelude/PlutusPrelude.hs
@@ -66,7 +66,6 @@ module PlutusPrelude
     , reoption
     , enumeration
     , tabulateArray
-    , Lazy (..)
     , (?)
     , ensure
     , asksM
@@ -172,11 +171,6 @@ enumeration = [minBound .. maxBound]
 tabulateArray :: (Bounded i, Enum i, Ix i) => (i -> a) -> Array i a
 tabulateArray f = listArray (minBound, maxBound) $ map f enumeration
 
--- | A @data@ wrapper adding laziness on top of @a@.
-data Lazy a = Lazy
-    { unLazy :: a
-    }
-
 newtype PairT b f a = PairT
     { unPairT :: f (b, a)
     }