idris2-profunctors/profunctors.ipkg

26 lines
595 B
Plaintext
Raw Permalink Normal View History

2023-03-04 22:15:21 -05:00
package profunctors
2023-03-30 14:10:13 -04:00
version = 1.1.2
2023-03-04 22:15:21 -05:00
2023-03-14 14:06:13 -04:00
brief = "Profunctors for Idris2"
2023-03-04 22:15:21 -05:00
authors = "Kiana Sheibani"
license = "MIT"
readme = "README.md"
2023-03-06 19:25:09 -05:00
langversion >= 0.6.0
modules = Data.Tensor,
2023-03-06 19:25:09 -05:00
Data.Profunctor,
Data.Profunctor.Types,
Data.Profunctor.Functor,
2023-03-06 19:25:09 -05:00
Data.Profunctor.Strong,
2023-03-07 14:29:31 -05:00
Data.Profunctor.Costrong,
2023-03-06 19:25:09 -05:00
Data.Profunctor.Closed,
Data.Profunctor.Traversing,
2023-03-07 14:29:31 -05:00
Data.Profunctor.Mapping,
Data.Profunctor.Sieve,
Data.Profunctor.Representable,
Data.Profunctor.Cayley,
Data.Profunctor.Yoneda