74954e590b
Fixed ci (?) ( #5 )
2019-09-21 20:29:08 +03:00
c39adc71c6
Fixed weeder ( #4 )
...
* Fixed weeder
* removed generated cabal file
2019-09-21 20:06:37 +03:00
f547bca86a
Added github actions weeder ( #3 )
2019-09-21 17:41:57 +03:00
d57c98798d
Added stack ( #2 )
...
* Added stack
* Moved to hpack
2019-09-21 17:39:41 +03:00
3344a29fdc
Tuple iso ( #1 )
...
* Got basics working
* Added /$<~>
* Removed extra typefamilies
2019-09-21 17:36:51 +03:00
d394ff32f3
Update haskell.yml
2019-09-21 11:47:36 +03:00
69a43f4434
Update haskell.yml
2019-09-21 11:43:55 +03:00
6e699ad6c7
Update haskell.yml
2019-09-21 11:43:13 +03:00
a66e5fb5e8
Added Github Actions
2019-09-21 11:21:46 +03:00
Pavel Christof
993db9cce6
Merge pull request #1 from siddharthist/ghc843
...
Remove dependency on HList (via morphed) to fix compilation
2019-02-19 00:15:15 +01:00
Langston Barrett
9d4488f057
More specific bounds on base
...
This is recommended by 'cabal check'
2018-12-13 16:51:49 -08:00
Langston Barrett
f4b98b18ff
Add Travis CI configuration
2018-12-13 16:35:24 -08:00
Langston Barrett
a19adc588a
Remove dependency on HList (via morphed) to fix compilation
...
This fixes compilation with GHC 8.4.3. HList is an old package
that is no longer actively maintained, and so should not be depended on.
Luckily, the part of this package that did so is not huge.
2018-12-13 16:31:09 -08:00
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