Control.Frame

Types

data C

data O a

type M a

data FrameF b x i

type Frame b m i j r

type Stack m r

Create Frames

Primitives

yieldF

awaitF

close

Pipe-like primitives

yield

await

Finalize Frames

catchD

catchF

finallyD

finallyF

Compose Frames

(<-<)

(>->)

idF

data FrameC m r a b

Run Frames

runFrame