Control.Linear

data St

data A t u v

data Blank

data Pair t u

type Fn t u

(>>==)

rtn

Algebraic operations

run

bimap

assoc1

assoc2

drop1

drop2

undrop1

undrop2

swap

apply

curry

distr

assoc3

assoc4

void'

bimap'

Basic I/O system

data Exclusive

data Semiclosed

data Open p

data Placeholder

open

getStdin

getStdout

getStderr

close

close1

fileSize

setFileSize

eof

seek

tell

char

line

lookahead

contents

putC

putS

random

Safe pointer facilities

data Pointer p s t

data Linear

data Nonlinear

data Focused

data Fix f

fixInj1

fixInj2

class Weakening t

contraction

new

free

split

ptrSwap

Focusing

focus

focusHdl

Strong update

peek'

poke'

changeType

Operations on nonlinear data / Weak update

newNonlinear

peek1

poke1

Multithreading

fork

join'

Example programs

helloWorld

printStuff

concurrent