[ refactor ] Move lazy lists from contrib to base

buzden · Dec 20, 2023 · 89b7f30 · 89b7f30
1 parent 58e5d15
commit 89b7f30
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -258,6 +258,8 @@
   function and clean up all system resources (to not to leave zombie processes in
   particular).
 
+* `Data.List.Lazy` was moved from `contrib` to `base`.
+
 #### System
 
 * Changes `getNProcessors` to return the number of online processors rather than
@@ -287,6 +289,8 @@
 
 * Implements `Sized` for `Data.Seq.Sized` and `Data.Seq.Unsized`.
 
+* `Data.List.Lazy` was moved from `contrib` to `base`.
+
 #### Papers
 
 * In `Control.DivideAndConquer`: a port of the paper

diff --git a/libs/contrib/Data/List/Lazy.idr → libs/base/Data/List/Lazy.idr b/libs/contrib/Data/List/Lazy.idr → libs/base/Data/List/Lazy.idr
diff --git a/libs/contrib/Data/List/Lazy/Quantifiers.idr → libs/base/Data/List/Lazy/Quantifiers.idr b/libs/contrib/Data/List/Lazy/Quantifiers.idr → libs/base/Data/List/Lazy/Quantifiers.idr
diff --git a/libs/base/base.ipkg b/libs/base/base.ipkg
@@ -56,6 +56,8 @@ modules = Control.App,
           Data.List,
           Data.List.Elem,
           Data.List.HasLength,
+          Data.List.Lazy,
+          Data.List.Lazy.Quantifiers,
           Data.List.Quantifiers,
           Data.List.Views,
           Data.List1,

diff --git a/libs/contrib/contrib.ipkg b/libs/contrib/contrib.ipkg
@@ -54,9 +54,6 @@ modules = Control.ANSI,
 
           Data.List.Elem.Extra,
 
-          Data.List.Lazy,
-          Data.List.Lazy.Quantifiers,
-
           Data.Logic.Propositional,
 
           Data.Monoid.Exponentiation,

diff --git a/src/Libraries/Data/List/Lazy.idr b/src/Libraries/Data/List/Lazy.idr
@@ -1,3 +1,5 @@
+-- This module is to be removed as soon as 0.7.* is released, since `Data.List.Lazy` is now in `base`
+
 module Libraries.Data.List.Lazy
 
 %default total