LIO.TCB

LIO monad

data LIOState l

data LIO l a

Accessing internal state

getLIOStateTCB

putLIOStateTCB

modifyLIOStateTCB

Executing IO actions

ioTCB

Privileged constructors

data Priv a

data Labeled l t

class LabelOf t

Uncatchable exception type

data UncatchableTCB

makeCatchable

Trusted Show

class ShowTCB a

LabeledResults

data LabeledResult l a

data LResStatus l a