Control.Effect.Type.Throw

Documentation

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

An effect for throwing exceptions of type e.

Constructors

Throw :: e -> Throw e m a