Marginalize' (Nat1Box n) basedist => Marginalize' (Nat1Box (Succ n)) (Ignore' label basedist prob) | |

Eq basedist => Eq (Ignore' label basedist prob) | |

Ord basedist => Ord (Ignore' label basedist prob) | |

Read basedist => Read (Ignore' label basedist prob) | |

Show basedist => Show (Ignore' label basedist prob) | |

Monoid basedist => Monoid (Ignore' label basedist prob) | |

NumDP basedist => NumDP (Ignore' label basedist prob) | |

(HomTrainer basedist, ~ * (Datapoint basedist) (HList ys)) => HomTrainer (Ignore' label basedist prob) | |

HasRing basedist => HasRing (Ignore' label basedist prob) | |

Module basedist => Module (Ignore' label basedist prob) | |

Abelian basedist => Abelian (Ignore' label basedist prob) | |

Group basedist => Group (Ignore' label basedist prob) | |

NFData basedist => NFData (Ignore' label basedist prob) | |

(~ * (Probability basedist) prob, HomTrainer (Ignore' label basedist prob), ~ * (Datapoint (Ignore' label basedist prob)) (HList dpL), ~ * (Datapoint basedist) (HList basedpL), PDF basedist) => PDF (Ignore' label basedist prob) | |

Probabilistic (Ignore' label basedist prob) | |

(MultivariateLabels datapoint, MarkovNetwork (Multivariate datapoint (: [* -> * -> *] ys xs) prob)) => MarkovNetwork (Multivariate datapoint (: [* -> * -> *] (: (* -> * -> *) (Ignore' label) ys) xs) prob) | |