LAoP.Dist.Internal

Documentation

newtype Dist a

Type synonym for column vector matrices. This represents a probability distribution.

Constructors

D (Matrix Prob () a)

type Prob = Double

Type synonym for probability value

type Countable a = KnownNat (Count a)

Constraint type synonyms to keep the type signatures less convoluted

type CountableN a = KnownNat (Count (Normalize a))

type CountableDimensionsN a b = (CountableN a, CountableN b)

type FromListsN a b = FromLists Prob (Normalize a) (Normalize b)

type Liftable a b = (Bounded a, Bounded b, Enum a, Enum b, Eq b, Num Prob, Ord Prob)

type TrivialP a b = Normalize (a, b) ~ Normalize (Normalize a, Normalize b)

type TrivialE a b = Normalize (Either a b) ~ Either (Normalize a) (Normalize b)

fmapD :: (Liftable a b, CountableDimensionsN a b, FromListsN b a) => (a -> b) -> Dist a -> Dist b

Functor instance

unitD :: Dist ()

Applicative/Monoidal instance unit function

multD :: (CountableDimensionsN a b, CountableN (a, b), FromListsN (a, b) a, FromListsN (a, b) b, TrivialP a b) => Dist a -> Dist b -> Dist (a, b)

Applicative/Monoidal instance mult function

selectD :: (TrivialE a b, FromListsN b b, CountableN b) => Dist (Either a b) -> Matrix Prob a b -> Dist b

Selective instance function

returnD :: forall a. (Enum a, FromListsN () a, Countable a) => a -> Dist a

Monad instance return function

bindD :: Dist a -> Matrix Prob a b -> Dist b

Monad instance '(>>=)' function

(??) :: (Enum a, Countable a, FromListsN () a) => (a -> Bool) -> Dist a -> Prob

Extract probabilities given an Event.

choose :: FromListsN () a => Prob -> Dist a

Constructs a Bernoulli distribution

shape :: FromListsN () a => (Prob -> Prob) -> [a] -> Dist a

Creates a distribution given a shape function

linear :: FromListsN () a => [a] -> Dist a

Constructs a Linear distribution

uniform :: FromListsN () a => [a] -> Dist a

Constructs an Uniform distribution

negExp :: FromListsN () a => [a] -> Dist a

Constructs an Negative Exponential distribution

normal :: FromListsN () a => [a] -> Dist a

Constructs an Normal distribution

toValues :: forall a. (Enum a, Countable a, FromListsN () a) => Dist a -> [(a, Prob)]

Transforms a Dist into a list of pairs.

prettyDist :: forall a. (Show a, Enum a, Countable a, FromListsN () a) => Dist a -> String

Pretty a distribution

prettyPrintDist :: forall a. (Show a, Enum a, Countable a, FromListsN () a) => Dist a -> IO ()

Pretty Print a distribution