kuifje-0.1.1.0: A Quantitative Information Flow aware programming language.
Language.Kuifje.Syntax
type (~>) a b = a -> Dist b Source #
Kleisli arrow.
data Kuifje s Source #
Syntax of the Kuifje language.
Constructors
Defined in Language.Kuifje.Syntax
Methods
(<>) :: Kuifje s -> Kuifje s -> Kuifje s #
sconcat :: NonEmpty (Kuifje s) -> Kuifje s #
stimes :: Integral b => b -> Kuifje s -> Kuifje s #
mempty :: Kuifje s #
mappend :: Kuifje s -> Kuifje s -> Kuifje s #
mconcat :: [Kuifje s] -> Kuifje s #
skip :: Kuifje s Source #
Return a Skip instruction.
Skip
update :: (s ~> s) -> Kuifje s Source #
Return an Update instruction.
Update
while :: (s ~> Bool) -> Kuifje s -> Kuifje s Source #
Return a While instruction.
While
cond :: (s ~> Bool) -> Kuifje s -> Kuifje s -> Kuifje s Source #
Return an If instruction.
If
observe :: Ord o => (s ~> o) -> Kuifje s Source #
Return an Observe instruction.
Observe