ekmett profunctors issues

ekmett / profunctors

Haskell 98 Profunctors

http://hackage.haskell.org/package/profunctors

Other

70 stars 43 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Phantom Left

#113 BebeSparkelSparkel closed 2 months ago
2
Extract `wander`/`traverse'` as separate function

#112 mniip closed 3 weeks ago
1
Add arrow-related instances

#111 mniip closed 4 months ago
0
update profunctor paper link

#110 BebeSparkelSparkel opened 5 months ago
5
Applicative, Alternative instances for Cayley

#109 Icelandjack closed 8 months ago
0
instance Applicative (Cayley f pro a)

#108 Icelandjack closed 8 months ago
1
Add Applicative for Forget

#107 echatav closed 11 months ago
2
Why is unsafe unsafe?

#106 Jashweii opened 1 year ago
0
Implement `splitStrong`, `fanOut`, `splitChoice` and `fanIn`

#105 marcosh closed 1 year ago
2
Implement (***), (&&&) for Strong and (+++) and (|||) for Choice

#104 marcosh closed 1 year ago
4
There is no Applicative for Forget a

#103 Icelandjack opened 1 year ago
2
Converse of `Closed`

#102 Zemyla closed 2 years ago
1
Add a `Lan` type

#101 echatav closed 2 years ago
1
Add a `Lan` type

#100 echatav closed 2 years ago
3
Cokleisli does not satisfy Choice laws

#99 viercc opened 2 years ago
1
Compatibility with transformers 0.6

#98 sjakobi closed 3 years ago
9
Inverse of Forget

#97 robrix opened 3 years ago
0
GHC9 issue

#96 sorki closed 3 years ago
2
Add Monoid/Semigroup for Forget

#95 ChrisPenner closed 3 years ago
1
Explicitly mark modules as Safe

#94 phadej closed 3 years ago
10
Add Functor instances for Coyoneda, {Co}PastroSum, Environment, {Co}Pastro, and Free{Mapping,Traversing}

#93 RyanGlScott closed 3 years ago
0
Add Functor instance for Coyoneda

#92 vapourismo closed 3 years ago
1
Eta-expand some definitions to work under simplified subsumption.

#91 galenhuntington closed 4 years ago
4
Enabled PolyKinds for Cayley, Procompose, Rift, ProfunctorFunctor, Ran, …

#90 Icelandjack closed 4 years ago
2
Strong Categories are Applicative

#89 wygulmage closed 3 years ago
0
Add the reach function to the Strong class

#88 guaraqe opened 4 years ago
1
Chocolate Profunctor - Co(ntravariant) Closed

#87 lemastero closed 4 years ago
1
Make profunctors -Wincomplete-uni-patterns–clean

#86 RyanGlScott closed 4 years ago
1
Add folds to Traversing

#85 guaraqe opened 4 years ago
2
Achieve instance parity for Cayley and Tannen

#84 RyanGlScott closed 4 years ago
0
Ensure that Cayley and Tannen have instance parity

#83 RyanGlScott closed 4 years ago
2
Closed, Traversing and Mapping instances for Cayley

#82 guaraqe closed 4 years ago
1
Add Choice, Cochoice, Closed, Strong, Costrong instances for Sum

#81 RyanGlScott closed 4 years ago
0
Fix statement of Costrong/Cochoice laws

#80 RyanGlScott closed 3 years ago
1
Certain Costrong/Cochoice laws seem dubious

#79 RyanGlScott closed 3 years ago
3
Add Cochoice instance for Forget

#78 ChrisPenner closed 5 years ago
0
More methods

#77 treeowl closed 3 years ago
2
Mapping Kleisli on old GHC

#76 treeowl closed 5 years ago
5
Fix the type of roam

#75 treeowl closed 5 years ago
5
Functor superclass

#74 andrewthad closed 3 years ago
2
Generalised {Co,}Star

#73 rjmk closed 3 years ago
1
Potential additional superclass of Traversing?

#72 Zemyla opened 5 years ago
1
Support GHC 8.8

#71 fumieval closed 5 years ago
1
[#74] Use QuantifiedConstraints in the Profunctor definition

#70 chshersh closed 3 years ago
22
pattern synonyms for Procompose; comp (f :>>>: f') = f >>> f'

#69 Icelandjack closed 3 years ago
1
Add Contravariant instances for Star and Forget.

#68 Solonarv closed 5 years ago
0
Contravariant instances for Forget and Star

#67 Solonarv closed 5 years ago
1
Fix link to second and first in Strong Profunctor laws targeting Arrow

#66 lemastero closed 5 years ago
0
fix link to Kazuyuki Asada paper Arrows are Strong Monads

#65 lemastero closed 5 years ago
0
Make the semigroups dep conditional.

#64 quasicomputational closed 6 years ago
1