Stdlib.Effect(3)

🌸 NAME 🌸

okay so bestie, this is the Stdlib.Effect(3) page from the OCaml library, and the name section is literally giving:

Stdlib.Effect — no description 😭

like, that's it. no extra lore. the manpage said “no description” and we respect the icon's privacy 💅✨

---

🧚 MODULE 🧚

the module is Stdlib.Effect, and it shows up here as:

Module Effect
 : (module Stdlib__Effect)

slay, that's the whole module vibe check 🫶

---

📚 DOCUMENTATION 📚

⚠️ Alert unstable. The Effect interface may change in incompatible ways in the future.

so like, bestie, don't get too attached to the exact shape — this interface may change in incompatible ways in the future 😭💀. it's giving “cute but under construction.”

the type is literally:

type 'a t = 'a eff = ..

This is the type of effects. that's the whole description, and honestly? iconic. ✨

---

💖 Exceptions 💖

• exception Unhandled : 'a t -> exn — Unhandled e is raised when effect e is performed and there is no handler for it. so if you perform e and nobody's home to handle it, boom: Unhandled e. rude but valid 🙈
• exception Continuation_already_resumed — this exception is raised when a continuation is continued or discontinued more than once. no double-dipping, bestie — continued or discontinued more than once and it's over for you 💀

---

🦋 perform 🦋

val perform : 'a t -> 'a

perform e performs an effect e. that's the move. 🎀

it raises Unhandled if there is no handler for e — so yeah, if there's no handler for e, Unhandled is coming for you, fr fr 😭

---

🌈 Modules 🌈

• module Deep : sig end — the full signature shown here is literally just sig end. that's the whole thing. no cap. ✨
• module Shallow : sig end — same deal: the signature shown is just sig end. short and mysterious, main character energy 👑

---

byeeee 💋 this page was served by OCamldoc, dated 2026-06-22, for Stdlib.Effect(3). mwah 🫶💖