ilyakooo0/semi-iso-optics
1
0
Fork 0
mirror of https://github.com/ilyakooo0/semi-iso-optics.git synced 2024-10-26 08:19:54 +03:00
Code Issues Projects Releases Wiki Activity

Commit Graph

  • cb84f897bf
         Merge 75ad5ea3eb into 74954e590b iko 2019-09-21 18:55:58 +0000
  • 75ad5ea3eb Removed semigroupoids transition-to-optics iko 2019-09-21 21:55:49 +0300
  • 872d420c35 Moved stuff to base Arrows iko 2019-09-21 21:36:43 +0300
  • 74954e590b
         Fixed ci (?) (#5) master iko 2019-09-21 20:29:08 +0300
  • e7e25db169 Fixed ci (?) iko 2019-09-21 20:14:05 +0300
  • c39adc71c6
         Fixed weeder (#4) iko 2019-09-21 20:06:37 +0300
  • 675d340ba6 removed generated cabal file iko 2019-09-21 19:52:56 +0300
  • 793360b82a Fixed weeder iko 2019-09-21 17:48:07 +0300
  • f547bca86a
         Added github actions weeder (#3) iko 2019-09-21 17:41:57 +0300
  • d57c98798d
         Added stack (#2) iko 2019-09-21 17:39:41 +0300
  • b81cbfa186 Moved to hpack iko 2019-09-21 17:10:36 +0300
  • b32f030b09 Added stack iko 2019-09-21 11:24:45 +0300
  • 3344a29fdc
         Tuple iso (#1) iko 2019-09-21 17:36:51 +0300
  • 098de7a84a Added github actions weeder iko 2019-09-21 17:35:09 +0300
  • 23c3d647fe Moved to hpack origin/added-stack origin/add-github-actions-weeder iko 2019-09-21 17:10:36 +0300
  • 362f0c84dc Added stack iko 2019-09-21 11:24:45 +0300
  • d394ff32f3
         Update haskell.yml origin/master origin/HEAD iko 2019-09-21 11:47:36 +0300
  • 69a43f4434
         Update haskell.yml iko 2019-09-21 11:43:55 +0300
  • 6e699ad6c7
         Update haskell.yml iko 2019-09-21 11:43:13 +0300
  • a66e5fb5e8
         Added Github Actions iko 2019-09-21 11:21:46 +0300
  • 61733242b2 Removed extra typefamilies origin/tuple-iso iko 2019-09-21 09:43:52 +0300
  • 816d5059e6 Added /$<~> iko 2019-09-19 22:40:42 +0300
  • 0a2e6db529 Got basics working iko 2019-09-16 23:55:14 +0300
  • 993db9cce6
         Merge pull request #1 from siddharthist/ghc843 Pavel Christof 2019-02-19 00:15:15 +0100
  • 9d4488f057 More specific bounds on base Langston Barrett 2018-12-13 16:51:49 -0800
  • f4b98b18ff Add Travis CI configuration Langston Barrett 2018-12-13 16:35:24 -0800
  • a19adc588a Remove dependency on HList (via morphed) to fix compilation Langston Barrett 2018-12-13 16:31:09 -0800
  • b55e6e247f Rename ReifiedSemiIso' -> ReifiedSI. origin/generalized-arrow Paweł Nowak 2015-01-16 22:51:30 +0100
  • 3d586c8a94 Added Cloning, Choosing and their duals. Paweł Nowak 2015-01-16 22:04:56 +0100
  • b65d74085b Name changes, simplification. Paweł Nowak 2015-01-16 20:49:52 +0100
  • f82467876d Added Concrete, Dagger, Arrow classes. Paweł Nowak 2014-12-30 21:34:47 +0100
  • e10d2b3c26 Checkpoint. Paweł Nowak 2014-12-30 19:47:34 +0100
  • 689792e009 Fix a subtle bug in the implementation of (+++) and (***) for dual categories. Paweł Nowak 2014-12-13 00:22:21 +0100
  • 49e56e33c8 Add instances for Dual categories. Paweł Nowak 2014-12-12 19:30:32 +0100
  • 8a6f5302d4 Implement Products and Coproducts for (->). Paweł Nowak 2014-12-12 15:30:36 +0100
  • 8e22dab327 Add 'sibind' and reversed arrow operators. Paweł Nowak 2014-12-12 15:00:23 +0100
  • 4a49f7b744 Rename "CategoryTrans" to "CatTrans". Paweł Nowak 2014-12-11 21:32:56 +0100
  • 0128789bdd Change description. Paweł Nowak 2014-12-11 21:27:34 +0100
  • 23f67c0667 Documentation. Paweł Nowak 2014-12-11 21:26:20 +0100
  • 98d70902f3 Updated description. Paweł Nowak 2014-12-11 20:45:37 +0100
  • 94f0a75e92 Add comment, remove (~$/) and (~$~) for clarity. Paweł Nowak 2014-12-11 16:38:28 +0100
  • c97679d0e3 Add minimal pragmas. Paweł Nowak 2014-12-11 16:29:03 +0100
  • 67c1554771 Add category instances for ReifiedSemiIso'. Paweł Nowak 2014-12-11 16:26:58 +0100
  • f0d5d26b21 Moves classes to Control.Category.Structures. Paweł Nowak 2014-12-11 16:18:21 +0100
  • 1dc6707e78 My God, it's full of arrows! Paweł Nowak 2014-12-11 00:17:21 +0100
  • 4cc50cd512 Add WrappedCovariant. Paweł Nowak 2014-11-30 15:10:29 +0100
  • 0e68b49fe0 Reintroduce 'prod'. Added laws for SemiIsoApply and improved comments. Paweł Nowak 2014-11-29 20:29:54 +0100
  • faf5e0b5df Revert "Add SIMonadTrans." Paweł Nowak 2014-11-29 17:58:56 +0100
  • 68eee5e258 Add SIMonadTrans. Paweł Nowak 2014-11-25 22:39:16 +0100
  • a7986cc969 Reverse 'exact' to better match sipure and common use cases. Add sireplicate_ and sisequence_. Paweł Nowak 2014-11-25 22:37:30 +0100
  • 2fb082c6c1 Add reified semi-isos. Paweł Nowak 2014-11-25 22:36:26 +0100
  • 84b6967d70 Bump version to 0.4.2.0. Add 'cloneSemiIso' and '/?/'. Paweł Nowak 2014-11-25 19:08:29 +0100
  • eb505093ae Add sifail, bump version to 0.4.1.0 Paweł Nowak 2014-11-23 17:16:01 +0100
  • 82588b5257 Finish _Negative. Paweł Nowak 2014-11-23 14:40:21 +0100
  • a7625c3c39 Added 'bifiltered' semi-iso. Paweł Nowak 2014-11-23 14:17:14 +0100
  • 180dcbcb79 Workaround a bug with haddock and pattern synyonyms. Fixed some docs issues. Paweł Nowak 2014-11-23 14:00:21 +0100
  • ff4a426746 Update comments. Paweł Nowak 2014-11-23 13:47:36 +0100
  • 71aa321931 Do not export unidirectional folds. Added simple bifolds. Paweł Nowak 2014-11-23 13:37:04 +0100
  • 1799ff11b4 Comments and MINIMAL pragmas. Paweł Nowak 2014-11-23 01:17:43 +0100
  • c8f2ec4c6a Remove unnecessary imports. Paweł Nowak 2014-11-23 01:10:02 +0100
  • b978d852ed Added 'morphed' semi-iso and /$~, ~$/, ~$~ operators. Paweł Nowak 2014-11-23 01:09:27 +0100
  • 93dab1bf8d Merge branch 'master' of github.com:Pawel834/semi-iso Paweł Nowak 2014-11-13 15:43:52 +0100
  • d5cf2a912a Refactoring, added SemiIso pattern synonym. Paweł Nowak 2014-11-13 15:40:39 +0100
  • 5e40147d24 Remove 8 spaces. Paweł Nowak 2014-11-13 09:10:09 +0100
  • 0f3896217b Operator names are fine. Paweł Nowak 2014-11-13 09:01:08 +0100
  • 743dd01742 Added SemiIsoMonad and SemiIsoFix (no docs yet). Paweł Nowak 2014-11-13 09:00:34 +0100
  • 1963cb7adb Add siunit. Paweł Nowak 2014-11-13 08:40:13 +0100
  • adf10830dc Do not expose Profunctor and Exposed. Paweł Nowak 2014-10-30 20:11:18 +0100
  • 17f25134d1 Finished 'attempt' functions. Paweł Nowak 2014-10-30 20:08:12 +0100
  • c8da5d2c1f Unfinished "attempt" functions. Paweł Nowak 2014-10-30 16:38:56 +0100
  • 40ee1daca6 Rename Barter -> Retail. It fits better. Paweł Nowak 2014-10-30 16:20:53 +0100
  • f84672d523 Added various folds. Paweł Nowak 2014-10-30 13:27:57 +0100
  • 3fdd47d71f I forgot to add the Exposed file. Oops. Paweł Nowak 2014-10-30 13:27:02 +0100
  • 3ccb3a45f9 Fix a stupid mistake in module names. Paweł Nowak 2014-10-30 12:43:08 +0100
  • 6886ad15ae Generalize Failure to Exposed typeclass. Paweł Nowak 2014-10-30 12:32:11 +0100
  • be10e53f09 Add a bifoldr. Paweł Nowak 2014-10-30 09:40:41 +0100
  • 44476db311 Add base version upper bound. Paweł Nowak 2014-10-29 21:16:43 +0100
  • 030ce62404 Added git repo to cabal file. Paweł Nowak 2014-10-29 20:57:03 +0100
  • 20b8b017ef Remove the version on base. Paweł Nowak 2014-10-29 20:32:11 +0100
  • a94a19d330 Move scripts out of this repo. Paweł Nowak 2014-10-29 20:32:04 +0100
  • d1f9df6d89 Rename "constant" to "exact". Add a real "constant" semiiso. Bump the version to 0.2.0.0. Paweł Nowak 2014-10-29 16:10:59 +0100
  • 16e692f5c7 Added a script that uploads hackage docs. Paweł Nowak 2014-10-29 16:10:03 +0100
  • badcce21bc Version 0.1.0.0. Paweł Nowak 2014-10-29 11:17:33 +0100