Control.Quiver.Instances

Currently this provides instances for the MonadThrow, MonadCatch and MonadMask classes from the exceptions library.

Orphan instances

MonadBase bm f => MonadBase bm (P a a' b b' f)

Methods

liftBase :: bm α -> P a a' b b' f α

MonadThrow f => MonadThrow (P a a' b b' f)

Throws exceptions into the base monad.

Methods

throwM :: Exception e => e -> P a a' b b' f a

MonadCatch f => MonadCatch (P a a' b b' f)

Methods

catch :: Exception e => P a a' b b' f a -> (e -> P a a' b b' f a) -> P a a' b b' f a

(MonadIO f, MonadMask f) => MonadMask (P a a' b b' f)

Methods

mask :: ((forall c. P a a' b b' f c -> P a a' b b' f c) -> P a a' b b' f b) -> P a a' b b' f b

uninterruptibleMask :: ((forall c. P a a' b b' f c -> P a a' b b' f c) -> P a a' b b' f b) -> P a a' b b' f b

MonadResource f => MonadResource (P a a' b b' f)

Methods

liftResourceT :: ResourceT IO a -> P a a' b b' f a