sst

Type Members

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

   

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

   

   Statistical Structural Type

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

4. sealed abstract class StructuralTypeInstances extends StructuralTypeInstances0

   

5. sealed abstract class StructuralTypeInstances0 extends AnyRef

   

6. sealed abstract class TypeStat[A] extends AnyRef

   

7. sealed abstract class TypeStatInstances extends AnyRef