sst

Type Members

1. sealed abstract class Population extends AnyRef

   

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

2. type PopulationSST[J, A] = StructuralType[J, slamdata.Predef.Option[@@[TypeStat[A], Population]]]

   

3. type SST[J, A] = StructuralType[J, slamdata.Predef.Option[TypeStat[A]]]

   

4. type SSTF[J, A, B] = EnvT[slamdata.Predef.Option[TypeStat[A]], [β$0$]TypeF[J, β$0$], B]

   

   Statistical Structural Type

5. final case class StructuralType[L, V](toCofree: Cofree[[β$1$]TypeF[L, β$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

6. sealed abstract class StructuralTypeInstances extends StructuralTypeInstances0

   

7. sealed abstract class StructuralTypeInstances0 extends AnyRef

   

8. sealed abstract class TypeStat[A] extends AnyRef

   

9. sealed abstract class TypeStatInstances extends AnyRef