Control.Pipe.Final

Introduction

Types

type Prompt p a b m r

type Ensure a b m r

data Frame a b m r

type Stack

Create Frames

yieldF

awaitF

Prompt Finalization

close

bindClosed

reopen

Ensure Finalization

catchP

finallyP

Compose Frames

(<-<)

(>->)

idF

data FrameC m r a b

Run Frames

runFrame