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)

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.

fix :: l -> MAC l ()

To help the type-system