ilyakooo0/semi-iso-optics
1
0
Fork 0
mirror of https://github.com/ilyakooo0/semi-iso-optics.git synced 2024-09-17 11:27:13 +03:00
Code Issues Projects Releases Wiki Activity
51 Commits 2 Branches 0 Tags 144 KiB
689792e009
Commit Graph

51 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paweł Nowak
689792e009 Fix a subtle bug in the implementation of (+++) and (***) for dual categories. 2014-12-13 00:22:21 +01:00
Paweł Nowak
49e56e33c8 Add instances for Dual categories. 2014-12-12 19:30:32 +01:00
Paweł Nowak
8a6f5302d4 Implement Products and Coproducts for (->). 2014-12-12 15:30:36 +01:00
Paweł Nowak
8e22dab327 Add 'sibind' and reversed arrow operators. 2014-12-12 15:00:23 +01:00
Paweł Nowak
4a49f7b744 Rename "CategoryTrans" to "CatTrans". 2014-12-11 21:32:56 +01:00
Paweł Nowak
0128789bdd Change description. 2014-12-11 21:27:34 +01:00
Paweł Nowak
23f67c0667 Documentation. 2014-12-11 21:26:20 +01:00
Paweł Nowak
98d70902f3 Updated description. 2014-12-11 20:45:37 +01:00
Paweł Nowak
94f0a75e92 Add comment, remove (~$/) and (~$~) for clarity. 2014-12-11 16:38:28 +01:00
Paweł Nowak
c97679d0e3 Add minimal pragmas. 2014-12-11 16:29:03 +01:00
Paweł Nowak
67c1554771 Add category instances for ReifiedSemiIso'. 2014-12-11 16:26:58 +01:00
Paweł Nowak
f0d5d26b21 Moves classes to Control.Category.Structures. 2014-12-11 16:18:21 +01:00
Paweł Nowak
1dc6707e78 My God, it's full of arrows! 2014-12-11 01:42:05 +01:00
Paweł Nowak
4cc50cd512 Add WrappedCovariant. 2014-11-30 15:10:29 +01:00
Paweł Nowak
0e68b49fe0 Reintroduce 'prod'. Added laws for SemiIsoApply and improved comments. 2014-11-29 20:29:54 +01:00
Paweł Nowak
faf5e0b5df Revert "Add SIMonadTrans." 
This reverts commit 68eee5e258.
 2014-11-29 17:58:56 +01:00
Paweł Nowak
68eee5e258 Add SIMonadTrans. 2014-11-25 22:39:16 +01:00
Paweł Nowak
a7986cc969 Reverse 'exact' to better match sipure and common use cases. Add sireplicate_ and sisequence_. 2014-11-25 22:37:30 +01:00
Paweł Nowak
2fb082c6c1 Add reified semi-isos. 2014-11-25 22:36:26 +01:00
Paweł Nowak
84b6967d70 Bump version to 0.4.2.0. Add 'cloneSemiIso' and '/?/'. 2014-11-25 19:08:57 +01:00
Paweł Nowak
eb505093ae Add sifail, bump version to 0.4.1.0 2014-11-23 17:16:01 +01:00
Paweł Nowak
82588b5257 Finish _Negative. 2014-11-23 14:40:21 +01:00
Paweł Nowak
a7625c3c39 Added 'bifiltered' semi-iso. 2014-11-23 14:17:14 +01:00
Paweł Nowak
180dcbcb79 Workaround a bug with haddock and pattern synyonyms. Fixed some docs issues. 2014-11-23 14:00:21 +01:00
Paweł Nowak
ff4a426746 Update comments. 2014-11-23 13:47:36 +01:00
Paweł Nowak
71aa321931 Do not export unidirectional folds. 
Added simple bifolds.
 2014-11-23 13:37:04 +01:00
Paweł Nowak
1799ff11b4 Comments and MINIMAL pragmas. 2014-11-23 01:17:43 +01:00
Paweł Nowak
c8f2ec4c6a Remove unnecessary imports. 2014-11-23 01:10:02 +01:00
Paweł Nowak
b978d852ed Added 'morphed' semi-iso and /$~, ~$/, ~$~ operators. 2014-11-23 01:09:27 +01:00
Paweł Nowak
93dab1bf8d Merge branch 'master' of github.com:Pawel834/semi-iso 
Conflicts:
	Data/SemiIsoFunctor.hs
 2014-11-13 15:43:52 +01:00
Paweł Nowak
d5cf2a912a Refactoring, added SemiIso pattern synonym. 2014-11-13 15:40:39 +01:00
Paweł Nowak
5e40147d24 Remove 8 spaces. 2014-11-13 09:10:09 +01:00
Paweł Nowak
0f3896217b Operator names are fine. 2014-11-13 09:01:08 +01:00
Paweł Nowak
743dd01742 Added SemiIsoMonad and SemiIsoFix (no docs yet). 2014-11-13 09:00:34 +01:00
Paweł Nowak
1963cb7adb Add siunit. 2014-11-13 08:40:13 +01:00
Paweł Nowak
adf10830dc Do not expose Profunctor and Exposed. 2014-10-30 20:11:18 +01:00
Paweł Nowak
17f25134d1 Finished 'attempt' functions. 2014-10-30 20:08:12 +01:00
Paweł Nowak
c8da5d2c1f Unfinished "attempt" functions. 2014-10-30 16:38:56 +01:00
Paweł Nowak
40ee1daca6 Rename Barter -> Retail. It fits better. 2014-10-30 16:20:53 +01:00
Paweł Nowak
f84672d523 Added various folds. 2014-10-30 13:27:57 +01:00
Paweł Nowak
3fdd47d71f I forgot to add the Exposed file. Oops. 2014-10-30 13:27:02 +01:00
Paweł Nowak
3ccb3a45f9 Fix a stupid mistake in module names. 2014-10-30 12:43:08 +01:00
Paweł Nowak
6886ad15ae Generalize Failure to Exposed typeclass. 2014-10-30 12:32:11 +01:00
Paweł Nowak
be10e53f09 Add a bifoldr. 2014-10-30 09:40:41 +01:00
Paweł Nowak
44476db311 Add base version upper bound. 2014-10-29 21:16:43 +01:00
Paweł Nowak
030ce62404 Added git repo to cabal file. 2014-10-29 20:57:03 +01:00
Paweł Nowak
20b8b017ef Remove the version on base. 2014-10-29 20:32:11 +01:00
Paweł Nowak
a94a19d330 Move scripts out of this repo. 2014-10-29 20:32:04 +01:00
Paweł Nowak
d1f9df6d89 Rename "constant" to "exact". Add a real "constant" semiiso. 
Bump the version to 0.2.0.0.
 2014-10-29 16:10:59 +01:00
Paweł Nowak
16e692f5c7 Added a script that uploads hackage docs. 2014-10-29 16:10:03 +01:00