PartitionLaws

cheshire.likelihood.laws.PartitionLaws
See thePartitionLaws companion object
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])

Attributes

Companion:
object
Source:
PartitionLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

type Clv = NodeClv | TipClv

Attributes

Source:
PartitionLaws.scala

Value members

Concrete methods

def backcastCommutativity(model: F[Model], clv: F[Clv], s: R, t: R): IsEq[F[Clv]]

Attributes

Source:
PartitionLaws.scala
def backcastCompatibility(model: F[Model], clv: F[Clv], s: R, t: R): IsEq[F[Clv]]

Attributes

Source:
PartitionLaws.scala
def backcastIdentity(model: F[Model], clv: F[Clv]): IsEq[F[Clv]]

Attributes

Source:
PartitionLaws.scala
def backcastProductCommutativity(leftClv: F[Clv], leftMatrix: F[Matrix], rightClv: F[Clv], rightMatrix: F[Matrix]): IsEq[F[Clv]]

Attributes

Source:
PartitionLaws.scala
def backcastProductConsistency(leftClv: F[Clv], leftMatrix: F[Matrix], rightClv: F[Clv], rightMatrix: F[Matrix]): IsEq[F[Clv]]

Attributes

Source:
PartitionLaws.scala
def backcastScaleInvariance(clv: F[Clv], freqs: IndexedSeq[R], params: IndexedSeq[R], alpha: R, x: R, y: R): IsEq[F[Clv]]

Attributes

Source:
PartitionLaws.scala
def edgeLikelihoodConsistency(model: F[Model], ppv: F[Ppv], clv: F[Clv], t: R): IsEq[F[R]]

Attributes

Source:
PartitionLaws.scala
def equilibriumIdentity(model: F[Model], t: R): IsEq[F[Ppv]]

Attributes

Source:
PartitionLaws.scala
def forecastBackcastConsistency(model: F[Model], ppv: F[Ppv], clv: F[Clv], t: R): IsEq[F[R]]

Attributes

Source:
PartitionLaws.scala
def forecastCommutativity(model: F[Model], ppv: F[Ppv], s: R, t: R): IsEq[F[Ppv]]

Attributes

Source:
PartitionLaws.scala
def forecastCompatibility(model: F[Model], ppv: F[Ppv], s: R, t: R): IsEq[F[Ppv]]

Attributes

Source:
PartitionLaws.scala
def forecastIdentity(model: F[Model], ppv: F[Ppv]): IsEq[F[Ppv]]

Attributes

Source:
PartitionLaws.scala
def forecastScaleInvariance(ppv: F[Ppv], freqs: IndexedSeq[R], params: IndexedSeq[R], alpha: R, x: R, y: R): IsEq[F[Ppv]]

Attributes

Source:
PartitionLaws.scala
def meanRate(freqs: IndexedSeq[R], params: IndexedSeq[R], rate: R, alpha: R): IsEq[F[R]]

Attributes

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]]

Attributes

Source:
PartitionLaws.scala
def ppvProductCompatibility(ppv: F[Ppv], clv0: F[Clv], clv1: F[Clv]): IsEq[F[Ppv]]

Attributes

Source:
PartitionLaws.scala
def seedAndIntegrateConsistency(model: F[Model], clv: F[Clv]): IsEq[F[R]]

Attributes

Source:
PartitionLaws.scala

Concrete fields

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

Attributes

Source:
PartitionLaws.scala

Givens

Givens

given F: Monad[F]

Attributes

Source:
PartitionLaws.scala

Extensions

Extensions

extension (n: Int)
def *(y: R): R

Attributes

Source:
PartitionLaws.scala
extension (x: R)
def *(y: R): R

Attributes

Source:
PartitionLaws.scala
def **(n: Int): R

Attributes

Source:
PartitionLaws.scala
def +(y: R): R

Attributes

Source:
PartitionLaws.scala
def -(y: R): R

Attributes

Source:
PartitionLaws.scala
def /(y: R): R

Attributes

Source:
PartitionLaws.scala
def unary_-: R

Attributes

Source:
PartitionLaws.scala