Math.HiddenMarkovModel.Distribution

Documentation

newtype State

Constructors

State Int

Instances

Enum State

Eq State

Ord State

Read State

Show State

Ix State

NFData State

type family Emission distr

type family Probability distr

class (Container Vector (Probability distr), Product (Probability distr)) => Info distr where

Methods

numberOfStates :: distr -> Int

Instances

Field a => Info (Gaussian a)

(Container Vector prob, Product prob, Ord symbol) => Info (Discrete prob symbol)

class (Container Vector (Probability distr), Product (Probability distr)) => Generate distr where

Methods

generate :: (RandomGen g, Probability distr ~ prob, Emission distr ~ emission) => distr -> State -> State g emission

Instances

Field a => Generate (Gaussian a)

(Container Vector prob, Product prob, Ord symbol, Ord prob, Random prob) => Generate (Discrete prob symbol)

class (Container Vector (Probability distr), Product (Probability distr)) => EmissionProb distr where

Methods

emissionProb :: distr -> Emission distr -> Vector (Probability distr)

emissionStateProb :: distr -> Emission distr -> State -> Probability distr

Instances

(Numeric a, Field a) => EmissionProb (Gaussian a)

(Container Vector prob, Product prob, Ord symbol) => EmissionProb (Discrete prob symbol)

class (Distribution tdistr ~ distr, Trained distr ~ tdistr, EmissionProb distr) => Estimate tdistr distr where

Associated Types

type Distribution tdistr

type Trained distr

Methods

accumulateEmissions :: Probability distr ~ prob => [[(Emission distr, prob)]] -> tdistr

combine :: tdistr -> tdistr -> tdistr

normalize :: tdistr -> distr

Instances

(Numeric a, Field a) => Estimate (GaussianTrained a) (Gaussian a)

(Container Vector prob, Product prob, Ord symbol) => Estimate (DiscreteTrained prob symbol) (Discrete prob symbol)

newtype Discrete prob symbol

Constructors

Discrete (Map symbol (Vector prob))

Instances

(Show prob, Show symbol, Storable prob) => Show (Discrete prob symbol)

(NFData prob, NFData symbol) => NFData (Discrete prob symbol)

(Field prob, Show prob, Read prob, CSVSymbol symbol) => CSV (Discrete prob symbol)

(Container Vector prob, Product prob, Ord symbol) => EmissionProb (Discrete prob symbol)

(Container Vector prob, Product prob, Ord symbol, Ord prob, Random prob) => Generate (Discrete prob symbol)

(Container Vector prob, Product prob, Ord symbol) => Info (Discrete prob symbol)

(Container Vector prob, Product prob, Ord symbol) => Estimate (DiscreteTrained prob symbol) (Discrete prob symbol)

newtype DiscreteTrained prob symbol

Constructors

DiscreteTrained (Map symbol (Vector prob))

Instances

(Show prob, Show symbol, Storable prob) => Show (DiscreteTrained prob symbol)

(NFData prob, NFData symbol) => NFData (DiscreteTrained prob symbol)

(Container Vector prob, Product prob, Ord symbol) => Estimate (DiscreteTrained prob symbol) (Discrete prob symbol)

newtype Gaussian a

Constructors

Gaussian (Array State (Vector a, Matrix a, a))

Instances

(Show a, Element a) => Show (Gaussian a)

(NFData a, Storable a) => NFData (Gaussian a)

(Field a, Eq a, Show a, Read a) => CSV (Gaussian a)

(Numeric a, Field a) => EmissionProb (Gaussian a)

Field a => Generate (Gaussian a)

Field a => Info (Gaussian a)

(Numeric a, Field a) => Estimate (GaussianTrained a) (Gaussian a)

newtype GaussianTrained a

Constructors

GaussianTrained (Map State (Vector a, Matrix a, a))

Instances

(Show a, Element a) => Show (GaussianTrained a)

(NFData a, Storable a) => NFData (GaussianTrained a)

(Numeric a, Field a) => Estimate (GaussianTrained a) (Gaussian a)

gaussian :: Field prob => [(Vector prob, Matrix prob)] -> Gaussian prob

class CSV distr where

Methods

toCells :: distr -> [[String]]

parseCells :: Int -> CSVParser distr

Instances

(Field a, Eq a, Show a, Read a) => CSV (Gaussian a)

(Field prob, Show prob, Read prob, CSVSymbol symbol) => CSV (Discrete prob symbol)

type CSVParser = StateT CSVResult (Exceptional String)

class Ord symbol => CSVSymbol symbol where

Methods

cellFromSymbol :: symbol -> String

symbolFromCell :: String -> Maybe symbol

Instances

CSVSymbol Char

CSVSymbol Int

CSVSymbol Color

Using show and read is not always a good choice since they must format and parse Haskell expressions which is not of much use to the outside world.