LanguageExt.Core

LanguageExt.Core Traits Final

Contents

class FinalExtensions Source #

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

param ma

Primary operation

param finally

Finally operation

returns

Result of primary operation

class Final Source #

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

param ma

Primary operation

param finally

Finally operation

returns

Result of primary operation

class Prelude Source #

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

param ma

Primary operation

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 ma operation regardless of whether ma succeeds or not.

Parameters

param ma

Primary operation

param finally

Finally operation

returns

Result of primary operation

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