Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Polysemy.Error
- module Polysemy.Final
- runErrorInIOFinal :: (Typeable e, Member (Final IO) r) => Sem (Error e ': r) a -> Sem r (Either e a)
Documentation
module Polysemy.Error
module Polysemy.Final
runErrorInIOFinal :: (Typeable e, Member (Final IO) r) => Sem (Error e ': r) a -> Sem r (Either e a) Source #
Run an Error
effect as an IO
Exception
.
This can be used as an alternative to runErrorInIO
Beware: Effects that aren't interpreted in terms of IO
will have local state semantics in regards to Error
effects
interpreted this way. See interpretFinal
.