gs-tapir/org.hungerford.generic.schema.tapir/IsSingletonSubtype

IsSingletonSubtype

object IsSingletonSubtype
Companion
class
class Object
trait Matchable
class Any

Givens

Givens

given generic[T, ST <: T & Singleton, D, DN, DV, N <: TypeName, STN <: TypeName, IsSubtype <: Aux[T, ST, D, DN, DV, N, SingletonShape[ST, STN]]]: IsSingletonSubtype[IsSubtype]