Create a finally operation that can be used as the right-hand side of a | operator to cause a final operation to be run regardless of whether the primary operation succeeds or not.

Parameters

param	finally	Finally operation
returns	Result of primary operation

class FinalExtensions Source #

Operators

operator | (K<F, A> lhs, Finally<F, X> rhs) Source #

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

Parameters

param	lhs	Primary operation
param	rhs	Finally operation
returns	Result of primary operation

class Prelude Source #

Methods

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

where F : Final<F>

Create a finally operation that can be used as the right-hand side of a | operator to cause a final operation to be run regardless of whether the primary operation succeeds or not.

Parameters

param	finally	Finally operation
returns	Result of primary operation

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

param	fa	Primary operation
param	finally	Finally operation
returns	Result of primary operation

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

where F : Final<F>

Create a finally operation that can be used as the right-hand side of a | operator to cause a final operation to be run regardless of whether the primary operation succeeds or not.

Parameters

type	F
param	finally