Safe Haskell	Safe-Inferred
Language	Haskell2010

Bluefin.Exception

Contents

Description

This is an old interface and will be deprecated in the future. You are encouraged to use Bluefin.Capability.Throw instead.

Synopsis

type Exception = Throw
try :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es (Either exn a)
handle :: forall exn (es :: Effects) a. (exn -> Eff es a) -> (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es a
catch :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> (exn -> Eff es a) -> Eff es a
throw :: forall (e :: Effects) (es :: Effects) ex a. e <: es => Throw ex e -> ex -> Eff es a
rethrowIO :: forall ex (es :: Effects) (e1 :: Effects) (e2 :: Effects) r. (e1 <: es, e2 <: es, Exception ex) => IOE e1 -> Throw ex e2 -> Eff es r -> Eff es r

Handle

Handlers

try :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es (Either exn a) #

handle :: forall exn (es :: Effects) a. (exn -> Eff es a) -> (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es a #

catch :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> (exn -> Eff es a) -> Eff es a #

throw :: forall (e :: Effects) (es :: Effects) ex a. e <: es => Throw ex e -> ex -> Eff es a #

rethrowIO :: forall ex (es :: Effects) (e1 :: Effects) (e2 :: Effects) r. (e1 <: es, e2 <: es, Exception ex) => IOE e1 -> Throw ex e2 -> Eff es r -> Eff es r #