unliftio
layers
Our great sponsors
| unliftio | layers | |
|---|---|---|
| 5 | - | |
| 150 | 33 | |
| 0.0% | - | |
| 3.9 | 0.0 | |
| 4 months ago | over 5 years 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.
layers
We haven't tracked posts mentioning layers yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
recursion-schemes - Generalized bananas, lenses and barbed wire
record - Anonymous records
lifted-base - IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
freer-simple - A friendly effect system for Haskell
mmorph - Monad morphisms
transient-universe - A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud
Workflow - re-startable monad that recover the execution state from a log, and workflow patterns
apecs - a fast, extensible, type driven Haskell ECS framework for games
managed - A monad for managed values
deepseq - Deep evaluation of data structures
exceptional - A simple Haskell type for pure code that could go wrong.
monad-control - Lift control operations, like exception catching, through monad transformers