git.iko.soy
/
semi-iso-optics
readme
files
commits
refs
on
master
help
sign in
de16c6d
Transition to optics (#6)
iko
3 months ago
74954e5
Fixed ci (?) (#5)
iko
7 years ago
c39adc7
Fixed weeder (#4)
iko
7 years ago
f547bca
Added github actions weeder (#3)
iko
7 years ago
d57c987
Added stack (#2)
iko
7 years ago
3344a29
Tuple iso (#1)
iko
7 years ago
d394ff3
Update haskell.yml
iko
7 years ago
69a43f4
Update haskell.yml
iko
7 years ago
6e699ad
Update haskell.yml
iko
7 years ago
a66e5fb
Added Github Actions
iko
7 years ago
993db9c
Merge pull request #1 from siddharthist/ghc843
Pavel Christof
8 years ago
9d4488f
More specific bounds on base
Langston Barrett
8 years ago
f4b98b1
Add Travis CI configuration
Langston Barrett
8 years ago
a19adc5
Remove dependency on HList (via morphed) to fix compilation
Langston Barrett
8 years ago
689792e
Fix a subtle bug in the implementation of (+++) and (***) for dual categories.
Paweł Nowak
12 years ago
49e56e3
Add instances for Dual categories.
Paweł Nowak
12 years ago
8a6f530
Implement Products and Coproducts for (->).
Paweł Nowak
12 years ago
8e22dab
Add 'sibind' and reversed arrow operators.
Paweł Nowak
12 years ago
4a49f7b
Rename "CategoryTrans" to "CatTrans".
Paweł Nowak
12 years ago
0128789
Change description.
Paweł Nowak
12 years ago
23f67c0
Documentation.
Paweł Nowak
12 years ago
98d7090
Updated description.
Paweł Nowak
12 years ago
94f0a75
Add comment, remove (~$/) and (~$~) for clarity.
Paweł Nowak
12 years ago
c97679d
Add minimal pragmas.
Paweł Nowak
12 years ago
67c1554
Add category instances for ReifiedSemiIso'.
Paweł Nowak
12 years ago
f0d5d26
Moves classes to Control.Category.Structures.
Paweł Nowak
12 years ago
1dc6707
My God, it's full of arrows!
Paweł Nowak
12 years ago
4cc50cd
Add WrappedCovariant.
Paweł Nowak
12 years ago
0e68b49
Reintroduce 'prod'. Added laws for SemiIsoApply and improved comments.
Paweł Nowak
12 years ago
faf5e0b
Revert "Add SIMonadTrans."
Paweł Nowak
12 years ago
68eee5e
Add SIMonadTrans.
Paweł Nowak
12 years ago
a7986cc
Reverse 'exact' to better match sipure and common use cases. Add sireplicate_ and sisequence_.
Paweł Nowak
12 years ago
2fb082c
Add reified semi-isos.
Paweł Nowak
12 years ago
84b6967
Bump version to 0.4.2.0. Add 'cloneSemiIso' and '/?/'.
Paweł Nowak
12 years ago
eb50509
Add sifail, bump version to 0.4.1.0
Paweł Nowak
12 years ago
82588b5
Finish _Negative.
Paweł Nowak
12 years ago
a7625c3
Added 'bifiltered' semi-iso.
Paweł Nowak
12 years ago
180dcbc
Workaround a bug with haddock and pattern synyonyms. Fixed some docs issues.
Paweł Nowak
12 years ago
ff4a426
Update comments.
Paweł Nowak
12 years ago
71aa321
Do not export unidirectional folds. Added simple bifolds.
Paweł Nowak
12 years ago
1799ff1
Comments and MINIMAL pragmas.
Paweł Nowak
12 years ago
c8f2ec4
Remove unnecessary imports.
Paweł Nowak
12 years ago
b978d85
Added 'morphed' semi-iso and /$~, ~$/, ~$~ operators.
Paweł Nowak
12 years ago
93dab1b
Merge branch 'master' of github.com:Pawel834/semi-iso
Paweł Nowak
12 years ago
d5cf2a9
Refactoring, added SemiIso pattern synonym.
Paweł Nowak
12 years ago
5e40147
Remove 8 spaces.
Paweł Nowak
12 years ago
0f38962
Operator names are fine.
Paweł Nowak
12 years ago
743dd01
Added SemiIsoMonad and SemiIsoFix (no docs yet).
Paweł Nowak
12 years ago
1963cb7
Add siunit.
Paweł Nowak
12 years ago
adf1083
Do not expose Profunctor and Exposed.
Paweł Nowak
12 years ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list