FSharpPlus


TypeLevelOperators Module

Namespace: FSharpPlus.TypeLevel

Assembly: FSharpPlus.dll

Functions and values

Function or value Description

RuntimeValue x

Full Usage: RuntimeValue x

Parameters:
    x : ^X

Returns: 'b

Gets a value-level counterpart of given type-level literal.

x : ^X
Returns: 'b

Singleton

Full Usage: Singleton

Returns: ^X

Gets a singleton value of given type-level literal.

Returns: ^X

TryWith x onError

Full Usage: TryWith x onError

Parameters:
    x : ^X
    onError : 'a

Returns: 'c

If `x` is a type-level error, returns `onError`. Otherwise, returns `x`.

x : ^X
onError : 'a
Returns: 'c

TryWithCont x f onError

Full Usage: TryWithCont x f onError

Parameters:
    x : ^X
    f : 'b -> 'c
    onError : 'a

Returns: 'd

If `x` is a type-level error, returns `onError`. Otherwise, returns `f x`.

x : ^X
f : 'b -> 'c
onError : 'a
Returns: 'd