3 replies

Traversing Effect: Converting Record Types with Option Values

How would I do such a traversal in Effect now, since

traverse

traverse

and

Applicative

Applicative

are no more:

import { Option as O, ReadonlyRecord as RR } from effect';

const traverse = RR.traverse(O.Applicative);

import { Option as O, ReadonlyRecord as RR } from effect';

const traverse = RR.traverse(O.Applicative);

Basically I want to go from

Readonly<Record<string, A>>

Readonly<Record<string, A>>

(1) to

Readonly<Record<string, Option<B>>>

Readonly<Record<string, Option<B>>>

(2) and finally to

Option<Readonly<Record<string, B>>>

Option<Readonly<Record<string, B>>>

(3). Only if no

None<B>

None<B>

value occured along the way.

3 replies

How would I do such a traversal in Effect now, since

traverse

traverse

and

Applicative

Applicative

are no more:

import { Option as O, ReadonlyRecord as RR } from effect';

const traverse = RR.traverse(O.Applicative);

import { Option as O, ReadonlyRecord as RR } from effect';

const traverse = RR.traverse(O.Applicative);

Basically I want to go from

Readonly<Record<string, A>>

Readonly<Record<string, A>>

(1) to

Readonly<Record<string, Option<B>>>

Readonly<Record<string, Option<B>>>

(2) and finally to

Option<Readonly<Record<string, B>>>

Option<Readonly<Record<string, B>>>

(3). Only if no

None<B>

None<B>

value occured along the way.