trait PartitionLaws[F[_], R, Model, Matrix, Ppv, NodeClv, TipClv](val partition: Aux[F, R, Model, Matrix, Ppv, NodeClv, TipClv])(using val F: Monad[F], R: Field[R])
- Companion:
- object
- Source:
- PartitionLaws.scala
class Object
trait Matchable
class Any
Type members
Types
Value members
Concrete methods
def backcastProductCommutativity(leftClv: F[Clv], leftMatrix: F[Matrix], rightClv: F[Clv], rightMatrix: F[Matrix]): IsEq[F[Clv]]
- Source:
- PartitionLaws.scala
def backcastProductConsistency(leftClv: F[Clv], leftMatrix: F[Matrix], rightClv: F[Clv], rightMatrix: F[Matrix]): IsEq[F[Clv]]
- Source:
- PartitionLaws.scala
def backcastScaleInvariance(clv: F[Clv], freqs: IndexedSeq[R], params: IndexedSeq[R], alpha: R, x: R, y: R): IsEq[F[Clv]]
- Source:
- PartitionLaws.scala
def forecastScaleInvariance(ppv: F[Ppv], freqs: IndexedSeq[R], params: IndexedSeq[R], alpha: R, x: R, y: R): IsEq[F[Ppv]]
- Source:
- PartitionLaws.scala
def nodeLikelihoodConsistency(model: F[Model], ppv: F[Ppv], parentHeight: R, leftClv: F[Clv], leftHeight: R, rightClv: F[Clv], rightHeight: R, t: R): IsEq[F[R]]
- Source:
- PartitionLaws.scala