From 8cd11e401d20387a1991767dc7ab4900bc070ffa Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Mon, 6 Mar 2023 19:25:09 -0500 Subject: [PATCH] Create Data.Profunctor.Sieve --- Data/Profunctor.idr | 6 ++++++ Data/Profunctor/Sieve.idr | 0 profunctors.ipkg | 8 +++++++- 3 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 Data/Profunctor.idr create mode 100644 Data/Profunctor/Sieve.idr diff --git a/Data/Profunctor.idr b/Data/Profunctor.idr new file mode 100644 index 0000000..c1223c0 --- /dev/null +++ b/Data/Profunctor.idr @@ -0,0 +1,6 @@ +module Data.Profunctor + +import public Data.Profunctor.Types +import public Data.Profunctor.Functor +import public Data.Profunctor.Strong +import public Data.Profunctor.Closed diff --git a/Data/Profunctor/Sieve.idr b/Data/Profunctor/Sieve.idr new file mode 100644 index 0000000..e69de29 diff --git a/profunctors.ipkg b/profunctors.ipkg index 342f1da..55c78d0 100644 --- a/profunctors.ipkg +++ b/profunctors.ipkg @@ -6,7 +6,13 @@ license = "MIT" readme = "README.md" +langversion >= 0.6.0 + modules = Data.Tensor, + Data.Profunctor, Data.Profunctor.Types, Data.Profunctor.Functor, - Data.Profunctor.Strong + Data.Profunctor.Strong, + Data.Profunctor.Closed, + Data.Profunctor.Traversing, + Data.Profunctor.Sieve