FSharpPlus


Bitraverse Type

Static members

Static member Description

Bitraverse.Bitraverse(arg1, arg2, arg3, arg4)

Full Usage: Bitraverse.Bitraverse(arg1, arg2, arg3, arg4)

Parameters:
    arg0 : 't
    arg1 : 'a
    arg2 : 'b
    arg3 : Default1

Returns: 'c -> 'c
Modifiers: inline
arg0 : 't
arg1 : 'a
arg2 : 'b
arg3 : Default1
Returns: 'c -> 'c

Bitraverse.Bitraverse(x, f, g, _impl)

Full Usage: Bitraverse.Bitraverse(x, f, g, _impl)

Parameters:
    x : ^Bitraversable<'T1,'U1>
    f : 'T1 -> 'Functor<'T2>
    g : 'U1 -> 'Functor<'U2>
    _impl : Default1

Returns: 'Functor<'Bitraversable<'T2,'U2>>
Modifiers: inline
Type parameters: ^Bitraversable<'T1,'U1>, 'T1, 'Functor<'T2>, 'U1, 'Functor<'U2>, 'Functor<'Bitraversable<'T2,'U2>>
x : ^Bitraversable<'T1,'U1>
f : 'T1 -> 'Functor<'T2>
g : 'U1 -> 'Functor<'U2>
_impl : Default1
Returns: 'Functor<'Bitraversable<'T2,'U2>>

Bitraverse.Bitraverse(x, f, g, _impl)

Full Usage: Bitraverse.Bitraverse(x, f, g, _impl)

Parameters:
    x : ^Bitraversable<'T1,'U1>
    f : 'T1 -> 'Functor<'T2>
    g : 'U1 -> 'Functor<'U2>
    _impl : Default2

Returns: 'Functor<'Bitraversable<'T2,'U2>>
Modifiers: inline
x : ^Bitraversable<'T1,'U1>
f : 'T1 -> 'Functor<'T2>
g : 'U1 -> 'Functor<'U2>
_impl : Default2
Returns: 'Functor<'Bitraversable<'T2,'U2>>

Bitraverse.Bitraverse(arg1, f, g, _impl)

Full Usage: Bitraverse.Bitraverse(arg1, f, g, _impl)

Parameters:
    arg0 : 'T1 * 'U1
    f : 'T1 -> ^Functor<'T2>
    g : 'U1 -> ^Functor<'U2>
    _impl : Bitraverse

Returns: ^Functor
Modifiers: inline
Type parameters: 'T1, 'U1, ^Functor<'T2>, ^Functor<'U2>, ^Functor<struct ('T2 * 'U2)>, 'T, 'U
arg0 : 'T1 * 'U1
f : 'T1 -> ^Functor<'T2>
g : 'U1 -> ^Functor<'U2>
_impl : Bitraverse
Returns: ^Functor

Bitraverse.Bitraverse(arg1, f, g, _impl)

Full Usage: Bitraverse.Bitraverse(arg1, f, g, _impl)

Parameters:
    arg0 : 'T1 * 'U1
    f : 'T1 -> ^Functor<'T2>
    g : 'U1 -> ^Functor<'U2>
    _impl : Bitraverse

Returns: ^Functor<'T2*'U2>
Modifiers: inline
arg0 : 'T1 * 'U1
f : 'T1 -> ^Functor<'T2>
g : 'U1 -> ^Functor<'U2>
_impl : Bitraverse
Returns: ^Functor<'T2*'U2>

Bitraverse.Bitraverse(x, f, g, _impl)

Full Usage: Bitraverse.Bitraverse(x, f, g, _impl)

Parameters:
    x : Choice<'T1, 'Error1>
    f : 'Error1 -> ^Functor<'Error2>
    g : 'T1 -> ^Functor<'T2>
    _impl : Bitraverse

Returns: ^Functor>
Modifiers: inline
Type parameters: 'T1, 'Error1, ^Functor<'Error2>, ^Functor<Choice<'Error2,'T2>>, ^Functor<'T2>, 'Error2, 'T2
x : Choice<'T1, 'Error1>
f : 'Error1 -> ^Functor<'Error2>
g : 'T1 -> ^Functor<'T2>
_impl : Bitraverse
Returns: ^Functor>

Bitraverse.Bitraverse(x, f, g, _impl)

Full Usage: Bitraverse.Bitraverse(x, f, g, _impl)

Parameters:
    x : Result<'T1, 'Error1>
    f : 'Error1 -> ^Functor<'Error2>
    g : 'T1 -> ^Functor<'T2>
    _impl : Bitraverse

Returns: ^Functor>
Modifiers: inline
Type parameters: 'T1, 'Error1, ^Functor<'Error2>, ^Functor<Result<'Error2,'T2>>, ^Functor<'T2>, 'Error2, 'T2
x : Result<'T1, 'Error1>
f : 'Error1 -> ^Functor<'Error2>
g : 'T1 -> ^Functor<'T2>
_impl : Bitraverse
Returns: ^Functor>

Bitraverse.Invoke(f) (g) (source)

Full Usage: Bitraverse.Invoke(f) (g) (source)

Parameters:
    f : 'T1 -> 'Functor<'T2>
    g : 'U1 -> 'Functor<'U2>
    source : ^Bitraversable<'T1,'U1>

Returns: ^Functor<'Bitraversable<'T2,'U2>>
Modifiers: inline
Type parameters: 'T1, 'Functor<'T2>, 'U1, 'Functor<'U2>, ^Bitraversable<'T1,'U1>, ^Functor<'Bitraversable<'T2,'U2>>
f : 'T1 -> 'Functor<'T2>
g : 'U1 -> 'Functor<'U2>
source : ^Bitraversable<'T1,'U1>
Returns: ^Functor<'Bitraversable<'T2,'U2>>

Bitraverse.InvokeOnInstance(f) (g) (source)

Full Usage: Bitraverse.InvokeOnInstance(f) (g) (source)

Parameters:
    f : 'T1 -> 'Functor<'T2>
    g : 'U1 -> 'Functor<'U2>
    source : ^Bitraversable<'T1,'U1>

Returns: 'Functor<'Bitraversable<'T2,'U2>>
Modifiers: inline
Type parameters: 'T1, 'Functor<'T2>, 'U1, 'Functor<'U2>, ^Bitraversable<'T1,'U1>, 'Functor<'Bitraversable<'T2,'U2>>
f : 'T1 -> 'Functor<'T2>
g : 'U1 -> 'Functor<'U2>
source : ^Bitraversable<'T1,'U1>
Returns: 'Functor<'Bitraversable<'T2,'U2>>