Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. finally_sh :: Sh a -> Sh b -> Sh a

    shelly Shelly.Pipe

    see finally_sh

  2. finallyIO :: forall (m :: Type -> Type) b a . (MonadIO m, MonadCatch m) => IO b -> Stream m a -> Stream m a

    streamly-core Streamly.Data.Stream

    Run the action IO b whenever the stream stream stops normally, aborts due to an exception or if it is garbage collected after a partial lazy evaluation. The semantics of running the action IO b are similar to the cleanup action semantics described in bracketIO. 

    >>> finallyIO release = Stream.bracketIO (return ()) (const release)
    See also finallyUnsafe Inhibits stream fusion

  3. finallyIO :: forall (m :: Type -> Type) b a . (MonadIO m, MonadCatch m) => IO b -> Stream m a -> Stream m a

    streamly-core Streamly.Internal.Data.Stream

    Run the action IO b whenever the stream stream stops normally, aborts due to an exception or if it is garbage collected after a partial lazy evaluation. The semantics of running the action IO b are similar to the cleanup action semantics described in bracketIO. 

    >>> finallyIO release = Stream.bracketIO (return ()) (const release)
    See also finallyUnsafe Inhibits stream fusion

  4. finallyUnsafe :: MonadCatch m => m b -> Stream m a -> Stream m a

    streamly-core Streamly.Internal.Data.Stream

    Like finally with following differences:

    • action m b won't run if the stream is garbage collected after partial evaluation.
    • has slightly better performance than finallyIO.
    Inhibits stream fusion Pre-release

  5. finallyIO :: forall (m :: Type -> Type) a c b . (MonadIO m, MonadCatch m) => (a -> IO c) -> Unfold m a b -> Unfold m a b

    streamly-core Streamly.Internal.Data.Unfold

    Unfold the input a using Unfold m a b, run an action on a whenever the unfold stops normally, aborts due to an exception or if it is garbage collected after a partial lazy evaluation. The semantics of the action a -> m c are similar to the cleanup action semantics in bracket. 

    finally release = bracket return release
    See also finally_ Inhibits stream fusion Pre-release

  6. finally_ :: MonadCatch m => (a -> m c) -> Unfold m a b -> Unfold m a b

    streamly-core Streamly.Internal.Data.Unfold

    Like finallyIO with following differences:

    • action a -> m c won't run if the stream is garbage collected after partial evaluation.
    Inhibits stream fusion Pre-release

  7. finally_ :: TCM a -> TCM b -> TCM a

    Agda Agda.TypeChecking.Monad.Base

    Execute a finalizer even when an exception is thrown. Does not catch any errors. In case both the regular computation and the finalizer throw an exception, the one of the finalizer is propagated.

  8. finallyE :: forall (m :: Type -> Type) e a . Monad m => ExceptT e m a -> ExceptT e m () -> ExceptT e m a

    dunai Control.Monad.Trans.MSF.Except

    finallyE a b executes computation a followed by computation b, even if a exits early by throwing an exception. In the latter case, the exception is re-thrown after b has been executed.

  9. finallyE :: forall (m :: Type -> Type) e a . Monad m => ExceptT e m a -> ExceptT e m () -> ExceptT e m a

    monadology Control.Monad.Ology.Specific.ExceptT

    finallyE a b executes computation a followed by computation b, even if a exits early by throwing an exception. In the latter case, the exception is re-thrown after b has been executed.

  10. finally_ :: (IsStream t, MonadCatch m) => m b -> t m a -> t m a

    streamly Streamly.Internal.Data.Stream.IsStream

    Like finally with following differences:

    • action m b won't run if the stream is garbage collected after partial evaluation.
    • does not require a MonadAsync constraint.
    • has slightly better performance than finally.
    Inhibits stream fusion Pre-release

Page 5 of many | Previous | Next