MAC.Core

It defines main data structures for security, i.e., monad family MAC and labeled resources Res.

Documentation

newtype Res l a

Labeling expressions of type a with label l.

Constructors

MkRes

Fields

• unRes :: a

labelOf :: Res l a -> l

Label of resources

newtype MAC l a

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

Constructors

MkMAC (IO a)

Instances

Monad (MAC l)

Methods

(>>=) :: MAC l a -> (a -> MAC l b) -> MAC l b

(>>) :: MAC l a -> MAC l b -> MAC l b

return :: a -> MAC l a

fail :: String -> MAC l a

Functor (MAC l)

Methods

fmap :: (a -> b) -> MAC l a -> MAC l b

(<$) :: a -> MAC l b -> MAC l a

Applicative (MAC l)

Methods

pure :: a -> MAC l a

(<*>) :: MAC l (a -> b) -> MAC l a -> MAC l b

(*>) :: MAC l a -> MAC l b -> MAC l b

(<*) :: MAC l a -> MAC l b -> MAC l a

runMAC :: MAC l a -> IO a

Execute secure computations.

ioTCB :: IO a -> MAC l a

It lifts arbitrary IO-actions.