Issues
- 0
MonadAccum instance
#229 opened by turion - 0
`hoistFree` should be named `transFree`
#228 opened by ncfavier - 2
Dangling Links
#218 opened by yaitskov - 0
- 3
Support transformers-0.6
#215 opened by andreasabel - 0
- 2
Why does hoistFree have such a strict type?
#212 opened by Wheatwizard - 0
- 0
Add a class for free monad transformer-type things.
#209 opened by treeowl - 0
Nu-based distributive cofree
#207 opened by ekmett - 6
Add a MonadBaseControl instance for CofreeT
#193 opened by treeowl - 1
Comonad f => MonadFree f (Tagged f)
#202 opened by Icelandjack - 1
Deriving Via for several datatypes
#201 opened by Icelandjack - 2
Simplify the applicative instance of Free
#199 opened by ianliu - 2
Free MonadPlus and (another variant of) Alternative
#141 opened by nponeccop - 0
ComonadTraced instance for CofreeT
#192 opened by hololeap - 1
Better roles for Control.Monad.Trans.Free.Church.F
#86 opened by ekmett - 6
Does MonadFree have enough firepower?
#147 opened by redxaxder - 0
- 4
Alternative instances
#121 opened by michaelt - 3
- 0
- 9
Fails with GHC-7.8.4 and installed transformers
#173 opened by phadej - 1
Split this package
#166 opened by treeowl - 3
Add more documentation to how Alternative Free/MonadPlus Free violate the laws
#95 opened by ocharles - 2
Missing free 5 migration guide
#167 opened by bitc - 2
Metadata revisions for 4.8 and 4.8.0.1
#168 opened by gwils - 3
Alternative formulation of Free Applicative
#158 opened by safareli - 0
Add some functions from the streaming package
#165 opened by treeowl - 0
- 3
Add churchy free Applicative transformers
#162 opened by treeowl - 2
instance {Monoid,Semigroup} ({,Co}Free f a)
#152 opened by Icelandjack - 5
instance Foldable f => Foldable1 (Cofree f)
#157 opened by Icelandjack - 1
- 0
GADTs break the Control.Applicative.Free example ValidationForm.hs on ghc 8.0.2
#159 opened by deepfire - 1
Two Improvements to Control.Monad.Free.Church
#100 opened by Zemyla - 2
Faster Free Applicatives
#115 opened by Zemyla - 0
Free Arrows
#153 opened by pepeiborra - 1
More free applicatives!
#150 opened by treeowl - 1
Use `Eq1` in context heads.
#148 opened by phadej - 2
useful fold possibly
#145 opened by Icelandjack - 0
- 2
Missing fold for Cofree
#136 opened by ekmett - 1
Name clash with Data.Monoid.Alt with GHC 7.10
#93 opened by fizruk - 2
Type signature of hoistCofree too restrictive
#139 opened by andrewthad - 3
foldFree id ≟ retract
#130 opened by Icelandjack - 0
- 1
- 3
"No instance for (Comonad (Cofree Maybe)) ..."
#98 opened by gatlin - 0
Type signature of foldFree
#119 opened by turion