Function traverseEffect

traverseEffect<F extends TypeLambda>(
F: Applicative<F>,
): <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2>
Like traverse but leaves the result in an effect.
Type Parameters
- F extends TypeLambda
Parameters
- F: Applicative<F>
Returns <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2>
- Defined in src/instances/Traversable.ts:61

Index

Properties

post

post: <F extends TypeLambda>(
F: Applicative<F>,
) => <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2> = ...

Function traverseEffect

Type Parameters

Parameters

Returns <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2>

Index

Properties

Properties

post

Settings

On This Page

Function traverseEffect

Type Parameters

Parameters

Returns <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>( f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2>

Index

Properties

Properties

post

Settings

On This Page

Returns <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2>