Math.HiddenMarkovModel.Distribution

Documentation

type family Emission distr

Instances

type Emission (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type Emission (Gaussian emiSh stateSh a) = Vector emiSh a

type Emission (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type Emission (Discrete symbol sh prob) = symbol

type family Probability distr

Instances

type Probability (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type Probability (Gaussian emiSh stateSh a) = a

type Probability (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type Probability (Discrete symbol sh prob) = prob

type family StateShape distr

Instances

type StateShape (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type StateShape (Gaussian emiSh stateSh a) = stateSh

type StateShape (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type StateShape (Discrete symbol sh prob) = sh

class Real (Probability distr) => Info distr where

Methods

statesShape :: distr -> StateShape distr

Instances

(Indexed stateSh, Eq stateSh, Real a) => Info (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

statesShape :: Gaussian emiSh stateSh a -> StateShape (Gaussian emiSh stateSh a)

(C sh, Real prob, Ord symbol) => Info (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

statesShape :: Discrete symbol sh prob -> StateShape (Discrete symbol sh prob)

class Real (Probability distr) => Generate distr where

Methods

generate :: (RandomGen g, Emission distr ~ emission, StateShape distr ~ sh) => distr -> Index sh -> State g emission

Instances

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => Generate (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

generate :: (RandomGen g, Emission (Gaussian emiSh stateSh a) ~ emission, StateShape (Gaussian emiSh stateSh a) ~ sh) => Gaussian emiSh stateSh a -> Index sh -> State g emission

(Indexed sh, Real prob, Ord symbol, Ord prob, Random prob) => Generate (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

generate :: (RandomGen g, Emission (Discrete symbol sh prob) ~ emission, StateShape (Discrete symbol sh prob) ~ sh0) => Discrete symbol sh prob -> Index sh0 -> State g emission

class (Indexed (StateShape distr), Real (Probability distr)) => EmissionProb distr where

Minimal complete definition

emissionProb

Methods

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

emissionStateProb :: distr -> Emission distr -> Index (StateShape distr) -> Probability distr

Instances

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => EmissionProb (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

emissionProb :: Gaussian emiSh stateSh a -> Emission (Gaussian emiSh stateSh a) -> Vector (StateShape (Gaussian emiSh stateSh a)) (Probability (Gaussian emiSh stateSh a))

emissionStateProb :: Gaussian emiSh stateSh a -> Emission (Gaussian emiSh stateSh a) -> Index (StateShape (Gaussian emiSh stateSh a)) -> Probability (Gaussian emiSh stateSh a)

(Indexed sh, Real prob, Ord symbol) => EmissionProb (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

emissionProb :: Discrete symbol sh prob -> Emission (Discrete symbol sh prob) -> Vector (StateShape (Discrete symbol sh prob)) (Probability (Discrete symbol sh prob))

emissionStateProb :: Discrete symbol sh prob -> Emission (Discrete symbol sh prob) -> Index (StateShape (Discrete symbol sh prob)) -> Probability (Discrete symbol sh prob)

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, StateShape distr ~ sh) => Array sh [(Emission distr, prob)] -> tdistr

combine :: tdistr -> tdistr -> tdistr

normalize :: tdistr -> distr

Instances

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => Estimate (GaussianTrained emiSh stateSh a) (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Associated Types

type Distribution (GaussianTrained emiSh stateSh a) :: Type

type Trained (Gaussian emiSh stateSh a) :: Type

Methods

accumulateEmissions :: (Probability (Gaussian emiSh stateSh a) ~ prob, StateShape (Gaussian emiSh stateSh a) ~ sh) => Array sh [(Emission (Gaussian emiSh stateSh a), prob)] -> GaussianTrained emiSh stateSh a

combine :: GaussianTrained emiSh stateSh a -> GaussianTrained emiSh stateSh a -> GaussianTrained emiSh stateSh a

normalize :: GaussianTrained emiSh stateSh a -> Gaussian emiSh stateSh a

(Indexed sh, Eq sh, Real prob, Ord symbol) => Estimate (DiscreteTrained symbol sh prob) (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Associated Types

type Distribution (DiscreteTrained symbol sh prob) :: Type

type Trained (Discrete symbol sh prob) :: Type

Methods

accumulateEmissions :: (Probability (Discrete symbol sh prob) ~ prob0, StateShape (Discrete symbol sh prob) ~ sh0) => Array sh0 [(Emission (Discrete symbol sh prob), prob0)] -> DiscreteTrained symbol sh prob

combine :: DiscreteTrained symbol sh prob -> DiscreteTrained symbol sh prob -> DiscreteTrained symbol sh prob

normalize :: DiscreteTrained symbol sh prob -> Discrete symbol sh prob

newtype Discrete symbol sh prob

Constructors

Discrete (Map symbol (Vector sh prob))

Instances

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

Defined in Math.HiddenMarkovModel.Distribution

Methods

showsPrec :: Int -> Discrete symbol sh prob -> ShowS

show :: Discrete symbol sh prob -> String

showList :: [Discrete symbol sh prob] -> ShowS

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

Defined in Math.HiddenMarkovModel.Distribution

Methods

rnf :: Discrete symbol sh prob -> ()

(FormatArray sh, Real prob, Format symbol) => Format (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

format :: String -> Discrete symbol sh prob -> Box

(C sh, Real prob, Show prob, Read prob, CSVSymbol symbol) => FromCSV (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

parseCells :: StateShape (Discrete symbol sh prob) -> CSVParser (Discrete symbol sh prob)

(C sh, Real prob, Show prob, Read prob, CSVSymbol symbol) => ToCSV (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

toCells :: Discrete symbol sh prob -> [[String]]

(Indexed sh, Real prob, Ord symbol) => EmissionProb (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

emissionProb :: Discrete symbol sh prob -> Emission (Discrete symbol sh prob) -> Vector (StateShape (Discrete symbol sh prob)) (Probability (Discrete symbol sh prob))

emissionStateProb :: Discrete symbol sh prob -> Emission (Discrete symbol sh prob) -> Index (StateShape (Discrete symbol sh prob)) -> Probability (Discrete symbol sh prob)

(Indexed sh, Real prob, Ord symbol, Ord prob, Random prob) => Generate (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

generate :: (RandomGen g, Emission (Discrete symbol sh prob) ~ emission, StateShape (Discrete symbol sh prob) ~ sh0) => Discrete symbol sh prob -> Index sh0 -> State g emission

(C sh, Real prob, Ord symbol) => Info (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

statesShape :: Discrete symbol sh prob -> StateShape (Discrete symbol sh prob)

(Indexed sh, Eq sh, Real prob, Ord symbol) => Estimate (DiscreteTrained symbol sh prob) (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Associated Types

type Distribution (DiscreteTrained symbol sh prob) :: Type

type Trained (Discrete symbol sh prob) :: Type

Methods

accumulateEmissions :: (Probability (Discrete symbol sh prob) ~ prob0, StateShape (Discrete symbol sh prob) ~ sh0) => Array sh0 [(Emission (Discrete symbol sh prob), prob0)] -> DiscreteTrained symbol sh prob

combine :: DiscreteTrained symbol sh prob -> DiscreteTrained symbol sh prob -> DiscreteTrained symbol sh prob

normalize :: DiscreteTrained symbol sh prob -> Discrete symbol sh prob

type Trained (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type Trained (Discrete symbol sh prob) = DiscreteTrained symbol sh prob

type StateShape (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type StateShape (Discrete symbol sh prob) = sh

type Emission (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type Emission (Discrete symbol sh prob) = symbol

type Probability (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type Probability (Discrete symbol sh prob) = prob

newtype DiscreteTrained symbol sh prob

Constructors

DiscreteTrained (Map symbol (Vector sh prob))

Instances

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

Defined in Math.HiddenMarkovModel.Distribution

Methods

showsPrec :: Int -> DiscreteTrained symbol sh prob -> ShowS

show :: DiscreteTrained symbol sh prob -> String

showList :: [DiscreteTrained symbol sh prob] -> ShowS

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

Defined in Math.HiddenMarkovModel.Distribution

Methods

rnf :: DiscreteTrained symbol sh prob -> ()

(Indexed sh, Eq sh, Real prob, Ord symbol) => Estimate (DiscreteTrained symbol sh prob) (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Associated Types

type Distribution (DiscreteTrained symbol sh prob) :: Type

type Trained (Discrete symbol sh prob) :: Type

Methods

accumulateEmissions :: (Probability (Discrete symbol sh prob) ~ prob0, StateShape (Discrete symbol sh prob) ~ sh0) => Array sh0 [(Emission (Discrete symbol sh prob), prob0)] -> DiscreteTrained symbol sh prob

combine :: DiscreteTrained symbol sh prob -> DiscreteTrained symbol sh prob -> DiscreteTrained symbol sh prob

normalize :: DiscreteTrained symbol sh prob -> Discrete symbol sh prob

type Distribution (DiscreteTrained symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

type Distribution (DiscreteTrained symbol sh prob) = Discrete symbol sh prob

newtype Gaussian emiSh stateSh a

Constructors

Gaussian (Array stateSh (Vector emiSh a, UpperTriangular emiSh a, a))

Instances

(C stateSh, C emiSh, Storable a, Show stateSh, Show emiSh, Show a) => Show (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

showsPrec :: Int -> Gaussian emiSh stateSh a -> ShowS

show :: Gaussian emiSh stateSh a -> String

showList :: [Gaussian emiSh stateSh a] -> ShowS

(NFData emiSh, NFData stateSh, C stateSh, NFData a, Storable a) => NFData (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

rnf :: Gaussian emiSh stateSh a -> ()

(FormatArray emiSh, C stateSh, Real a) => Format (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

format :: String -> Gaussian emiSh stateSh a -> Box

(emiSh ~ ZeroInt, Indexed stateSh, Real a, Eq a, Show a, Read a) => FromCSV (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

parseCells :: StateShape (Gaussian emiSh stateSh a) -> CSVParser (Gaussian emiSh stateSh a)

(Indexed emiSh, Indexed stateSh, Real a, Eq a, Show a, Read a) => ToCSV (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

toCells :: Gaussian emiSh stateSh a -> [[String]]

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => EmissionProb (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

emissionProb :: Gaussian emiSh stateSh a -> Emission (Gaussian emiSh stateSh a) -> Vector (StateShape (Gaussian emiSh stateSh a)) (Probability (Gaussian emiSh stateSh a))

emissionStateProb :: Gaussian emiSh stateSh a -> Emission (Gaussian emiSh stateSh a) -> Index (StateShape (Gaussian emiSh stateSh a)) -> Probability (Gaussian emiSh stateSh a)

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => Generate (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

generate :: (RandomGen g, Emission (Gaussian emiSh stateSh a) ~ emission, StateShape (Gaussian emiSh stateSh a) ~ sh) => Gaussian emiSh stateSh a -> Index sh -> State g emission

(Indexed stateSh, Eq stateSh, Real a) => Info (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

statesShape :: Gaussian emiSh stateSh a -> StateShape (Gaussian emiSh stateSh a)

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => Estimate (GaussianTrained emiSh stateSh a) (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Associated Types

type Distribution (GaussianTrained emiSh stateSh a) :: Type

type Trained (Gaussian emiSh stateSh a) :: Type

Methods

accumulateEmissions :: (Probability (Gaussian emiSh stateSh a) ~ prob, StateShape (Gaussian emiSh stateSh a) ~ sh) => Array sh [(Emission (Gaussian emiSh stateSh a), prob)] -> GaussianTrained emiSh stateSh a

combine :: GaussianTrained emiSh stateSh a -> GaussianTrained emiSh stateSh a -> GaussianTrained emiSh stateSh a

normalize :: GaussianTrained emiSh stateSh a -> Gaussian emiSh stateSh a

type Trained (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type Trained (Gaussian emiSh stateSh a) = GaussianTrained emiSh stateSh a

type StateShape (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type StateShape (Gaussian emiSh stateSh a) = stateSh

type Emission (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type Emission (Gaussian emiSh stateSh a) = Vector emiSh a

type Probability (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type Probability (Gaussian emiSh stateSh a) = a

newtype GaussianTrained emiSh stateSh a

Constructors

GaussianTrained (Array stateSh (Maybe (Vector emiSh a, HermitianMatrix emiSh a, a)))

Instances

(C stateSh, C emiSh, Storable a, Show stateSh, Show emiSh, Show a) => Show (GaussianTrained emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

showsPrec :: Int -> GaussianTrained emiSh stateSh a -> ShowS

show :: GaussianTrained emiSh stateSh a -> String

showList :: [GaussianTrained emiSh stateSh a] -> ShowS

(NFData emiSh, NFData stateSh, C stateSh, NFData a, Storable a) => NFData (GaussianTrained emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

rnf :: GaussianTrained emiSh stateSh a -> ()

(C emiSh, Eq emiSh, Indexed stateSh, Eq stateSh, Real a) => Estimate (GaussianTrained emiSh stateSh a) (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Associated Types

type Distribution (GaussianTrained emiSh stateSh a) :: Type

type Trained (Gaussian emiSh stateSh a) :: Type

Methods

accumulateEmissions :: (Probability (Gaussian emiSh stateSh a) ~ prob, StateShape (Gaussian emiSh stateSh a) ~ sh) => Array sh [(Emission (Gaussian emiSh stateSh a), prob)] -> GaussianTrained emiSh stateSh a

combine :: GaussianTrained emiSh stateSh a -> GaussianTrained emiSh stateSh a -> GaussianTrained emiSh stateSh a

normalize :: GaussianTrained emiSh stateSh a -> Gaussian emiSh stateSh a

type Distribution (GaussianTrained emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

type Distribution (GaussianTrained emiSh stateSh a) = Gaussian emiSh stateSh a

gaussian :: (C emiSh, C stateSh, Real prob) => Array stateSh (Vector emiSh prob, HermitianMatrix emiSh prob) -> Gaussian emiSh stateSh prob

class ToCSV distr where

Methods

toCells :: distr -> [[String]]

Instances

(Indexed emiSh, Indexed stateSh, Real a, Eq a, Show a, Read a) => ToCSV (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

toCells :: Gaussian emiSh stateSh a -> [[String]]

(C sh, Real prob, Show prob, Read prob, CSVSymbol symbol) => ToCSV (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

toCells :: Discrete symbol sh prob -> [[String]]

class FromCSV distr where

Methods

parseCells :: StateShape distr -> CSVParser distr

Instances

(emiSh ~ ZeroInt, Indexed stateSh, Real a, Eq a, Show a, Read a) => FromCSV (Gaussian emiSh stateSh a)

Defined in Math.HiddenMarkovModel.Distribution

Methods

parseCells :: StateShape (Gaussian emiSh stateSh a) -> CSVParser (Gaussian emiSh stateSh a)

(C sh, Real prob, Show prob, Read prob, CSVSymbol symbol) => FromCSV (Discrete symbol sh prob)

Defined in Math.HiddenMarkovModel.Distribution

Methods

parseCells :: StateShape (Discrete symbol sh prob) -> CSVParser (Discrete symbol sh prob)

type CSVParser = StateT CSVResult (Exceptional String)

class Ord symbol => CSVSymbol symbol where

Methods

cellFromSymbol :: symbol -> String

symbolFromCell :: String -> Maybe symbol

Instances

CSVSymbol Char

Defined in Math.HiddenMarkovModel.Distribution

Methods

cellFromSymbol :: Char -> String

symbolFromCell :: String -> Maybe Char

CSVSymbol Int

Defined in Math.HiddenMarkovModel.Distribution

Methods

cellFromSymbol :: Int -> String

symbolFromCell :: String -> Maybe 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.

Defined in Math.HiddenMarkovModel.Example.TrafficLightPrivate

Methods

cellFromSymbol :: Color -> String

symbolFromCell :: String -> Maybe Color