---
name: "Effect.Shallow"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Effect.Shallow"
---

# Effect.Shallow(3o)

no description

## NAME

Effect.Shallow - no description

## Module

Module   Effect.Shallow

## Documentation

Module **Shallow**\
  :  **sig end**

*type* **('a, 'b)** *continuation*

**('a,'b) continuation** is a delimited continuation that expects a  **'a** value and returns a  **'b** value.

*val fiber* :  **('a -\> 'b) -\> ('a, 'b) continuation**

**fiber f** constructs a continuation that runs the computation  **f** .

*type* **('a, 'b)** *handler* = {\
  retc :  **'a -\> 'b** ;\
  exnc :  **exn -\> 'b** ;\
  effc :  **'c. 'c Effect.t -\> (('c, 'a) continuation -\> 'b) option** ;\
  }

**('a,'b) handler** is a handler record with three fields --  **retc** is the value handler,  **exnc** handles exceptions, and  **effc** handles the effects performed by the computation enclosed by the handler.

*val continue\_with* :  **('c, 'a) continuation -\>** **'c -\> ('a, 'b) handler -\> 'b**

**continue\_with k v h** resumes the continuation  **k** with value  **v** with the handler  **h** .

**Raises Continuation\_already\_resumed** if the continuation has already been resumed.

*val discontinue\_with* :  **('c, 'a) continuation -\>** **exn -\> ('a, 'b) handler -\> 'b**

**discontinue\_with k e h** resumes the continuation  **k** by raising the exception  **e** with the handler  **h** .

**Raises Continuation\_already\_resumed** if the continuation has already been resumed.

*val discontinue\_with\_backtrace* :  **('a, 'b) continuation -\>** **exn -\> Printexc.raw\_backtrace -\> ('b, 'c) handler -\> 'c**

**discontinue\_with k e bt h** resumes the continuation  **k** by raising the exception  **e** with the handler  **h** using the raw backtrace  **bt** as the origin of the exception.

**Raises Continuation\_already\_resumed** if the continuation has already been resumed.

*val get\_callstack* :  **('a, 'b) continuation -\> int -\> Printexc.raw\_backtrace**

**get\_callstack c n** returns a description of the top of the call stack on the continuation  **c** , with at most  **n** entries.