package
sst
Type Members
-
trait
ExtractPrimary[F[_]] extends Serializable
-
sealed abstract
class
Population extends AnyRef
-
-
type
PrimaryTag = \/[PrimaryType, TypeTag]
-
-
type
SSTF[J, A, B] = EnvT[TypeStat[A], [β$3$]Coproduct[[β$2$]TypeF[J, β$2$], Tagged, β$3$], B]
-
trait
StructuralMerge[F[_]] extends Serializable
-
final
case class
StructuralType[L, V](toCofree: Cofree[[β$1$]Coproduct[[β$2$]TypeF[L, β$2$], Tagged, β$1$], V]) extends AnyVal with Product with Serializable
-
-
-
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
Value Members
-
-
-
val
Population: TagOf[Population]
-
object
SST extends Serializable
-
-
-
object
Tagged extends Serializable
-
-
-
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
Inherited from AnyRef
Inherited from Any