module DeepControl.Monad.Trans.Except (
module Control.Monad.Except,
--except,
throwError2,
catchError2,
throwError3,
catchError3,
throwError4,
catchError4,
throwError5,
catchError5,
) where
import DeepControl.Applicative
import DeepControl.Traversable
import DeepControl.Monad
import DeepControl.Monad.Signatures
import Control.Monad.Except
import Data.Functor.Identity
throwError2 :: (MonadError e m2, Applicative m1) => e -> m1 (m2 a)
throwError2 = (.*) |$> throwError
catchError2 :: (MonadError e m2, Traversable m1, Applicative m1, Traversable m2, Applicative m2) =>
Catch2 e m1 m2 a
catchError2 = liftCatch catchError
where
liftCatch :: (Traversable m1, Applicative m1, Traversable m2, Applicative m2) =>
(forall a. Catch e m2 a) -> Catch2 e m1 m2 a
liftCatch catch m h =
let m' = sink m
h' = sink |$> h
in sink $ catch m' h'
throwError3 :: (MonadError e m3, Applicative m1, Applicative m2) => e -> m1 (m2 (m3 a))
throwError3 = (.**) |$> throwError
catchError3 :: (MonadError e m3, Traversable m1, Applicative m1, Traversable m2, Applicative m2, Traversable m3, Applicative m3) =>
Catch3 e m1 m2 m3 a
catchError3 = liftCatch catchError
where
liftCatch :: (Traversable m1, Applicative m1, Traversable m2, Applicative m2, Traversable m3, Applicative m3) =>
(forall a. Catch e m3 a) -> Catch3 e m1 m2 m3 a
liftCatch catch m h =
let m' = float2 m
h' = float2 |$> h
in sink2 $ catch m' h'
throwError4 :: (MonadError e m4, Applicative m1, Applicative m2, Applicative m3) => e -> m1 (m2 (m3 (m4 a)))
throwError4 = (.***) |$> throwError
catchError4 :: (MonadError e m4, Traversable m1, Applicative m1, Traversable m2, Applicative m2, Traversable m3, Applicative m3, Traversable m4, Applicative m4) =>
Catch4 e m1 m2 m3 m4 a
catchError4 = liftCatch catchError
where
liftCatch :: (Traversable m1, Applicative m1, Traversable m2, Applicative m2, Traversable m3, Applicative m3, Traversable m4, Applicative m4) =>
(forall a. Catch e m4 a) -> Catch4 e m1 m2 m3 m4 a
liftCatch catch m h =
let m' = float3 m
h' = float3 |$> h
in sink3 $ catch m' h'
throwError5 :: (MonadError e m5, Applicative m1, Applicative m2, Applicative m3, Applicative m4) => e -> m1 (m2 (m3 (m4 (m5 a))))
throwError5 = (.****) |$> throwError
catchError5 :: (MonadError e m5, Traversable m1, Applicative m1, Traversable m2, Applicative m2, Traversable m3, Applicative m3, Traversable m4, Applicative m4, Traversable m5, Applicative m5) =>
Catch5 e m1 m2 m3 m4 m5 a
catchError5 = liftCatch catchError
where
liftCatch :: (Traversable m1, Applicative m1, Traversable m2, Applicative m2, Traversable m3, Applicative m3, Traversable m4, Applicative m4, Traversable m5, Applicative m5) =>
(forall a. Catch e m5 a) -> Catch5 e m1 m2 m3 m4 m5 a
liftCatch catch m h =
let m' = float4 m
h' = float4 |$> h
in sink4 $ catch m' h'