© 2026 Hedgehog Software, LLC
Twitter
GitHub
Discord
System
Light
Dark
More
Communities
Docs
About
Terms
Privacy
Search
Star
Feedback
Setup for Free
Typesafe Data Retrieval from `runPromiseExit` in `Effect.succeed` - Effect Community
EC
Effect Community
•
2y ago
vae
Typesafe Data Retrieval from `runPromiseExit` in `Effect.succeed`
Hiya everyone
,
I
'm trying to get the data returned in
Effect.succeed
Effect.succeed
from
runPromiseExit
runPromiseExit
in a typesafe way
. But
, it seems that
value
value
is not in the type in
onSuccess
onSuccess
within
Exit.match
Exit.match
, but is present at runtime
, is there an assertion I can do to make this work
? Or a better way to do this
?
Thanks so much
Effect Community
Join
Production-grade applications in TypeScript.
6,221
Members
View on Discord
Resources
ModelContextProtocol
ModelContextProtocol
MCP Server
Recent Announcements
Similar Threads
Was this page helpful?
Yes
No
Similar Threads
Discrepancy in Effect.runPromiseExit Output
EC
Effect Community / 🚀-beginners
2y ago
Using `HttpClient` from `@effect/platform` with `Effect.runPromiseExit`
EC
Effect Community / 🚀-beginners
17mo ago
Effect.runPromiseExit Use Case
EC
Effect Community / 🚀-beginners
2y ago
Understanding Effect.isFailure with Effect.succeed
EC
Effect Community / 🚀-beginners
2y ago