Contents

Methods

method K<F, A> Finally <X, F, A> (this K<F, A> ma, K<F, X> @finally) Source #

where F : Final<F>

Run a finally operation after the ma operation regardless of whether ma succeeds or not.

Parameters

Methods

method K<F, A> @finally <X, F, A> (K<F, A> ma, K<F, X> @finally) Source #

where F : Final<F>

Run a finally operation after the ma operation regardless of whether ma succeeds or not.

Parameters

Methods

method K<F, A> @finally <X, F, A> (K<F, A> ma, K<F, X> @finally) Source #

where F : Final<F>

Run a finally operation after the ma operation regardless of whether ma succeeds or not.

Parameters

interface Final <F> Source #

where F : Final<F>

Mimics finally in a try/finally operation

Methods

method K<F, A> Finally <X, A> (K<F, A> fa, K<F, X> @finally) Source #

Run a finally operation after the fa operation regardless of whether fa succeeds or not.

Parameters

record Finally <F> (K<F, Unit> Operation) Source #

Finally structure.

Implicit operators use this temporarily value-type to carry a finally computation.

Parameters

type	F
param	finally