Bayes.Factor

Factor type and dimensions

data Factor

Instances

Show Factor

Defined in Bayes.Factor

Methods

showsPrec :: Int -> Factor -> ShowS

show :: Factor -> String

showList :: [Factor] -> ShowS

Semigroup Factor

Defined in Bayes.Factor

Methods

(<>) :: Factor -> Factor -> Factor

sconcat :: NonEmpty Factor -> Factor

stimes :: Integral b => b -> Factor -> Factor

Monoid Factor

Defined in Bayes.Factor

Methods

mempty :: Factor

mappend :: Factor -> Factor -> Factor

mconcat :: [Factor] -> Factor

Dimensional Factor

Defined in Bayes.Factor

Methods

size :: Factor -> Int

varSet :: Factor -> Set String

vars :: Factor -> [String]

data Dimensions

Instances

Dimensional Dimensions

Defined in Bayes.Factor

Methods

size :: Dimensions -> Int

varSet :: Dimensions -> Set String

vars :: Dimensions -> [String]

dimensions :: Factor -> Dimensions

fromDimensions :: Dimensions -> [(String, Int)]

hasVarD :: String -> Dimensions -> Bool

mergesD :: [Dimensions] -> Dimensions

class Dimensional a where

Minimal complete definition

size, varSet

Methods

size :: a -> Int

varSet :: a -> Set String

vars :: a -> [String]

Instances

Dimensional Dimensions

Defined in Bayes.Factor

Methods

size :: Dimensions -> Int

varSet :: Dimensions -> Set String

vars :: Dimensions -> [String]

Dimensional Factor

Defined in Bayes.Factor

Methods

size :: Factor -> Int

varSet :: Factor -> Set String

vars :: Factor -> [String]

Dimensional a => Dimensional [a]

Defined in Bayes.Factor

Methods

size :: [a] -> Int

varSet :: [a] -> Set String

vars :: [a] -> [String]

Construction

makeFactor :: [(String, Int)] -> [Double] -> Factor

Simple queries

values :: Factor -> [Double]

Standard operations

multiply :: Factor -> Factor -> Factor

sumout :: String -> Factor -> Factor

sumouts :: [String] -> Factor -> Factor

condition :: String -> Int -> Factor -> Factor

conditions :: [(String, Int)] -> Factor -> Factor

normalize :: Factor -> Factor

Variable elimination on factors

eliminate :: [Factor] -> String -> [Factor]

eliminateSplit :: [Factor] -> String -> (Factor, [Factor])

Eliminate variable: returns new factor and remaining (unchanged) factors

eliminateList :: [Factor] -> [String] -> [Factor]