monadology-0.4: src/Control/Monad/Ology/General/Throw.hs

module Control.Monad.Ology.General.Throw
    ( module Control.Monad.Ology.General.Throw
    , CE.Exception(..)
    , CE.ErrorCall
    , pattern CE.ErrorCall
    , CE.IOException
    ) where

import Control.Exception qualified as CE
import Control.Monad.Ology.General.Exception
import Control.Monad.Ology.Specific.Result
import Import

-- | Monads that can throw this type of exception.
class Monad m => MonadThrow e m where
    throw :: forall a. e -> m a

instance CE.Exception e => MonadThrow e IO where
    throw e = throwExc $ CE.toException e

fromResult ::
       forall m e a. MonadThrow e m
    => Result e a
    -> m a
fromResult (SuccessResult a) = return a
fromResult (FailureResult e) = throw e