mac-0.1.3.0: Static Mandatory Access Control in Haskell
MAC.FlexibleLb
Synopsis
sfmap :: (a -> b) -> Labeled l a -> Labeled l b Source #
Labeled resources as functors
(<<*>>) :: Labeled l (a -> b) -> Labeled l a -> Labeled l b Source #
relabel :: Less l l' => Labeled l a -> Labeled l' a Source #
It upgrades a labeled resource