module ExampleToLabeledT where 

import DCLabel.PrettyShow
import LIO.DCLabel 
import LIO.TCB

import ExampleToLabeledU (computation')

public :: LIO DCLabel () (Labeled DCLabel String)
public = label lbot "PublicData"

secret :: LIO DCLabel () (Labeled DCLabel String)
secret = label ltop "SecretData"

execute = do (result, label) <- evalLIO (computation' public secret) () 
             putStrLn $ "The result is: " ++ show result
             putStrLn $ "With the label: " ++ prettyShow label