diff --git a/README.md b/README.md index e0cd271..e027ab2 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ # Profunctors in Idris2 -This library is primarily a port of Haskell's +This library is a loose port of Haskell's [profunctors](https://hackage.haskell.org/package/profunctors) library. diff --git a/profunctors.ipkg b/profunctors.ipkg index 55c78d0..184aa39 100644 --- a/profunctors.ipkg +++ b/profunctors.ipkg @@ -1,5 +1,5 @@ package profunctors -version = 0.0.0 +version = 1.0.0 authors = "Kiana Sheibani" license = "MIT" @@ -13,6 +13,11 @@ modules = Data.Tensor, Data.Profunctor.Types, Data.Profunctor.Functor, Data.Profunctor.Strong, + Data.Profunctor.Costrong, Data.Profunctor.Closed, Data.Profunctor.Traversing, - Data.Profunctor.Sieve + Data.Profunctor.Mapping, + Data.Profunctor.Sieve, + Data.Profunctor.Representable, + Data.Profunctor.Cayley, + Data.Profunctor.Yoneda