Control.Monad.Distribution

Definitions

data Dist : Nat -> Type

  Convex combination of a finite set of types, a point in a simplex △^(i-1)
  i=2 -> △¹ -> line segment
  i=3 -> △² -> triangle
  ...
  Probabilities are here represented as logits
  Since this is used in `Data.Container.Products.ConvexComb`, we cannot use
  `Tensor` here

Totality: total
Visibility: public export
Constructor: 

MkDist : Vect i Double -> Dist i

  Probabilities are represented as logits

toVect : Dist i -> Vect i Double

Visibility: public export

uniform : IsSucc i => Dist i

  Logit representation of the uniform distribution

Visibility: public export

diracDelta : IsSucc i => Fin i -> Dist i

  Logit representation of dirac delta

Visibility: public export