Safe Haskell	None
Language	Haskell2010

Control.Effect.Type.Throw

Synopsis

newtype Throw e (m :: Type -> Type) (a :: Type) where
- Throw :: e -> Throw e m a

Documentation

newtype Throw e (m :: Type -> Type) (a :: Type) where Source #

An effect for throwing exceptions of type e.

Constructors

Throw :: e -> Throw e m a

Instances details

(Eff ErrorIO m, Exception e) => Handler ErrorToErrorIOAsExcH (Throw e) m Source #
Instance details Defined in Control.Effect.Internal.Error Methods effHandler :: EffHandler (Throw e) m Source #