HKDGeneric

sealed trait HKDGeneric[A]

A type somewhat like Mirror.Of allowing manipulating a type as if it was defined as a higher kinded type.

Type parameters:

Companion:

object

class Object

trait Matchable

class Any

Type members

A wrapper for Index where we want wildcards of it.

The top type for the inner type of Index and Gen.

Returns the type of a field given its name.

A representation of A supporting higher kinded types.

The index of the Gen type.

The name of the fields of A type. Field in this case can mean either the children of a sum type, or the fields of a product type.

A tuple representation of A.

The name of the A type.

Converts Gen to the tuple representation.

Returns the index of the field a name corresponds to.

The name of the fields of A type. Field in this case can mean either the children of a sum type, or the fields of a product type.

Validates a string as a name if it matches the name of a field.

Converts the tuple representation to Gen.

The name of the A type.

Upcast an index to its bound.