in-other-words-0.2.0.0: A higher-order effect system where the sky's the limit
Safe HaskellNone
LanguageHaskell2010

Control.Effect.Type.Throw

Synopsis

Documentation

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

An effect for throwing exceptions of type e.

Constructors

Throw :: e -> Throw e m a 

Instances

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 #