2 replies

How to sequence/traverse `Effect<Option<Effect>>`

const program = FindableUser.findOne({ email }).pipe(
  Effect.map(Option.map((user) => validatePassword(password, user.password)))
);

const program = FindableUser.findOne({ email }).pipe(
  Effect.map(Option.map((user) => validatePassword(password, user.password)))
);

In my code the

findOne

findOne

return

Effect<Option<User>>

Effect<Option<User>>

and the

validatePassword

validatePassword

return

Effect<boolean>

Effect<boolean>

which result the type of

Effect.Effect<Option.Option<Effect.Effect<boolean, never, never>>, MongoError, never>

Effect.Effect<Option.Option<Effect.Effect<boolean, never, never>>, MongoError, never>

. I want to swap the inner

Option<Effect>

Option<Effect>

Effect<Option>

Effect<Option>

in order to flat with the outer one. Is this possible? If it possible, how to do this?

2 replies

const program = FindableUser.findOne({ email }).pipe(
  Effect.map(Option.map((user) => validatePassword(password, user.password)))
);

const program = FindableUser.findOne({ email }).pipe(
  Effect.map(Option.map((user) => validatePassword(password, user.password)))
);

In my code the

findOne

findOne

return

Effect<Option<User>>

Effect<Option<User>>

and the

validatePassword

validatePassword

return

Effect<boolean>

Effect<boolean>

which result the type of

Effect.Effect<Option.Option<Effect.Effect<boolean, never, never>>, MongoError, never>

Effect.Effect<Option.Option<Effect.Effect<boolean, never, never>>, MongoError, never>

. I want to swap the inner

Option<Effect>

Option<Effect>

Effect<Option>

Effect<Option>

in order to flat with the outer one. Is this possible? If it possible, how to do this?