lio-0.11.2.0: examples/gate.hs

import LIO
import LIO.Delegate
import LIO.DCLabel

import LIO.TCB


-- | Add two numbers if the computation is invoked by Alice or Bob.
addGate :: Gate CNF (Int -> Int -> Maybe Int)
addGate = gate $ \pd a b ->
  if pd `elem` (map toCNF ["Alice", "Bob"])
    then Just $ a + b
    else Nothing


alice, bob, clark :: DCPriv
alice = PrivTCB . toCNF $ "Alice"
bob   = PrivTCB . toCNF $ "Bob"
clark = PrivTCB . toCNF $ "Clark"

main = putStrLn . show $ 
  [ callGate addGate alice 1 2 -- Just 3
  , callGate addGate bob   3 4 -- Just 7
  , callGate addGate clark 5 6 -- Nothing
  ]