Data.Faceted

Documentation

type Label = String

A security label is any string. Labels need not be secrets; they may be readable strings. Information flow security is ensured by a combination of the type system and dynamic checks.

data Faceted a

Type 'Faceted a' represents (possibly) faceted values.

? x : y ====> Faceted k x y

Instances

Monad Faceted

Monad: Like applicative, but even more powerful. Faceted the free monad over the function 'Facets a = F Label a a'.

Functor Faceted

Functor: For when the function is pure but the argument has facets.

Typeable1 Faceted

Applicative Faceted

Applicative: For when the function and argument both have facets.

Eq a => Eq (Faceted a)

Show a => Show (Faceted a)

makePrivate :: Label -> a -> Faceted a

? x : bottom ====> makePrivate k x

makeFaceted :: Label -> Faceted a -> Faceted a -> Faceted a

makePublic :: a -> Faceted a

x ==> Raw x ===> makePublic x

bottom :: Faceted a

data FIORef a

Variables of type 'FIORef a' are faceted IORefs

newFIORef :: Faceted a -> FIO (FIORef a)

Allocate a new FIORef

readFIORef :: FIORef a -> FIO (Faceted a)

Read an FIORef

writeFIORef :: FIORef a -> Faceted a -> FIO ()

Write an FIORef

type View = [Label]

A _view_ is any set of labels. In enforcing information flow security Each view may see a different value.

data FHandle

Facet-aware file handles

openFileF :: View -> FilePath -> IOMode -> FIO FHandle

hPutCharF :: FHandle -> Faceted Char -> FIO ()

hGetCharF :: FHandle -> FIO (Faceted Char)