ekmett/free

View on GitHub

free monads

Stars: 190
Forks: 66
Open beginner issues: 0
Indexed issues: 35

Dominant language: Haskell
License: No license data
Last GitHub push: Jan 11, 2026
Latest indexed: Sep 15, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

35 open issues indexed

Cofree monad and and applicative instances are inconsistent Open

ekmett/free#36 · 7 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add specialization of `retract` for `Iter ~ IterT Identity` Open

ekmett/free#75 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add more documentation to how Alternative Free/MonadPlus Free violate the laws Open

ekmett/free#95 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Type signature of foldFree Open

ekmett/free#119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Alternative instances Open

ekmett/free#121 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
foldFree id ≟ retract Open

ekmett/free#130 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Missing fold for Cofree Open

ekmett/free#136 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Free MonadPlus and (another variant of) Alternative Open

ekmett/free#141 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
useful fold possibly Open

ekmett/free#145 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Does MonadFree have enough firepower? Open

ekmett/free#147 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
More free applicatives! Open

ekmett/free#150 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
instance {Monoid,Semigroup} ({,Co}Free f a) Open

ekmett/free#152 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Free Arrows Open

ekmett/free#153 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
instance Foldable f => Foldable1 (Cofree f) Open

ekmett/free#157 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Alternative formulation of Free Applicative Open

ekmett/free#158 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Is Alternative constraint needed for: Applicative (Cofree f)? Open

ekmett/free#161 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add churchy free Applicative transformers Open

ekmett/free#162 · 3 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
The free Applicative transformer needs some documentation Open

ekmett/free#163 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add some functions from the streaming package Open

ekmett/free#165 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Split this package Open

ekmett/free#166 · 1 comment · 2 reactions · 0 assignees · Indexed Sep 15, 2026
Fails with GHC-7.8.4 and installed transformers Open

ekmett/free#173 · 9 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Failure building free 5.0.2 with GHC 8.4.2 cross to iOS Open

ekmett/free#176 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
'Ap' from 'Control.Applicative.Free' conflicts with 'Ap' in base-4.12 Open

ekmett/free#184 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
ComonadTraced instance for CofreeT Open

ekmett/free#192 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add a MonadBaseControl instance for CofreeT Open

ekmett/free#193 · 6 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Simplify the applicative instance of Free Open

ekmett/free#199 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Deriving Via for several datatypes Open

ekmett/free#201 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Comonad f => MonadFree f (Tagged f) Open

ekmett/free#202 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Nu-based distributive cofree Open

ekmett/free#207 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Document 'Control.Monad.Free.Ap' has to work only on "commutative" monads Open

ekmett/free#210 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Why does hoistFree have such a strict type? Open

documentation enhancement

ekmett/free#212 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
deriving (Applicative, Monad) via GenericFreeMonad "Pure" (Free f) Open

ekmett/free#214 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Further simplify instances to avoid overkill *1 classes Open

ekmett/free#217 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
`hoistFree` should be named `transFree` Open

ekmett/free#228 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
MonadAccum instance Open

ekmett/free#229 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

ekmett/free

Get new issues in your inbox