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