Kiana Sheibani
|
3c87261627
|
Prefer using Prelude.id over Identity
|
2023-03-30 14:08:24 -04:00 |
|
Kiana Sheibani
|
68ef29160f
|
Change visibility on everything to public export
|
2023-03-30 13:32:45 -04:00 |
|
Kiana Sheibani
|
7ff2746ab4
|
Define new profunctors Forget and Coforget
|
2023-03-08 15:05:07 -05:00 |
|
Kiana Sheibani
|
99ff1476aa
|
Implement Corepresentable for Morphism
|
2023-03-08 13:30:55 -05:00 |
|
Kiana Sheibani
|
5a35b099c1
|
Document everything
|
2023-03-07 22:15:08 -05:00 |
|
Kiana Sheibani
|
ebc5de6b2c
|
Rename get* to run*
|
2023-03-06 16:44:26 -05:00 |
|
Kiana Sheibani
|
cf38f4a07e
|
Use forall instead of implicit argument notation
|
2023-03-06 10:52:28 -05:00 |
|
Kiana Sheibani
|
f2392954c2
|
Add profunctor functor interfaces
|
2023-03-04 23:57:12 -05:00 |
|
Kiana Sheibani
|
c8dfbb5189
|
Fix profunctor record declarations
|
2023-03-04 23:56:35 -05:00 |
|
Kiana Sheibani
|
daf9eaef6e
|
Change MkTagged to Tag
|
2023-03-04 23:35:26 -05:00 |
|
Kiana Sheibani
|
ffab765e86
|
Define Profunctor interface
|
2023-03-04 23:31:48 -05:00 |
|