LMonad.TCB

Documentation

class Monad m => LMonad m where

Minimal complete definition

lFail, lAllowLift

Methods

lFail :: m a

lAllowLift :: m Bool

data (Label l, Monad m, LMonad m) => LMonadT l m a

Instances

(LMonad m, Label l, Functor m, MonadBase IO m) => MonadBase IO (LMonadT l m)

Methods

liftBase :: IO α -> LMonadT l m α

(LMonad m, Label l, MonadBaseControl IO m) => MonadBaseControl IO (LMonadT l m)

Associated Types

type StM (LMonadT l m :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase (LMonadT l m) IO -> IO a) -> LMonadT l m a

restoreM :: StM (LMonadT l m) a -> LMonadT l m a

(Label l, LMonad m) => Monad (LMonadT l m)

Methods

(>>=) :: LMonadT l m a -> (a -> LMonadT l m b) -> LMonadT l m b

(>>) :: LMonadT l m a -> LMonadT l m b -> LMonadT l m b

return :: a -> LMonadT l m a

fail :: String -> LMonadT l m a

(Label l, LMonad m, Functor m) => Functor (LMonadT l m)

Methods

fmap :: (a -> b) -> LMonadT l m a -> LMonadT l m b

(<$) :: a -> LMonadT l m b -> LMonadT l m a

(Label l, LMonad m, Functor m) => Applicative (LMonadT l m)

Methods

pure :: a -> LMonadT l m a

(<*>) :: LMonadT l m (a -> b) -> LMonadT l m a -> LMonadT l m b

(*>) :: LMonadT l m a -> LMonadT l m b -> LMonadT l m b

(<*) :: LMonadT l m a -> LMonadT l m b -> LMonadT l m a

(Label l, LMonad m, MonadIO m) => MonadIO (LMonadT l m)

Methods

liftIO :: IO a -> LMonadT l m a

(Label l, LMonad m, MonadThrow m) => MonadThrow (LMonadT l m)

Methods

throwM :: Exception e => e -> LMonadT l m a

(LMonad m, Label l, Monoid (m a)) => Monoid (LMonadT l m a)

Methods

mempty :: LMonadT l m a

mappend :: LMonadT l m a -> LMonadT l m a -> LMonadT l m a

mconcat :: [LMonadT l m a] -> LMonadT l m a

type StM (LMonadT l m) a

type StM (LMonadT l m) a

runLMonad :: (Label l, LMonad m) => LMonadT l m a -> m a

lLift :: (Label l, LMonad m) => m a -> LMonadT l m a

getCurrentLabel :: (Label l, LMonad m) => LMonadT l m l

getClearance :: (Label l, LMonad m) => LMonadT l m l

lubCurrentLabel :: (Label l, LMonad m) => l -> LMonadT l m l

canSetLabel :: (Label l, LMonad m) => l -> LMonadT l m Bool

setLabel :: (Label l, LMonad m) => l -> LMonadT l m ()

taintLabel :: (Label l, LMonad m) => l -> LMonadT l m ()

setClearance :: (Label l, LMonad m) => l -> LMonadT l m ()

raiseClearanceTCB :: (Label l, LMonad m) => l -> LMonadT l m ()

lowerLabelTCB :: (Label l, LMonad m) => l -> LMonadT l m ()

data Label l => Labeled l a

label :: (Label l, LMonad m) => l -> a -> LMonadT l m (Labeled l a)

unlabel :: (Label l, LMonad m) => Labeled l a -> LMonadT l m a

canUnlabel :: (Label l, LMonad m) => Labeled l a -> LMonadT l m Bool

labelOf :: Label l => Labeled l a -> l

toLabeledTCB :: (Label l, LMonad m) => l -> LMonadT l m a -> LMonadT l m (Labeled l a)

class ToLabel t l where

Type class to convert a given type to a given label.

Minimal complete definition

toConfidentialityLabel, toIntegrityLabel

Methods

toConfidentialityLabel :: t -> l

toIntegrityLabel :: t -> l

swapBase :: (Label l, LMonad m, LMonad n) => (m (a, LState l) -> n (b, LState l)) -> LMonadT l m a -> LMonadT l n b