Safe Haskell	None
Language	Haskell2010

Polysemy.Final.Error

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.