Bluefin.Exception

Handle

data Exception exn (e :: Effects)

Handle to an exception of type exn

Instances

Handle (Exception s)

Defined in Bluefin.Internal

Methods

mapHandle :: forall (e :: Effects) (es :: Effects). e :> es => Exception s e -> Exception s es

e :> es => MonadFail (EffReader (Exception String e) es)

Defined in Bluefin.Internal

Methods

fail :: String -> EffReader (Exception String e) es a

Handlers

try

Arguments

:: forall exn (es :: Effects) a. (forall (e :: Effects). Exception exn e -> Eff (e :& es) a)

-> Eff es (Either exn a)

Left if the exception was thrown, Right otherwise

>>> runPureEff $ try $ \e -> do
      throw e 42
      pure "No exception thrown"
Left 42

handle

Arguments

:: forall exn (es :: Effects) a. (exn -> Eff es a)

If the exception is thrown, apply this handler

-> (forall (e :: Effects). Exception exn e -> Eff (e :& es) a)

-> Eff es a

handle, but with the argument order swapped

>>> runPureEff $ handle (pure . show) $ \e -> do
      throw e 42
      pure "No exception thrown"
"42"

catch

Arguments

:: forall exn (es :: Effects) a. (forall (e :: Effects). Exception exn e -> Eff (e :& es) a)

-> (exn -> Eff es a)

If the exception is thrown, apply this handler

-> Eff es a

Effectful operations

throw

Arguments

:: forall (ex :: Effects) (es :: Effects) e a. ex :> es

=> Exception e ex

-> e

Value to throw

-> Eff es a

>>> runPureEff $ try $ \e -> do
      throw e 42
      pure "No exception thrown"
Left 42

>>> runPureEff $ try $ \e -> do
      pure "No exception thrown"
Right "No exception thrown"