FSharpPlus


Traverse Type

Static members

Static member Description

Traverse.Invoke(f) (t)

Full Usage: Traverse.Invoke(f) (t)

Parameters:
    f : 'T -> 'Functor<'U>
    t : ^Traversable<'T>

Returns: ^Functor<'Traversable<'U>>
Modifiers: inline
Type parameters: 'T, 'Functor<'U>, ^Traversable<'T>, ^Functor<'Traversable<'U>>
f : 'T -> 'Functor<'U>
t : ^Traversable<'T>
Returns: ^Functor<'Traversable<'U>>

Traverse.InvokeOnInstance(f) (t)

Full Usage: Traverse.InvokeOnInstance(f) (t)

Parameters:
    f : 'b
    t : ^a

Returns: 'R
Modifiers: inline
f : 'b
t : ^a
Returns: 'R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : 'a[]
    f : 'a -> ^b
    ?_output : ^R
    ?_impl : Traverse

Returns: ^R
Modifiers: inline
t : 'a[]
f : 'a -> ^b
?_output : ^R
?_impl : Traverse
Returns: ^R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : 'a list
    f : 'a -> ^b
    ?_output : ^R
    ?_impl : Traverse

Returns: ^R
Modifiers: inline
t : 'a list
f : 'a -> ^b
?_output : ^R
?_impl : Traverse
Returns: ^R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : Choice<'T, 'Error>
    f : 'T -> ^Functor<'U>
    ?_output : ^Functor>
    ?_impl : Traverse

Returns: ^Functor>
Modifiers: inline
Type parameters: 'T, 'Error, ^Functor<'U>, ^Functor<Choice<'U,'Error>>, 'U
t : Choice<'T, 'Error>
f : 'T -> ^Functor<'U>
?_output : ^Functor>
?_impl : Traverse
Returns: ^Functor>

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : Result<'T, 'Error>
    f : 'T -> ^Functor<'U>
    ?_output : ^Functor>
    ?_impl : Traverse

Returns: ^Functor>
Modifiers: inline
Type parameters: 'T, 'Error, ^Functor<'U>, ^Functor<Result<'U,'Error>>, 'U
t : Result<'T, 'Error>
f : 'T -> ^Functor<'U>
?_output : ^Functor>
?_impl : Traverse
Returns: ^Functor>

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : Map<'a, 'b>
    f : 'b -> ^c
    ?_output : ^R
    ?_impl : Traverse

Returns: ^R
Modifiers: inline
t : Map<'a, 'b>
f : 'b -> ^c
?_output : ^R
?_impl : Traverse
Returns: ^R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : 'a voption
    f : 'a -> ^b
    ?_output : ^R
    ?_impl : Traverse

Returns: ^R
Modifiers: inline
t : 'a voption
f : 'a -> ^b
?_output : ^R
?_impl : Traverse
Returns: ^R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : 'a option
    f : 'a -> ^b
    ?_output : ^R
    ?_impl : Traverse

Returns: ^R
Modifiers: inline
t : 'a option
f : 'a -> ^b
?_output : ^R
?_impl : Traverse
Returns: ^R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : Id<'t>
    f : 't -> 'u option
    ?_output : Id<'u>
    ?_impl : Traverse

Returns: Id<'u> option
t : Id<'t>
f : 't -> 'u option
?_output : Id<'u>
?_impl : Traverse
Returns: Id<'u> option

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
Returns: Async<NonEmptySeq<'u>>
t : NonEmptySeq<'t>
f : 't -> Async<'u>
?_output : NonEmptySeq<'u>
?_impl : Traverse
Returns: Async<NonEmptySeq<'u>>

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : seq<'t>
    f : 't -> Async<'u>
    ?_output : seq<'u>
    ?_impl : Traverse

Returns: Async<seq<'u>>
t : seq<'t>
f : 't -> Async<'u>
?_output : seq<'u>
?_impl : Traverse
Returns: Async<seq<'u>>

Traverse.Traverse(arg1, arg2, arg3, _impl)

Full Usage: Traverse.Traverse(arg1, arg2, arg3, _impl)

Parameters:
    arg0 : ^a
    arg1 : 'b
    arg2 : 'R
    _impl : Default1

Returns: 'c -> 'c
Modifiers: inline
arg0 : ^a
arg1 : 'b
arg2 : 'R
_impl : Default1
Returns: 'c -> 'c

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : ^a
    f : 'b
    ?_output : 'R
    ?_impl : Default1

Returns: 'R
Modifiers: inline
t : ^a
f : 'b
?_output : 'R
?_impl : Default1
Returns: 'R

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
Returns: ^Functor>
Modifiers: inline
t : NonEmptySeq<'T>
f : 'T -> ^Functor<'U>
?_output : ^Functor>
?_impl : Default2
Returns: ^Functor>

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : seq<'T>
    f : 'T -> ^Functor<'U>
    ?_output : ^Functor>
    ?_impl : Default2

Returns: ^Functor>
Modifiers: inline
t : seq<'T>
f : 'T -> ^Functor<'U>
?_output : ^Functor>
?_impl : Default2
Returns: ^Functor>

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
Returns: ^g
Modifiers: inline
t : NonEmptySeq<'b>
f : 'b -> ^c
?_output : 'R
?_impl : Default3
Returns: ^g

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : seq<'b>
    f : 'b -> ^c
    ?_output : 'R
    ?_impl : Default3

Returns: ^e
Modifiers: inline
t : seq<'b>
f : 'b -> ^c
?_output : 'R
?_impl : Default3
Returns: ^e

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : Id<'a>
    f : 'a -> ^b
    ?_output : 'R
    ?_impl : Default3

Returns: ^c
Modifiers: inline
t : Id<'a>
f : 'a -> ^b
?_output : 'R
?_impl : Default3
Returns: ^c

Traverse.Traverse(t, f, ?_output, ?_impl)

Full Usage: Traverse.Traverse(t, f, ?_output, ?_impl)

Parameters:
    t : ^Traversable<'T>
    f : 'T -> 'Functor<'U>
    ?_output : 'Functor<'Traversable<'U>>
    ?_impl : Default4

Returns: 'Functor<'Traversable<'U>>
Modifiers: inline
Type parameters: ^Traversable<'T>, ^Traversable<'Functor<'U>>, 'T, 'Functor<'U>, 'Functor<'Traversable<'U>>
t : ^Traversable<'T>
f : 'T -> 'Functor<'U>
?_output : 'Functor<'Traversable<'U>>
?_impl : Default4
Returns: 'Functor<'Traversable<'U>>