4.2
- Added
Control.Monad.Trans.Iter
and Control.Comonad.Trans.Coiter
.
4.1.1
- Added a default signature to
wrap
, based on a construction by @fizruk.
4.0
- Updated to work with
semigroupoids
and comonad
4.0
instance ComonadCofree Maybe NonEmpty
instance ComonadCofree (Const b) ((,) b)
3.4.2
- Generalized
liftF
.
- Added
iterM
3.4.1
- Added support for GHC 7.7's polykinded
Typeable
3.4
- Added instance
MonadFree f (ContT r m)
3.3.1
- Refactored build system
- Removed upper bounds on my own intra-package dependencies
3.3
- Added
Control.Alternative.Free
and Control.MonadPlus.Free
3.2
- Added
Control.Free.Applicative
- Moved
Control.Monad.Free.Church
from kan-extensions
into this package.