8 commits

Author	SHA1	Message	Date
Kiana Sheibani	68ef29160f	Change visibility on everything to public export	2023-03-30 13:32:45 -04:00
Kiana Sheibani	55061adc1b	Fix documentation headers	2023-03-08 15:05:28 -05:00
Kiana Sheibani	7ff2746ab4	Define new profunctors Forget and Coforget	2023-03-08 15:05:07 -05:00
Kiana Sheibani	6c46279ec7	Rename Data.Tensor.swap to swap'	2023-03-07 22:28:54 -05:00
Kiana Sheibani	be4985714d	Add assocl and assocr functions to Data.Tensor	2023-03-07 22:21:54 -05:00
Kiana Sheibani	5a35b099c1	Document everything	2023-03-07 22:15:08 -05:00
Kiana Sheibani	5ba5aa222a	Remove special cases of genpastro, etc. ... The typechecker can almost always infer which tensor product is being used, so there's no reason to have these.	2023-03-07 14:16:55 -05:00
Kiana Sheibani	f24cbd0db0	Create Data.Profunctor.Costrong	2023-03-06 22:47:03 -05:00