Safe Haskell	Trustworthy
Language	Haskell98

SecLib.Sec

Contents

Description

Provide security for computations involving pure values.

Synopsis

Sec monad

data Sec l a Source

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

Instances

Upgrading security level

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

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.