try package:incipit-core

try :: forall e (r :: EffectRow) a . Member (Error e :: (Type -> Type) -> Type -> Type) r => Sem r a -> Sem r (Either e a)
incipit-core IncipitCore
Similar to catch, but returns an Either result which is (Right a) if no exception of type e was thrown, or (Left ex) if an exception of type e was thrown and its value is ex.
tryAny :: forall (r :: EffectRow) a . Member (Embed IO) r => IO a -> Sem r (Either Text a)
incipit-core Incipit.Exception
Run an IO via Embed and catch all exceptions, returning Either.
tryAny_ :: forall (r :: EffectRow) . Member (Embed IO) r => IO () -> Sem r ()
incipit-core Incipit.Exception
Run an IO via Embed and catch and ignore all exceptions.
tryIO :: forall e (r :: EffectRow) a . (Exception e, Member (Embed IO) r) => IO a -> Sem r (Either Text a)
incipit-core Incipit.Exception
Run an IO via Embed and catch exceptions of type e, returning Either.
tryIOE :: forall e (r :: EffectRow) a . (Exception e, Member (Embed IO) r) => IO a -> Sem r (Either e a)
incipit-core Incipit.Exception
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.
tryIOError :: forall (r :: EffectRow) a . Member (Embed IO) r => IO a -> Sem r (Either Text a)
incipit-core Incipit.Exception
Run an IO via Embed and catch IOError, returning Either.
tryIOErrorMaybe :: forall (r :: EffectRow) a . Member (Embed IO) r => IO a -> Sem r (Maybe a)
incipit-core Incipit.Exception
Run an IO via Embed and catch IOError, returning Maybe.
tryIOError_ :: forall (r :: EffectRow) . Member (Embed IO) r => IO () -> Sem r ()
incipit-core Incipit.Exception
Run an IO via Embed and catch and ignore IOError.
tryIOMaybe :: forall e (r :: EffectRow) a . (Exception e, Member (Embed IO) r) => IO a -> Sem r (Maybe a)
incipit-core Incipit.Exception
Run an IO via Embed and catch exceptions of type e, returning Maybe.
tryIO_ :: forall e (r :: EffectRow) . (Exception e, Member (Embed IO) r) => IO () -> Sem r ()
incipit-core Incipit.Exception
Run an IO via Embed and catch and ignore exceptions of type e.
tryMaybe :: forall (r :: EffectRow) a . Member (Embed IO) r => IO a -> Sem r (Maybe a)
incipit-core Incipit.Exception
Run an IO via Embed and catch all exceptions, returning Maybe.
tryJust :: forall e (r :: EffectRow) b a . Member (Error e :: (Type -> Type) -> Type -> Type) r => (e -> Maybe b) -> Sem r a -> Sem r (Either b a)
incipit-core IncipitCore
A variant of try that takes an exception predicate to select which exceptions are caught (c.f. catchJust). If the exception does not match the predicate, it is re-thrown.