{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE KindSignatures #-}
module Control.Effect.Throw.Internal
( Throw(..)
) where

import Control.Effect.Class
import GHC.Generics (Generic1)

-- | @since 1.0.0.0
newtype Throw e (m :: * -> *) k = Throw e
  deriving ((a -> b) -> Throw e m a -> Throw e m b
(forall a b. (a -> b) -> Throw e m a -> Throw e m b)
-> (forall a b. a -> Throw e m b -> Throw e m a)
-> Functor (Throw e m)
forall a b. a -> Throw e m b -> Throw e m a
forall a b. (a -> b) -> Throw e m a -> Throw e m b
forall e (m :: * -> *) a b. a -> Throw e m b -> Throw e m a
forall e (m :: * -> *) a b. (a -> b) -> Throw e m a -> Throw e m b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: a -> Throw e m b -> Throw e m a
$c<$ :: forall e (m :: * -> *) a b. a -> Throw e m b -> Throw e m a
fmap :: (a -> b) -> Throw e m a -> Throw e m b
$cfmap :: forall e (m :: * -> *) a b. (a -> b) -> Throw e m a -> Throw e m b
Functor, (forall a. Throw e m a -> Rep1 (Throw e m) a)
-> (forall a. Rep1 (Throw e m) a -> Throw e m a)
-> Generic1 (Throw e m)
forall a. Rep1 (Throw e m) a -> Throw e m a
forall a. Throw e m a -> Rep1 (Throw e m) a
forall k (f :: k -> *).
(forall (a :: k). f a -> Rep1 f a)
-> (forall (a :: k). Rep1 f a -> f a) -> Generic1 f
forall e (m :: * -> *) a. Rep1 (Throw e m) a -> Throw e m a
forall e (m :: * -> *) a. Throw e m a -> Rep1 (Throw e m) a
$cto1 :: forall e (m :: * -> *) a. Rep1 (Throw e m) a -> Throw e m a
$cfrom1 :: forall e (m :: * -> *) a. Throw e m a -> Rep1 (Throw e m) a
Generic1)

instance HFunctor (Throw e)
instance Effect   (Throw e)