Language.Kuifje.Distribution

Documentation

type Prob = Rational

Type synonym for probabilities.

newtype Dist a

Distribution data type.

Constructors

D

Fields

• runD :: Map a Prob

Instances

Ord a => Eq (Dist a)

Defined in Language.Kuifje.Distribution

Methods

(==) :: Dist a -> Dist a -> Bool

(/=) :: Dist a -> Dist a -> Bool

Ord a => Ord (Dist a)

Defined in Language.Kuifje.Distribution

Methods

compare :: Dist a -> Dist a -> Ordering

(<) :: Dist a -> Dist a -> Bool

(<=) :: Dist a -> Dist a -> Bool

(>) :: Dist a -> Dist a -> Bool

(>=) :: Dist a -> Dist a -> Bool

max :: Dist a -> Dist a -> Dist a

min :: Dist a -> Dist a -> Dist a

(Ord a, Boxable a) => Show (Dist a)

Defined in Language.Kuifje.PrettyPrint

Methods

showsPrec :: Int -> Dist a -> ShowS

show :: Dist a -> String

showList :: [Dist a] -> ShowS

(Boxable a, Ord a) => Boxable (Dist a)

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: Dist a -> Box

type Hyper a = Dist (Dist a)

Type alias for hyper-distributions.

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

Top-level fmap function for distributions.

return :: Ord a => a -> Dist a

Top-level return function for distributions. Creates a singleton distribution.

point :: Ord a => a -> Dist a

Alias for return function.

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

Top-level bind function for distributions.

join :: Ord a => Hyper a -> Dist a

Top-level join function for distributions.

uniform :: Ord a => [a] -> Dist a

Construct a discrete distribution from a nonempty list of elements, assigning the same probability to each element.

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

Construct a distribution in which the first element has probability p and the second 1−p.

unpackD :: Dist a -> Map a Prob

Recover the map representation of a distribution, reduced.

reduction :: Dist a -> Dist a

Remove zeroes from a distribution.

weight :: Dist a -> Prob

Sum the probabilities in the distribution.