issues
search
ekmett
/
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
77
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Representable (Lan f g)
#80
Icelandjack
opened
5 months ago
2
Added oneShot to Codensity continuation
#79
Icelandjack
opened
5 months ago
6
Add oneShot to Codensity instances
#78
Icelandjack
opened
5 months ago
1
Require building with GHC 8.4+
#77
RyanGlScott
closed
8 months ago
0
Require building with GHC 8.4 or later
#76
RyanGlScott
closed
8 months ago
0
send :: (forall x. (a -> Free f x) -> f (Free f x)) -> Codensity (Free f) a
#75
Icelandjack
opened
1 year ago
1
Add MonadFix instance for Codensity
#74
finnteegen
opened
2 years ago
1
Only require `Functor` for `Eq`/`Ord` `Coyoneda` instances when using `transformers-0.4.*`
#73
RyanGlScott
closed
2 years ago
2
Export Curried Yoneda utils
#72
treeowl
opened
2 years ago
0
Make the Coyoneda Applicative instance more useful
#71
treeowl
closed
2 years ago
2
Allow transformers-compat 0.7
#70
felixonmars
closed
3 years ago
0
kan-extensions-5.1 doesn't build with GHC-9.0
#69
phadej
closed
3 years ago
1
Add Codensity delimited continuations
#68
alexfmpe
closed
3 years ago
2
Add hoistCoyoneda to Contravariant Coyoneda
#67
vapourismo
closed
3 years ago
0
Add Apply instance for Curried
#66
treeowl
closed
9 months ago
1
Implement liftA2 for Curried
#65
treeowl
closed
8 months ago
0
Laws hold? MonadFix (Codensity m)
#64
Icelandjack
opened
3 years ago
2
Direct-style CoT
#63
KingoftheHomeless
opened
4 years ago
0
Making Codensity a separate library?
#62
Atry
opened
4 years ago
0
Implement MonadWriter for Codensity
#61
Atry
closed
9 months ago
1
Implement MonadError for `ContT e (Codensity m)`
#60
Atry
opened
4 years ago
0
Instances for contravariant Coyoneda/Day
#59
thoughtpolice
opened
4 years ago
0
Some more instances for Co- and Contravariant Day
#58
sjoerdvisscher
closed
9 months ago
0
Fix a small typo in the documentation of co densities.
#57
hadronized
closed
6 years ago
0
Only depend on fail with ancient compilers
#56
clinty
closed
6 years ago
0
Mention more prominently that Coyoneda is free functor
#55
tomjaguarpaw
closed
5 years ago
6
Improve a few instances
#54
treeowl
closed
6 years ago
0
Remove a bunch of flexible instances
#53
treeowl
closed
8 months ago
10
Make Codensity kind and levity polymorphic
#52
treeowl
closed
6 years ago
10
Codensity: Add exception handling helpers
#51
esoeylemez
closed
6 years ago
5
Add an Invariant version of Day
#50
puffnfresh
closed
6 years ago
6
Fix broken URL
#49
iblech
closed
6 years ago
1
Levity polymorphic codensity
#48
Icelandjack
closed
6 years ago
1
Add 'freeW' function, inspired by MonadFree
#47
paf31
opened
6 years ago
2
MonadFree instance for Co
#46
paf31
opened
6 years ago
0
Some random functions/types related to Lan
#45
Icelandjack
opened
6 years ago
0
Maybe two spelling mistakes in the doc of Ran
#44
hawnzug
closed
6 years ago
1
Add: Ran f (Codensity g) ~> Ran (Compose f g) g
#43
Icelandjack
opened
6 years ago
0
correct spelling mistake
#42
EdwardBetts
closed
6 years ago
0
Consider different functor arguments of Ran, Lan
#41
Icelandjack
opened
6 years ago
1
Made Density, Codensity, Kan and Lan polykinded.
#40
Icelandjack
closed
7 years ago
1
Fix paper link
#39
osa1
closed
7 years ago
0
Make eagerly forward-`-Wcompat` clean
#38
hvr
closed
7 years ago
0
Instances for Codensity (Semigroup, Monoid, numeric classes)
#37
Icelandjack
opened
7 years ago
1
Pattern synonyms for different encodings of Day convolution
#36
Icelandjack
opened
7 years ago
0
Add lifted classes instances
#35
phadej
closed
6 years ago
3
Add Eq1 etc instances?
#34
phadej
closed
6 years ago
0
[Ask] How to hoist monad on CoT
#33
syaiful6
opened
7 years ago
0
Instances for right/left Kan extensions for functors along themselves
#32
Icelandjack
opened
7 years ago
1
Make ‘Ran’, ‘Lan’ kind polymorphic
#31
Icelandjack
closed
7 years ago
2
Next