{-# LANGUAGE TypeSynonymInstances  #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Policy where

import SME.Trustworthy 

instance Policy Level FilePath String where 
   -- Security policies 
   level "Client"            = H
   level "Client-Terms"      = L
   level "Client-Interest"   = H
   level "Client-Statistics" = L
   level file                = error $ "File " ++ file ++ " is not assigned to a security level"

   defvalue "Client"          = "0 % 1"
   defvalue "Client-Interest" = "0 % 1"
   defvalue _                 = error "No default value for public (low) files!"