package
sst
Type Members
-
type
SST[J, A] = StructuralType[J, slamdata.Predef.Option[TypeStat[A]]]
-
type
SSTF[J, A, B] = EnvT[slamdata.Predef.Option[TypeStat[A]], [β$0$]TypeF[J, β$0$], B]
-
final
case class
StructuralType[L, V](toCofree: Cofree[[β$1$]TypeF[L, β$1$], V]) extends AnyVal with Product with Serializable
-
-
-
sealed abstract
class
TypeStat[A] extends AnyRef
-
sealed abstract
class
TypeStatInstances extends AnyRef
Value Members
-
-
object
SST extends Serializable
-
-
-
Inherited from AnyRef
Inherited from Any