Safe Haskell	Safe-Inferred
Language	Haskell2010

Incipit.Exception

Description

Combinators that catch exceptions in IO and embed them into Sem.

Synopsis

tryIOE :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Either e a)
tryIO :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Either Text a)
tryIOError :: forall r a. Member (Embed IO) r => IO a -> Sem r (Either Text a)
tryAny :: forall r a. Member (Embed IO) r => IO a -> Sem r (Either Text a)
tryIOMaybe :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Maybe a)
tryIOErrorMaybe :: forall r a. Member (Embed IO) r => IO a -> Sem r (Maybe a)
tryMaybe :: forall r a. Member (Embed IO) r => IO a -> Sem r (Maybe a)
tryIO_ :: forall e r. Exception e => Member (Embed IO) r => IO () -> Sem r ()
tryIOError_ :: forall r. Member (Embed IO) r => IO () -> Sem r ()
tryAny_ :: forall r. Member (Embed IO) r => IO () -> Sem r ()
ignoreException :: Member (Embed IO) r => IO () -> Sem r ()

Documentation

tryIOE :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Either e a) Source #

Run an IO via Embed and catch exceptions of type e, returning Either. Unlike all other combinators, this doesn't convert the exception to Text.

tryIO :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Either Text a) Source #

Run an IO via Embed and catch exceptions of type e, returning Either.

tryIOError :: forall r a. Member (Embed IO) r => IO a -> Sem r (Either Text a) Source #

Run an IO via Embed and catch IOError, returning Either.

tryAny :: forall r a. Member (Embed IO) r => IO a -> Sem r (Either Text a) Source #

Run an IO via Embed and catch all exceptions, returning Either.

tryIOMaybe :: forall e r a. Exception e => Member (Embed IO) r => IO a -> Sem r (Maybe a) Source #

Run an IO via Embed and catch exceptions of type e, returning Maybe.

tryIOErrorMaybe :: forall r a. Member (Embed IO) r => IO a -> Sem r (Maybe a) Source #

Run an IO via Embed and catch IOError, returning Maybe.

tryMaybe :: forall r a. Member (Embed IO) r => IO a -> Sem r (Maybe a) Source #

Run an IO via Embed and catch all exceptions, returning Maybe.

tryIO_ :: forall e r. Exception e => Member (Embed IO) r => IO () -> Sem r () Source #

Run an IO via Embed and catch and ignore exceptions of type e.

tryIOError_ :: forall r. Member (Embed IO) r => IO () -> Sem r () Source #

Run an IO via Embed and catch and ignore IOError.

tryAny_ :: forall r. Member (Embed IO) r => IO () -> Sem r () Source #

Run an IO via Embed and catch and ignore all exceptions.

ignoreException :: Member (Embed IO) r => IO () -> Sem r () Source #

Deprecated: renamed to tryAny_

Run an IO via Embed and catch and ignore all exceptions.