Effectful.Error

Support for checked exceptions.

Documentation

data Error e

runError :: forall e es a. Exception e => Eff (Error e ': es) a -> Eff es (Either ([String], e) a)

throwError :: (HasCallStack, Exception e, Error e :> es) => e -> Eff es a

catchError :: (Exception e, Error e :> es) => Eff es a -> ([String] -> e -> Eff es a) -> Eff es a

tryError :: (Exception e, Error e :> es) => Eff es a -> Eff es (Either ([String], e) a)