Safe Haskell | None |
---|
Documentation
data Container dist sample basedist prob Source
Marginalize' (Nat1Box Zero) (Container * dist sample basedist prob) | |
Marginalize' (Nat1Box n) basedist => Marginalize' (Nat1Box (Succ n)) (Container k dist sample basedist prob) | |
(MultivariateLabels datapoint, MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (Container k dist label) ys) xs) prob) | |
(Eq basedist, Eq (dist prob)) => Eq (Container k dist sample basedist prob) | |
(Ord basedist, Ord (dist prob)) => Ord (Container k dist sample basedist prob) | |
(Read basedist, Read (dist prob)) => Read (Container k dist sample basedist prob) | |
(Show basedist, Show (dist prob)) => Show (Container k dist sample basedist prob) | |
(Monoid (dist prob), Monoid basedist) => Monoid (Container k dist sample basedist prob) | |
(NumDP (dist prob), HasRing basedist, ~ * (Ring basedist) (Ring (dist prob))) => NumDP (Container k dist sample basedist prob) | |
(HomTrainer (dist prob), HomTrainer basedist, ~ * (Datapoint basedist) (HList ys)) => HomTrainer (Container k dist sample basedist prob) | |
(HasRing (dist prob), HasRing basedist, ~ * (Ring (dist prob)) (Ring basedist)) => HasRing (Container k dist sample basedist prob) | |
(Module (dist prob), Module basedist, ~ * (Ring (dist prob)) (Ring basedist)) => Module (Container k dist sample basedist prob) | |
(Abelian (dist prob), Abelian basedist) => Abelian (Container k dist sample basedist prob) | |
(Group (dist prob), Group basedist) => Group (Container k dist sample basedist prob) | |
(NFData (dist prob), NFData basedist) => NFData (Container k dist sample basedist prob) | |
(PDF (dist prob), PDF basedist, ~ * (Probability (dist prob)) prob, ~ * (Probability basedist) prob, Probabilistic (Container k dist sample basedist prob), ~ * (Datapoint basedist) (HList ys), ~ * (Datapoint (dist prob)) y, ~ * (Datapoint (Container k dist sample basedist prob)) (HList (: * y ys)), Num prob) => PDF (Container k dist sample basedist prob) | |
Probabilistic (Container k dist sample basedist prob) |
data MultiContainer dist sample basedist prob Source
(MultivariateLabels datapoint, SingI Nat (Length * labelL), MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (MultiContainer [*] dist labelL) ys) xs) prob) | |
(Eq basedist, Eq (dist prob)) => Eq (MultiContainer k dist sample basedist prob) | |
(Ord basedist, Ord (dist prob)) => Ord (MultiContainer k dist sample basedist prob) | |
(Read basedist, Read (dist prob)) => Read (MultiContainer k dist sample basedist prob) | |
(Show basedist, Show (dist prob)) => Show (MultiContainer k dist sample basedist prob) | |
(Monoid basedist, Monoid (dist prob)) => Monoid (MultiContainer k dist sample basedist prob) | |
(NumDP (dist prob), HasRing basedist, ~ * (Ring basedist) (Ring (dist prob))) => NumDP (MultiContainer k dist sample basedist prob) | |
(HomTrainer (dist prob), HomTrainer basedist, ~ * (Datapoint (dist prob)) (HList zs), ~ * (Datapoint basedist) (HList ys), HTake1 (Nat1Box (Length1 * zs)) (HList (++ * zs ys)) (HList zs), HDrop1 (Nat1Box (Length1 * zs)) (HList (++ * zs ys)) (HList ys)) => HomTrainer (MultiContainer k dist sample basedist prob) | |
(HasRing (dist prob), HasRing basedist, ~ * (Ring (dist prob)) (Ring basedist)) => HasRing (MultiContainer k dist sample basedist prob) | |
(Module (dist prob), Module basedist, ~ * (Ring (dist prob)) (Ring basedist)) => Module (MultiContainer k dist sample basedist prob) | |
(Abelian basedist, Abelian (dist prob)) => Abelian (MultiContainer k dist sample basedist prob) | |
(Group basedist, Group (dist prob)) => Group (MultiContainer k dist sample basedist prob) | |
(NFData basedist, NFData (dist prob)) => NFData (MultiContainer k dist sample basedist prob) | |
(PDF (dist prob), PDF basedist, ~ * prob (Probability (dist prob)), ~ * prob (Probability basedist), Num prob, ~ * (Datapoint (dist prob)) (HList dpL), ~ * (Datapoint basedist) (HList basedpL), HTake1 (Nat1Box (Length1 * dpL)) (HList (++ * dpL basedpL)) (HList dpL), HDrop1 (Nat1Box (Length1 * dpL)) (HList (++ * dpL basedpL)) (HList basedpL)) => PDF (MultiContainer k dist sample basedist prob) | |
Probabilistic (MultiContainer k dist sample basedist prob) |