cheshire-likelihood-laws/cheshire.likelihood.laws/PartitionLaws

PartitionLaws

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
class Object
trait Matchable
class Any

Type members

Types

type Clv = NodeClv | TipClv

Value members

Concrete methods

def backcastCommutativity(model: F[Model], clv: F[Clv], s: R, t: R): IsEq[F[Clv]]
def backcastCompatibility(model: F[Model], clv: F[Clv], s: R, t: R): IsEq[F[Clv]]
def backcastIdentity(model: F[Model], clv: F[Clv]): IsEq[F[Clv]]
def backcastProductCommutativity(leftClv: F[Clv], leftMatrix: F[Matrix], rightClv: F[Clv], rightMatrix: F[Matrix]): IsEq[F[Clv]]
def backcastProductConsistency(leftClv: F[Clv], leftMatrix: F[Matrix], rightClv: F[Clv], rightMatrix: F[Matrix]): IsEq[F[Clv]]
def backcastScaleInvariance(clv: F[Clv], freqs: IndexedSeq[R], params: IndexedSeq[R], alpha: R, x: R, y: R): IsEq[F[Clv]]
def clvProductLaws: CommutativeSemigroupLaws[F[Clv]]
def edgeLikelihoodConsistency(model: F[Model], ppv: F[Ppv], clv: F[Clv], t: R): IsEq[F[R]]
def edgeLikelihoodDerivatives(model: F[Model], ppv: F[Ppv], clv: F[Clv], t: R): IsEq[F[LikelihoodEvaluation[R]]]
def equilibriumIdentity(model: F[Model], t: R): IsEq[F[Ppv]]
def forecastBackcastConsistency(model: F[Model], ppv: F[Ppv], clv: F[Clv], t: R): IsEq[F[R]]
def forecastCommutativity(model: F[Model], ppv: F[Ppv], s: R, t: R): IsEq[F[Ppv]]
def forecastCompatibility(model: F[Model], ppv: F[Ppv], s: R, t: R): IsEq[F[Ppv]]
def forecastIdentity(model: F[Model], ppv: F[Ppv]): IsEq[F[Ppv]]
def forecastScaleInvariance(ppv: F[Ppv], freqs: IndexedSeq[R], params: IndexedSeq[R], alpha: R, x: R, y: R): IsEq[F[Ppv]]
def meanRate(freqs: IndexedSeq[R], params: IndexedSeq[R], rate: R, alpha: R): IsEq[F[R]]
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]]
def nodeLikelihoodDerivatives(model: F[Model], ppv: F[Ppv], parentHeight: R, leftClv: F[Clv], leftHeight: R, rightClv: F[Clv], rightHeight: R, t: R): IsEq[F[LikelihoodEvaluation[R]]]
def ppvProductCompatibility(ppv: F[Ppv], clv0: F[Clv], clv1: F[Clv]): IsEq[F[Ppv]]
def seedAndIntegrateConsistency(model: F[Model], clv: F[Clv]): IsEq[F[R]]

Concrete fields

val F: Monad[F]
val epsilon: R
val partition: Aux[F, R, Model, Matrix, Ppv, NodeClv, TipClv]

Extensions

Extensions

extension (n: Int)
def *(y: R): R
extension (x: R)
def *(y: R): R
def **(n: Int): R
def +(y: R): R
def -(y: R): R
def /(y: R): R
def unary_-: R