Safe Haskell | None |
---|
Used for Multivariate distributions
- data Multivariate dp xs prob
- type family MultiCategorical xs :: [* -> * -> *]
- type family Independent dist sampleL :: [* -> * -> *]
- type family Dependent dist xs :: [* -> * -> *]
- type family Index xs i :: a
- module HLearn.Models.Distributions.Multivariate.Internal.Ignore
- module HLearn.Models.Distributions.Multivariate.Internal.Marginalization
Documentation
data Multivariate dp xs prob Source
this is the main type for specifying multivariate distributions
(Marginalize' (Nat1Box n) (MultivariateTF (Concat (* -> * -> *) xs) prob), ~ * (MarginalizeOut' (Nat1Box n) (MultivariateTF (Concat (* -> * -> *) xs) prob)) (MultivariateTF (Concat (* -> * -> *) (Replace2D (* -> * -> *) n xs (Ignore' (Index * (HList2TypeList * (GetHList dp)) n)))) prob)) => Marginalize' (Nat1Box n) (Multivariate dp xs prob) | |
Eq (MultivariateTF (Concat (* -> * -> *) xs) prob) => Eq (Multivariate dp xs prob) | |
Ord (MultivariateTF (Concat (* -> * -> *) xs) prob) => Ord (Multivariate dp xs prob) | |
Read (MultivariateTF (Concat (* -> * -> *) xs) prob) => Read (Multivariate dp xs prob) | |
Show (MultivariateTF (Concat (* -> * -> *) xs) prob) => Show (Multivariate dp xs prob) | |
Monoid (MultivariateTF (Concat (* -> * -> *) xs) prob) => Monoid (Multivariate dp xs prob) | |
(HomTrainer (MultivariateTF (Concat (* -> * -> *) xs) prob), Trainable dp, ~ * (GetHList dp) (Datapoint (MultivariateTF (Concat (* -> * -> *) xs) prob))) => HomTrainer (Multivariate dp xs prob) | |
Group (MultivariateTF (Concat (* -> * -> *) xs) prob) => Group (Multivariate dp xs prob) | |
NFData (MultivariateTF (Concat (* -> * -> *) xs) prob) => NFData (Multivariate dp xs prob) | |
(PDF (MultivariateTF (Concat (* -> * -> *) xs) prob), ~ * (Probability (MultivariateTF (Concat (* -> * -> *) xs) prob)) prob, ~ * (Datapoint (MultivariateTF (Concat (* -> * -> *) xs) prob)) (GetHList dp), Trainable dp, HomTrainer (Multivariate dp xs prob)) => PDF (Multivariate dp xs prob) | |
Probabilistic (Multivariate dp xs prob) | |
(MultivariateLabels datapoint, SingI Nat (Length * labelL), MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (MultiContainer [*] dist labelL) ys) xs) prob) | |
(MultivariateLabels datapoint, MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (Container k dist label) ys) xs) prob) | |
(MultivariateLabels datapoint, MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (CatContainer label) ys) xs) prob) | |
(MultivariateLabels datapoint, MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (Ignore' label) ys) xs) prob) | |
(MultivariateLabels datapoint, MarkovNetwork (Multivariate datapoint xs prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ([] (* -> * -> *)) xs) prob) | |
MultivariateLabels datapoint => MarkovNetwork (Multivariate datapoint ([] [* -> * -> *]) prob) |
Type functions
type family MultiCategorical xs :: [* -> * -> *]Source
type family Independent dist sampleL :: [* -> * -> *]Source