HKDSumGeneric

A wrapper for Index where we want wildcards of it.

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

Returns the name of a field given the type of the field.

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.

Returns the index of a value. Because of soundness, this method can not be used if X = A. In that case, use indexOfA instead.

Same as indexOfA but also essentially cats the value to the unknown type, allowing further operations on it that requires that it is a subtype of A.

Given a index, return the name of the index.

Convert a value of the higher kinded representation to A. Will only return Some if only one of the fields is Some and the rest is None.

Same as indexOf but also works for values of type A.

Convert a value of A to the higher kinded representation. It will be Some in only one field, corresponding to the subtype passed in, and None in all the others.

Widen the higher kinded representation to a Const type of the top 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.