SecLib.Sec

Provide security for computations involving pure values.

Sec monad

data Sec l a

This monad denotes computations which produce values at security level l.

Instances

Monad (Sec l)

Functor (Sec l)

Applicative (Sec l)

Upgrading security level

up :: Less l l' => Sec l a -> Sec l' a

It raises the security level of a value based on order-relationship expressed by the security lattice.

This is the only operation which connects members of the Sec l monad family.