sst

Type Members

1. trait ExtractPrimary[F[_]] extends Serializable

   

   Defines how to extract the PrimaryTag from F.

2. sealed abstract class Population extends AnyRef

   

   Type tag indicating the tagged value represents an entire population as opposed to a sample of a population.

3. type PopulationSST[J, A] = StructuralType[J, @@[TypeStat[A], Population]]

   

4. type PrimaryTag = \/[PrimaryType, TypeTag]

   

5. type SST[J, A] = StructuralType[J, TypeStat[A]]

   

6. type SSTF[J, A, B] = EnvT[TypeStat[A], [β$3$]Coproduct[[β$2$]TypeF[J, β$2$], Tagged, β$3$], B]

   

   Statistical Structural Type

7. trait StructuralMerge[F[_]] extends Serializable

   

   Typeclass defining how to structurally merge a type, where possible.

8. 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

9. sealed abstract class StructuralTypeInstances extends StructuralTypeInstances0

   

10. sealed abstract class StructuralTypeInstances0 extends AnyRef

    

11. final case class Tagged[A](tag: TypeTag, value: A) extends Product with Serializable

    

12. sealed abstract class TypeStat[A] extends AnyRef

    

13. sealed abstract class TypeStatInstances extends AnyRef