16 commits

Author	SHA1	Message	Date
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	f68a0c517c	Use existing equivalence type in Prelude	2023-03-06 16:53:56 -05:00
Kiana Sheibani	ebc5de6b2c	Rename get* to run*	2023-03-06 16:44:26 -05:00
Kiana Sheibani	3558ea1741	Implement strongr for Tambara directly	2023-03-06 16:38:13 -05:00
Kiana Sheibani	8d6bc903d0	Implement Strong for some profunctors	2023-03-06 11:31:00 -05:00
Kiana Sheibani	f4dffcfa11	Add type synonyms for common tensor products	2023-03-06 11:01:17 -05:00
Kiana Sheibani	cf38f4a07e	Use forall instead of implicit argument notation	2023-03-06 10:52:28 -05:00
Kiana Sheibani	2e4fa7ff87	Define Choice as special case of GenStrong	2023-03-06 10:51:23 -05:00
Kiana Sheibani	c6215d7509	Define GenPastro	2023-03-06 10:51:03 -05:00
Kiana Sheibani	ac292d092e	Define instances for GenTambara	2023-03-06 10:50:30 -05:00
Kiana Sheibani	551f238ab7	Add profunctor strength interface	2023-03-05 17:06:27 -05:00