Commit graph

Select branches

Hide pull requests

main

v1.0.0

v1.1.0

Mono Color

• e862ef887f
  
  Update ipkg main origin/main Kiana Sheibani 2023-03-30 14:10:13 -0400
• 3c87261627
  
  Prefer using Prelude.id over Identity Kiana Sheibani 2023-03-30 14:08:24 -0400
• 5b55d39ab5
  
  Refactor Data.Profunctor.Mapping Kiana Sheibani 2023-03-30 13:43:33 -0400
• 68ef29160f
  
  Change visibility on everything to public export Kiana Sheibani 2023-03-30 13:32:45 -0400
• 573c461d9b
  
  Add brief package description Kiana Sheibani 2023-03-14 14:06:13 -0400
• 38970b9cd5
  
  Fix Traversing default implementation Kiana Sheibani 2023-03-14 12:52:45 -0400
• 3f6936b5b1
  
  Update ipkg v1.1.0 Kiana Sheibani 2023-03-08 15:05:57 -0500
• 55061adc1b
  
  Fix documentation headers Kiana Sheibani 2023-03-08 15:05:28 -0500
• 7ff2746ab4
  
  Define new profunctors Forget and Coforget Kiana Sheibani 2023-03-08 15:05:07 -0500
• 99ff1476aa
  
  Implement Corepresentable for Morphism Kiana Sheibani 2023-03-08 13:30:55 -0500
• 4be8bc5dfc
  
  Provide Iso optics for Yoneda Kiana Sheibani 2023-03-07 22:32:10 -0500
• 6c46279ec7
  
  Rename Data.Tensor.swap to swap' Kiana Sheibani 2023-03-07 22:28:38 -0500
• be4985714d
  
  Add assocl and assocr functions to Data.Tensor Kiana Sheibani 2023-03-07 22:21:54 -0500
• 5a35b099c1
  
  Document everything Kiana Sheibani 2023-03-07 22:15:08 -0500
• a717b58293
  
  Update ipkg v1.0.0 Kiana Sheibani 2023-03-07 14:29:31 -0500
• 5ba5aa222a
  
  Remove special cases of genpastro, etc. Kiana Sheibani 2023-03-07 14:16:55 -0500
• c0de1a7a94
  
  Create Data.Profunctor.Representable Kiana Sheibani 2023-03-07 14:10:36 -0500
• 3d350068c5
  
  Add Sieve implementation for Cayley Kiana Sheibani 2023-03-07 13:16:27 -0500
• bb7814b7af
  
  Create Data.Profunctor.Cayley Kiana Sheibani 2023-03-07 13:03:15 -0500
• f24cbd0db0
  
  Create Data.Profunctor.Costrong Kiana Sheibani 2023-03-06 22:47:03 -0500
• d6ec94847c
  
  Implement for Yoneda and Coyoneda Kiana Sheibani 2023-03-06 22:05:45 -0500
• 038a4c588a
  
  Define Coyoneda Kiana Sheibani 2023-03-06 22:05:33 -0500
• fec58179c6
  
  Create Data.Profunctor.Yoneda Kiana Sheibani 2023-03-06 21:42:52 -0500
• 14d392c021
  
  Define free and cofree Mapping functors Kiana Sheibani 2023-03-06 21:39:24 -0500
• f60914d41f
  
  Implement Mapping profunctors Kiana Sheibani 2023-03-06 21:39:12 -0500
• 36f5c18f0f
  
  Create Data.Profunctor.Mapping Kiana Sheibani 2023-03-06 21:38:42 -0500
• b5d5526550
  
  Implement Sieve and Cosieve profunctors Kiana Sheibani 2023-03-06 21:37:56 -0500
• ff82a24001
  
  Define Sieve and Cosieve interfaces Kiana Sheibani 2023-03-06 21:37:27 -0500
• 22da62a6f5
  
  Implement Traversing profunctors Kiana Sheibani 2023-03-06 21:36:44 -0500
• 8cd11e401d
  
  Create Data.Profunctor.Sieve Kiana Sheibani 2023-03-06 19:25:09 -0500
• 013ceae011
  
  Implement Traversing profunctors Kiana Sheibani 2023-03-06 19:24:07 -0500
• f68a0c517c
  
  Use existing equivalence type in Prelude Kiana Sheibani 2023-03-06 16:53:56 -0500
• ebc5de6b2c
  
  Rename get* to run* Kiana Sheibani 2023-03-06 16:44:26 -0500
• 3558ea1741
  
  Implement strongr for Tambara directly Kiana Sheibani 2023-03-06 16:38:13 -0500
• 20c3ce2ee8
  
  Implement free and cofree Traversing functors Kiana Sheibani 2023-03-06 16:37:43 -0500
• 81c9486124
  
  Define the Traversing interface Kiana Sheibani 2023-03-06 14:50:09 -0500
• 85b9d77079
  
  Add visibility for Environment Kiana Sheibani 2023-03-06 12:43:41 -0500
• 9f889aaa94
  
  Implement interfaces for Closure and Environment Kiana Sheibani 2023-03-06 12:33:14 -0500
• af4539e344
  
  Define Closure and Environment Kiana Sheibani 2023-03-06 12:32:34 -0500
• 898087509b
  
  Create Data.Profunctor.Closed Kiana Sheibani 2023-03-06 12:31:03 -0500
• 8d6bc903d0
  
  Implement Strong for some profunctors Kiana Sheibani 2023-03-06 11:31:00 -0500
• f4dffcfa11
  
  Add type synonyms for common tensor products Kiana Sheibani 2023-03-06 11:01:17 -0500
• 2aa29d4bf5
  
  Fix visibility in Data.Tensor Kiana Sheibani 2023-03-06 10:59:05 -0500
• cbebb74423
  
  Add Data.Tensor Kiana Sheibani 2023-03-06 10:57:36 -0500
• cf38f4a07e
  
  Use forall instead of implicit argument notation Kiana Sheibani 2023-03-06 10:52:28 -0500
• 2e4fa7ff87
  
  Define Choice as special case of GenStrong Kiana Sheibani 2023-03-06 10:51:23 -0500
• c6215d7509
  
  Define GenPastro Kiana Sheibani 2023-03-06 10:51:03 -0500
• ac292d092e
  
  Define instances for GenTambara Kiana Sheibani 2023-03-06 10:50:30 -0500
• 551f238ab7
  
  Add profunctor strength interface Kiana Sheibani 2023-03-05 17:06:27 -0500
• 80fb506448
  
  Define profunctor adjunctions Kiana Sheibani 2023-03-05 00:00:50 -0500
• f2392954c2
  
  Add profunctor functor interfaces Kiana Sheibani 2023-03-04 23:57:12 -0500
• c8dfbb5189
  
  Fix profunctor record declarations Kiana Sheibani 2023-03-04 23:56:35 -0500
• daf9eaef6e
  
  Change MkTagged to Tag Kiana Sheibani 2023-03-04 23:35:26 -0500
• ffab765e86
  
  Define Profunctor interface Kiana Sheibani 2023-03-04 23:31:48 -0500
• 0cbb2233d6
  
  Initial commit Kiana Sheibani 2023-03-04 22:15:21 -0500