Safe Haskell	Safe
Language	Haskell2010

Language.Kuifje.Semantics

Synopsis

Documentation

type (~~>) a b = Dist a -> Dist (Dist b) Source #

Hyper-distribution type synonym.

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

Bind with reduction applied to the input distribution.

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

Kleisli composition.

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 Source #

Conditional semantics (If and While).

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

Lifts a distribution to a hyper-distribution.

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

Observe semantics.

Calculate Bayes Vulnerability for a distribution.

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