toki/idris2-profunctors
1
0
Fork 0
Code Issues Pull requests Activity

Create Data.Profunctor.Sieve

Browse source
This commit is contained in:
Kiana Sheibani 2023-03-06 19:25:09 -05:00
parent 013ceae011
commit 8cd11e401d
Signed by: toki
GPG key ID: 6CB106C25E86A9F7
3 changed files with 13 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Data/Profunctor.idr Normal file
View file

@ -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

0
Data/Profunctor/Sieve.idr Normal file
View file

8
profunctors.ipkg
View file

@ -6,7 +6,13 @@ license = "MIT"
readme = "README.md" readme = "README.md"
langversion >= 0.6.0
modules = Data.Tensor, modules = Data.Tensor,
Data.Profunctor,
Data.Profunctor.Types, Data.Profunctor.Types,
Data.Profunctor.Functor, Data.Profunctor.Functor,
Data.Profunctor.Strong Data.Profunctor.Strong,
Data.Profunctor.Closed,
Data.Profunctor.Traversing,
Data.Profunctor.Sieve