@@ -21,7 +21,6 @@ For example, if you want to catch an unchecked exception like
2121-}
2222module Effectful.Error
2323 ( Error
24− , Errors
2524 , runError
2625 , throwError
2726 , catchError
@@ -29,7 +28,6 @@ module Effectful.Error
2928 ) where
3029
3130import Control.Exception
32−import Data.Kind
3331import Data.Typeable
3432import Data.Unique
3533import GHC.Stack
@@ -41,11 +39,6 @@ import Effectful.Internal.Monad
4139data Error e :: Effect where
4240 Error :: Unique -> Error e m r
4341
44−-- | Helper for multiple 'Error' effects.
45−type family Errors (errs :: [Type]) (es :: [Effect]) :: Constraint where
46− Errors '[] es = ()
47− Errors (err : errs) es = (Error err :> es, Errors errs es)
48−
4942-- | TODO: write about possibility of an error escaping the scope of 'runError'
5043-- when misused with 'AsyncE'.
5144runError