unliftio
mmorph
Our great sponsors
unliftio | mmorph | |
---|---|---|
5 | - | |
150 | 47 | |
0.0% | - | |
3.9 | 0.0 | |
4 months ago | over 1 year ago | |
Haskell | Haskell | |
MIT License | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
unliftio
-
UnliftIO, ExceptT and Coercible
FWIW, your suggestion is very similar to a proposed instance for MonadUnliftIO (ExceptT e), except that effectfuls use of the type system means that it doesn't suffer from one of the proposed downsides (dubious interaction with catchAny).
-
How introduce `ResourceT` into my stack
Possibly interesting thread here: https://github.com/fpco/unliftio/issues/68
-
Is `MonadBaseControl` dead?
Any way quoting u/snoyberg : https://github.com/fpco/unliftio/issues/17#issuecomment-363655106
-
Try.do is dangerous
That's not true. It's just writing that instance is a bit tricky: https://github.com/fpco/unliftio/issues/68
-
Try.do for recoverable errors in Haskell
However, ExceptT cannot be an instance of MonadUnliftIO – because it necessarily requires multiple exit points. See this discussion which should give you an idea of how hairy and unpredictable this can be.
mmorph
We haven't tracked posts mentioning mmorph yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
recursion-schemes - Generalized bananas, lenses and barbed wire
lens-tutorial - The missing tutorial module for the lens library
lifted-base - IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
ConstraintKinds - Implements common Haskell type classes using the constraint kinds pattern to allow constraints.
Workflow - re-startable monad that recover the execution state from a log, and workflow patterns
record - Anonymous records
managed - A monad for managed values
free - free monads
exceptional - A simple Haskell type for pure code that could go wrong.
frpnow
layers - Modular type class machinery for monad transformer stacks.
streamproc - Haskell library providing a continuation-based stream processor arrow