Data.Stochastic.Types

This module contains the types used for the stochastic package.

WARNING: In its current state, care should be taken when using discrete distributions as it is never checked that the probabilities sum to 1. As is, execution of sampling may fail at run-time if probabilities aren't normalized.

Documentation

data Distribution a where

Datatype representing parameterized probability distributions over values of type a. GADTs are used to restrict types of certain distributions (e.g. normal distributions can only be defined over floating point numbers)

Constructors

Normal :: Mean -> StDev -> Distribution Double

Bernoulli :: Double -> Distribution Bool

Discrete :: [(a, Double)] -> Distribution a

Uniform :: [a] -> Distribution a

Certain :: a -> Distribution a

Instances

Sampleable Distribution

Sampleable instance for Distribution. We ensure that we always pass the *next* RandomGen provided to sampleFrom. This lets us obey the monad laws.

Methods

certainDist :: a -> Distribution a

sampleFrom :: RandomGen g => Distribution a -> g -> (a, g)

Show a => Show (Distribution a)

Show instance for Distributions.

Methods

showsPrec :: Int -> Distribution a -> ShowS

show :: Distribution a -> String

showList :: [Distribution a] -> ShowS

class Sampleable d where

Class of types from which samples can be obtained.

Minimal complete definition

certainDist, sampleFrom

Methods

certainDist :: a -> d a

Constructor for a datatype from which we always sample the same value.

sampleFrom :: RandomGen g => d a -> g -> (a, g)

Sample from the sampleable datatype using a RandomGen returning a new RandomGen.

Instances

Sampleable Distribution

Sampleable instance for Distribution. We ensure that we always pass the *next* RandomGen provided to sampleFrom. This lets us obey the monad laws.

Methods

certainDist :: a -> Distribution a

sampleFrom :: RandomGen g => Distribution a -> g -> (a, g)

newtype Sample g d a

Sample monad containing a random number generator plus a type from which we can sample values of type a

Constructors

Sample

Fields

• runSample :: (RandomGen g, Sampleable d) => g -> (d a, g)

Instances

(RandomGen g, Sampleable d) => Monad (Sample g d)

Monad instance for Sample.

Methods

(>>=) :: Sample g d a -> (a -> Sample g d b) -> Sample g d b

(>>) :: Sample g d a -> Sample g d b -> Sample g d b

return :: a -> Sample g d a

fail :: String -> Sample g d a

(RandomGen g, Sampleable s) => Functor (Sample g s)

Trivial Functor instance for Sample StdGen Distribution.

Methods

fmap :: (a -> b) -> Sample g s a -> Sample g s b

(<$) :: a -> Sample g s b -> Sample g s a

(RandomGen g, Sampleable s) => Applicative (Sample g s)

Trivial Applicative instance for Sample StdGen Distribution.

Methods

pure :: a -> Sample g s a

(<*>) :: Sample g s (a -> b) -> Sample g s a -> Sample g s b

(*>) :: Sample g s a -> Sample g s b -> Sample g s b

(<*) :: Sample g s a -> Sample g s b -> Sample g s a

type StochProcess = WriterT (Seq Double) (Sample StdGen Distribution) Double

Monad that represents a stochastic process. It allows us to record numeric values as we sample.

type Sampler a = Sample StdGen Distribution a

Type synonym for shorter type annotations for Sample.

type Mean = Double

Type synonym for Double so that the type annotation for the Normal constructor is more informative.

type StDev = Double

Type synonyms for Double so that the type annotation for the Normal constructor is more informative.