MAC.MAC

A safe interface for module Core.hs

Documentation

data Res l a

Labeling expressions of type a with label l.

labelOf :: Res l a -> l

Label of resources

data MAC l a

This monad labels the results of the computation (of type a) with label l.

Instances

Monad (MAC l)

Functor (MAC l)

Applicative (MAC l)

runMAC :: MAC l a -> IO a

Execute secure computations.

fix :: l -> MAC l ()

To help the type-system