Language.Kuifje.Semantics

Documentation

type (~~>) a b = Dist a -> Hyper b

Hyper-distribution type synonym.

(=>>) :: Ord b => Dist a -> (a -> Dist b) -> Dist b

Bind with reduction applied to the input distribution.

(==>) :: Ord c => (a ~> b) -> (b ~> c) -> a ~> c

Kleisli composition.

hysem :: Ord s => Kuifje s -> s ~~> s

For a given program, returns a function that calculates the hyper-distribution for a given input distribution.

conditional :: Ord s => (s ~> Bool) -> (s ~~> s) -> (s ~~> s) -> s ~~> s

Conditional semantics (If and While).

huplift :: Ord s => (s ~> s) -> s ~~> s

Lifts a distribution to a hyper-distribution.

hobsem :: (Ord s, Ord o) => (s ~> o) -> s ~~> s

Observe semantics.

bayesVuln :: Ord a => Dist a -> Prob

Calculate Bayes Vulnerability for a distribution.

condEntropy :: (Dist a -> Rational) -> Hyper a -> Rational

Based on an entropy function for distributions, calculate the average entropy for a hyper-distribution.

average :: Dist Rational -> Rational

Average a distribution of Rationals.