Add PlutusTx.Data.List.null (#6838)

IntersectMBO · Feb 12, 2025 · 012055f · 012055f
1 parent 5022eae
commit 012055f
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/plutus-tx/changelog.d/20250211_170605_unsafeFixIO_null.md b/plutus-tx/changelog.d/20250211_170605_unsafeFixIO_null.md
@@ -0,0 +1,5 @@
+
+
+### Added
+
+- Added `PlutusTx.Data.List.null`.
diff --git a/plutus-tx/src/PlutusTx/Data/List.hs b/plutus-tx/src/PlutusTx/Data/List.hs
@@ -5,6 +5,7 @@
 module PlutusTx.Data.List (
     -- constructor exported for testing
     List(List),
+    null,
     append,
     find,
     findIndices,
@@ -25,7 +26,7 @@ import PlutusTx.Builtins.Internal qualified as BI
 import PlutusTx.IsData.Class (FromData (..), ToData (..), UnsafeFromData (..))
 import PlutusTx.Lift (makeLift)
 import PlutusTx.Prelude hiding (any, filter, find, findIndices, foldMap, length, map, mapMaybe,
-                         mconcat, pred)
+                         mconcat, null, pred)
 import Prettyprinter (Pretty (..))
 
 import Data.Semigroup qualified as Haskell
@@ -60,6 +61,10 @@ instance (UnsafeFromData a, Pretty a) => Pretty (List a) where
     {-# INLINEABLE pretty #-}
     pretty = pretty . toSOP
 
+null :: List a -> Bool
+null (List l) = B.null l
+{-# INLINEABLE null #-}
+
 cons :: (ToData a) => a -> List a -> List a
 cons h (List t) = List (BI.mkCons (toBuiltinData h) t)
 {-# INLINEABLE cons #-}