LIO.Core

LIO monad

data LIO l a

class MonadLIO l m

Execute LIO actions

data LIOState l

Manipulating label state

Manipulating clearance

Exceptions thrown by LIO

data AnyLabelError

data LabelError l

data InsufficientPrivs

Guards

Allocate/write-only guards

Read-only guards

Read-write guards