sst

Linear Supertypes

Ordering

Inherited

Visibility

trait ExtractPrimary[F[_]] extends Serializable
Defines how to extract the PrimaryTag from F.
sealed abstract class Population extends AnyRef
Type tag indicating the tagged value represents an entire population as opposed to a sample of a population.
type PopulationSST[J, A] = StructuralType[J, @@[TypeStat[A], Population]]
type PrimaryTag = \/[PrimaryType, TypeTag]
type SST[J, A] = StructuralType[J, TypeStat[A]]
type SSTF[J, A, B] = EnvT[TypeStat[A], [β$3$]Coproduct[[β$2$]TypeF[J, β$2$], Tagged, β$3$], B]
Statistical Structural Type
trait StructuralMerge[F[_]] extends Serializable
Typeclass defining how to structurally merge a type, where possible.
final case class StructuralType[L, V](toCofree: Cofree[[β$1$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$1$], V]) extends AnyVal with Product with Serializable
A measure annotated Type focused on structure over semantics.
A measure annotated Type focused on structure over semantics.
L
the type of literals
V
the measure the type is annotated with
sealed abstract class StructuralTypeInstances extends StructuralTypeInstances0
sealed abstract class StructuralTypeInstances0 extends AnyRef
final case class Tagged[A](tag: TypeTag, value: A) extends Product with Serializable
sealed abstract class TypeStat[A] extends AnyRef
sealed abstract class TypeStatInstances extends AnyRef

val Population: TagOf[Population]
implicit def populationTypeStatEncodeEJson[A](implicit arg0: EncodeEJson[A], arg1: Equal[A], arg2: Field[A], arg3: NRoot[A]): EncodeEJson[@@[TypeStat[A], Population]]
def primaryTagOf[J](ejs: J)(implicit J: Aux[J, EJson]): PrimaryTag
Returns the PrimaryTag for the given EJson value.
object EncodedBinarySize
object ExtractPrimary extends Serializable
object SST
object StructuralMerge extends Serializable
object StructuralType extends StructuralTypeInstances with Serializable
object Tagged extends Serializable
object TypeStat extends TypeStatInstances
object compression

Packages