17 replies

Trouble Unifying Types in TypeScript with `Effect.timeoutTo` Usage

I'm having some trouble unifying the result of applying

Effect.timeoutTo({
  duration: Duration.seconds(10),
  onSuccess: Option.some,
  onTimeout: Option.none,
})

Effect.timeoutTo({
  duration: Duration.seconds(10),
  onSuccess: Option.some,
  onTimeout: Option.none,
})

Effect.timeoutTo({
  duration: Duration.seconds(10),
  onSuccess: Option.some,
  onTimeout: Option.none,
})

Effect.timeoutTo({
  duration: Duration.seconds(10),
  onSuccess: Option.some,
  onTimeout: Option.none,
})

to an

Effect<A>

Effect<A>

Effect<A>

Effect<A>. I'm getting

Option.Option<never> | Option.Option<A>

Option.Option<never> | Option.Option<A>

Option.Option<never> | Option.Option<A>

Option.Option<never> | Option.Option<A>

when of course I'd just like

Option.Option<A>

Option.Option<A>

Option.Option<A>

Option.Option<A>

Maybe

Unify.unify

Unify.unify

Unify.unify

Unify.unify could solve this somehow? But I haven't figured out how.