nonemptySingleton

given nonemptySingleton[T, H, Tail <: Tuple](using val ev: ExistsFor[IsSingletonSubtype, H *: Tail], val h: Aux[T, H, (List[String], T => Boolean)], val t: Aux[T, Tail, (List[String], T => Boolean)]): TapirCoproductTranslator[T, H *: Tail]

Translate non-empty tuple of only singleton subtypes into a single enum string tapir schema

Type members

Types

type Out = (List[String], T => Boolean)

Value members

Concrete methods

override
def translate(shape: H *: Tail): Out
Definition Classes

Concrete fields

protected
val ev: ExistsFor[IsSingletonSubtype, H *: Tail]
protected
val h: Aux[T, H, (List[String], T => Boolean)]
protected
val t: Aux[T, Tail, (List[String], T => Boolean)]