From b1ad4ceef065048574dd140c2fbd3fbf73600dcd Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Wed, 12 Apr 2023 11:55:22 -0400
Subject: [PATCH] Update ipkg

---
 lens.ipkg                                         | 15 +++++++++++++--
 .../{Lens/Internal => Applicative}/Backwards.idr  |  2 +-
 src/Control/Lens/Fold.idr                         |  4 ++--
 src/Control/Lens/Getter.idr                       |  2 +-
 src/Control/Lens/OptionalFold.idr                 |  2 +-
 src/Control/Lens/Traversal.idr                    |  2 +-
 .../Lens/Internal => Data}/Bicontravariant.idr    |  2 +-
 7 files changed, 20 insertions(+), 9 deletions(-)
 rename src/Control/{Lens/Internal => Applicative}/Backwards.idr (91%)
 rename src/{Control/Lens/Internal => Data}/Bicontravariant.idr (96%)

diff --git a/lens.ipkg b/lens.ipkg
index a9c35a4..5b59be2 100644
--- a/lens.ipkg
+++ b/lens.ipkg
@@ -12,7 +12,18 @@ readme = "README.md"
 langversion >= 0.6.0
 depends = profunctors >= 1.1.2
 
-modules = Control.Lens.Optic,
+modules = Control.Applicative.Backwards,
           Control.Lens.Equality,
+          Control.Lens.Fold,
+          Control.Lens.Getter,
           Control.Lens.Iso,
-          Control.Lens.Lens
+          Control.Lens.Lens,
+          Control.Lens.Optic,
+          Control.Lens.Optional,
+          Control.Lens.OptionalFold,
+          Control.Lens.Prism,
+          Control.Lens.Review,
+          Control.Lens.Setter,
+          Control.Lens.Traversal,
+          Control.Lens,
+          Data.Bicontravariant
diff --git a/src/Control/Lens/Internal/Backwards.idr b/src/Control/Applicative/Backwards.idr
similarity index 91%
rename from src/Control/Lens/Internal/Backwards.idr
rename to src/Control/Applicative/Backwards.idr
index 179e4de..c08ff5e 100644
--- a/src/Control/Lens/Internal/Backwards.idr
+++ b/src/Control/Applicative/Backwards.idr
@@ -1,4 +1,4 @@
-module Control.Lens.Internal.Backwards
+module Control.Applicative.Backwards
 
 %default total
 
diff --git a/src/Control/Lens/Fold.idr b/src/Control/Lens/Fold.idr
index 1c13590..2cdfcbc 100644
--- a/src/Control/Lens/Fold.idr
+++ b/src/Control/Lens/Fold.idr
@@ -1,10 +1,10 @@
 module Control.Lens.Fold
 
+import Data.Bicontravariant
 import Data.Profunctor
 import Data.Profunctor.Costrong
 import Data.Profunctor.Traversing
-import Control.Lens.Internal.Bicontravariant
-import Control.Lens.Internal.Backwards
+import Control.Applicative.Backwards
 import Control.Lens.Optic
 import Control.Lens.OptionalFold
 import Control.Lens.Traversal
diff --git a/src/Control/Lens/Getter.idr b/src/Control/Lens/Getter.idr
index 28aff29..6d200a3 100644
--- a/src/Control/Lens/Getter.idr
+++ b/src/Control/Lens/Getter.idr
@@ -1,10 +1,10 @@
 module Control.Lens.Getter
 
+import Data.Bicontravariant
 import Data.Profunctor
 import Data.Profunctor.Costrong
 import Control.Lens.Optic
 import Control.Lens.Lens
-import Control.Lens.Internal.Bicontravariant
 
 %default total
 
diff --git a/src/Control/Lens/OptionalFold.idr b/src/Control/Lens/OptionalFold.idr
index 6661294..b46b6f8 100644
--- a/src/Control/Lens/OptionalFold.idr
+++ b/src/Control/Lens/OptionalFold.idr
@@ -1,8 +1,8 @@
 module Control.Lens.OptionalFold
 
+import Data.Bicontravariant
 import Data.Profunctor
 import Data.Profunctor.Costrong
-import Control.Lens.Internal.Bicontravariant
 import Control.Lens.Optic
 import Control.Lens.Optional
 import Control.Lens.Getter
diff --git a/src/Control/Lens/Traversal.idr b/src/Control/Lens/Traversal.idr
index b5588cd..a6eb358 100644
--- a/src/Control/Lens/Traversal.idr
+++ b/src/Control/Lens/Traversal.idr
@@ -4,7 +4,7 @@ import Control.Monad.State
 import Data.Zippable
 import Data.Profunctor
 import Data.Profunctor.Traversing
-import Control.Lens.Internal.Backwards
+import Control.Applicative.Backwards
 import Control.Lens.Optic
 import Control.Lens.Optional
 
diff --git a/src/Control/Lens/Internal/Bicontravariant.idr b/src/Data/Bicontravariant.idr
similarity index 96%
rename from src/Control/Lens/Internal/Bicontravariant.idr
rename to src/Data/Bicontravariant.idr
index a9909f2..62e2385 100644
--- a/src/Control/Lens/Internal/Bicontravariant.idr
+++ b/src/Data/Bicontravariant.idr
@@ -1,4 +1,4 @@
-module Control.Lens.Internal.Bicontravariant
+module Data.Bicontravariant
 
 import Data.Morphisms
 import Data.Contravariant