Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ekmett/kan-extensions issues and pull requests

#81 - Type class for `MonadCodensity`?

Issue - State: open - Opened by ppetr 6 months ago

#80 - Representable (Lan f g)

Issue - State: open - Opened by Icelandjack 12 months ago - 2 comments

#79 - Added oneShot to Codensity continuation

Pull Request - State: open - Opened by Icelandjack 12 months ago - 6 comments

#78 - Add oneShot to Codensity instances

Issue - State: open - Opened by Icelandjack 12 months ago - 1 comment

#77 - Require building with GHC 8.4+

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago

#76 - Require building with GHC 8.4 or later

Issue - State: closed - Opened by RyanGlScott over 1 year ago

#74 - Add MonadFix instance for Codensity

Pull Request - State: open - Opened by finnteegen over 2 years ago - 1 comment

#72 - Export Curried Yoneda utils

Issue - State: open - Opened by treeowl over 3 years ago

#71 - Make the Coyoneda Applicative instance more useful

Pull Request - State: closed - Opened by treeowl over 3 years ago - 2 comments

#70 - Allow transformers-compat 0.7

Pull Request - State: closed - Opened by felixonmars over 3 years ago

#69 - kan-extensions-5.1 doesn't build with GHC-9.0

Issue - State: closed - Opened by phadej over 3 years ago - 1 comment

#68 - Add Codensity delimited continuations

Pull Request - State: closed - Opened by alexfmpe almost 4 years ago - 2 comments

#67 - Add hoistCoyoneda to Contravariant Coyoneda

Pull Request - State: closed - Opened by vapourismo about 4 years ago

#66 - Add Apply instance for Curried

Pull Request - State: closed - Opened by treeowl over 4 years ago - 1 comment

#65 - Implement liftA2 for Curried

Pull Request - State: closed - Opened by treeowl over 4 years ago

#64 - Laws hold? MonadFix (Codensity m)

Issue - State: open - Opened by Icelandjack over 4 years ago - 2 comments

#63 - Direct-style CoT

Issue - State: open - Opened by KingoftheHomeless almost 5 years ago

#62 - Making Codensity a separate library?

Issue - State: open - Opened by Atry about 5 years ago

#61 - Implement MonadWriter for Codensity

Pull Request - State: closed - Opened by Atry about 5 years ago - 1 comment

#60 - Implement MonadError for `ContT e (Codensity m)`

Pull Request - State: open - Opened by Atry about 5 years ago

#59 - Instances for contravariant Coyoneda/Day

Issue - State: open - Opened by thoughtpolice over 5 years ago

#58 - Some more instances for Co- and Contravariant Day

Pull Request - State: closed - Opened by sjoerdvisscher almost 6 years ago

#57 - Fix a small typo in the documentation of co densities.

Pull Request - State: closed - Opened by phaazon over 6 years ago

#56 - Only depend on fail with ancient compilers

Pull Request - State: closed - Opened by clinty almost 7 years ago

#55 - Mention more prominently that Coyoneda is free functor

Pull Request - State: closed - Opened by tomjaguarpaw almost 7 years ago - 6 comments

#54 - Improve a few instances

Pull Request - State: closed - Opened by treeowl almost 7 years ago

#53 - Remove a bunch of flexible instances

Pull Request - State: closed - Opened by treeowl almost 7 years ago - 10 comments

#52 - Make Codensity kind and levity polymorphic

Pull Request - State: closed - Opened by treeowl almost 7 years ago - 10 comments

#51 - Codensity: Add exception handling helpers

Pull Request - State: closed - Opened by esoeylemez about 7 years ago - 5 comments

#50 - Add an Invariant version of Day

Pull Request - State: closed - Opened by puffnfresh about 7 years ago - 6 comments

#49 - Fix broken URL

Pull Request - State: closed - Opened by iblech about 7 years ago - 1 comment

#48 - Levity polymorphic codensity

Issue - State: closed - Opened by Icelandjack about 7 years ago - 1 comment

#47 - Add 'freeW' function, inspired by MonadFree

Pull Request - State: open - Opened by paf31 about 7 years ago - 2 comments

#46 - MonadFree instance for Co

Issue - State: open - Opened by paf31 about 7 years ago

#45 - Some random functions/types related to Lan

Issue - State: open - Opened by Icelandjack over 7 years ago

#44 - Maybe two spelling mistakes in the doc of Ran

Pull Request - State: closed - Opened by hawnzug over 7 years ago - 1 comment

#43 - Add: Ran f (Codensity g) ~> Ran (Compose f g) g

Issue - State: open - Opened by Icelandjack over 7 years ago

#42 - correct spelling mistake

Pull Request - State: closed - Opened by EdwardBetts over 7 years ago

#41 - Consider different functor arguments of Ran, Lan

Issue - State: open - Opened by Icelandjack over 7 years ago - 1 comment

#40 - Made Density, Codensity, Kan and Lan polykinded.

Pull Request - State: closed - Opened by Icelandjack over 7 years ago - 1 comment

#39 - Fix paper link

Pull Request - State: closed - Opened by osa1 over 7 years ago

#38 - Make eagerly forward-`-Wcompat` clean

Pull Request - State: closed - Opened by hvr over 7 years ago

#37 - Instances for Codensity (Semigroup, Monoid, numeric classes)

Issue - State: open - Opened by Icelandjack almost 8 years ago - 1 comment

#36 - Pattern synonyms for different encodings of Day convolution

Issue - State: open - Opened by Icelandjack almost 8 years ago

#35 - Add lifted classes instances

Pull Request - State: closed - Opened by phadej about 8 years ago - 3 comments

#34 - Add Eq1 etc instances?

Issue - State: closed - Opened by phadej about 8 years ago

#33 - [Ask] How to hoist monad on CoT

Issue - State: open - Opened by syaiful6 about 8 years ago

#32 - Instances for right/left Kan extensions for functors along themselves

Issue - State: open - Opened by Icelandjack about 8 years ago - 1 comment

#31 - Make ‘Ran’, ‘Lan’ kind polymorphic

Issue - State: closed - Opened by Icelandjack about 8 years ago - 2 comments

#30 - Implement collect directly for Day

Pull Request - State: closed - Opened by treeowl about 8 years ago

#29 - Make ‘Codensity’ kind polymorphic

Issue - State: closed - Opened by Icelandjack about 8 years ago - 2 comments

#28 - MonadFail for ContT

Pull Request - State: closed - Opened by Icelandjack over 8 years ago

#27 - Implement internal hom objects for Day?

Issue - State: closed - Opened by paf31 over 8 years ago - 6 comments

#26 - Improve Applicative etc. for Coyoneda

Pull Request - State: closed - Opened by treeowl almost 9 years ago - 1 comment

#24 - Allow building with transformers 0.5 (on GHC 8 RC)

Pull Request - State: closed - Opened by cnd about 9 years ago - 4 comments

#22 - Add polymorphic improve variant

Issue - State: open - Opened by treeowl about 9 years ago - 1 comment

#21 - canonical-AMP-warning avoidance

Pull Request - State: closed - Opened by hvr about 9 years ago

#19 - Name spelling

Pull Request - State: closed - Opened by ggreif over 9 years ago

#18 - `lift` for `Codensity` can probably be done with coercions

Issue - State: open - Opened by treeowl over 9 years ago

#17 - Use default `MonadPlus` instance

Pull Request - State: closed - Opened by treeowl over 9 years ago

#16 - Modernize some things

Pull Request - State: closed - Opened by treeowl over 9 years ago

#15 - lowerCodensity can be AMPlified

Issue - State: closed - Opened by treeowl over 9 years ago - 3 comments

#14 - fix CoT haddock

Pull Request - State: closed - Opened by xuwei-k over 9 years ago - 1 comment

#13 - Fails to compile with GHC 7.0.4

Issue - State: closed - Opened by hvr about 10 years ago

#12 - Add a MonadReader instance for Codensity

Pull Request - State: closed - Opened by jonsterling about 10 years ago

#11 - codensity: add Typeable instance

Pull Request - State: closed - Opened by suhailshergill about 10 years ago - 7 comments

#10 - MonadReader instance for Codensity

Issue - State: closed - Opened by jonsterling over 10 years ago - 3 comments

#9 - Add Applicative instance for Day

Pull Request - State: closed - Opened by pcapriotti over 10 years ago

#8 - Build failure with GHC 7.6

Issue - State: closed - Opened by snoyberg over 10 years ago - 1 comment

#7 - GHC-7.8-rc2 imagines you need -XImpredicativeTypes

Pull Request - State: closed - Opened by michaelt almost 11 years ago

#6 - Fix the linking in the docs for lowerCodensity

Pull Request - State: closed - Opened by prophile about 11 years ago

#5 - Build failure for GHC 7.4

Issue - State: closed - Opened by snoyberg about 11 years ago - 1 comment

#4 - Remove heinous lies regarding the (non)isomorphism of CoT and Rift

Pull Request - State: closed - Opened by ghost about 11 years ago

#3 - MonadCont instance for Codensity

Issue - State: open - Opened by fizruk about 11 years ago

#2 - Haddock fixes.

Pull Request - State: closed - Opened by supki over 11 years ago

#1 - Build fails on GHC 7.7 without ImpredicativeTypes

Issue - State: closed - Opened by russetkoala over 11 years ago - 2 comments