Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

## Synopsis

- type (~~>) a b = Dist a -> Hyper b
- (=>>) :: Ord b => Dist a -> (a -> Dist b) -> Dist b
- (==>) :: Ord c => (a ~> b) -> (b ~> c) -> a ~> c
- hysem :: Ord s => Kuifje s -> s ~~> s
- conditional :: Ord s => (s ~> Bool) -> (s ~~> s) -> (s ~~> s) -> s ~~> s
- huplift :: Ord s => (s ~> s) -> s ~~> s
- hobsem :: (Ord s, Ord o) => (s ~> o) -> s ~~> s
- bayesVuln :: Ord a => Dist a -> Prob
- condEntropy :: (Dist a -> Rational) -> Hyper a -> Rational
- average :: Dist Rational -> Rational

# Documentation

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

Bind with reduction applied to the input distribution.

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

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