Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
trait ExprHKDProductGeneric[A]trait ExprHKDSumGeneric[A]
Members list
Type members
Inherited classlikes
A wrapper for Index where we want wildcards of it.
A wrapper for Index where we want wildcards of it.
Attributes
- Inherited from:
- GenHKDGeneric
- Supertypes
Inherited types
Attributes
- Inherited from:
- GenHKDGeneric
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.
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.
Attributes
- Inherited from:
- GenHKDGeneric
A tuple representation of A.
The name of the A type.
Value members
Abstract methods
Inherited methods
Convert a value of the higher kinded representation to Cat[A]
.
Convert a value of the higher kinded representation to Cat[A]
.
Attributes
- Inherited from:
- GenHKDGeneric
Convert a value of Cat[A]
to the higher kinded representation.
Convert a value of Cat[A]
to the higher kinded representation.
Attributes
- Inherited from:
- GenHKDGeneric
Converts Gen to the scala tuple representation.
Converts Gen to the tuple representation.
Given a index, return the name of the index.
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.
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.
Attributes
- Inherited from:
- GenHKDGeneric
Converts the scala tuple representation to Gen.
Validates a string as a name if it matches the name of a field.
Validates a string as a name if it matches the name of a field.
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Converts the tuple representation to Gen.
The name of the A type.
Upcast an index to its bound.
Givens
Inherited givens
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Extensions
Inherited extensions
Attributes
- Inherited from:
- GenHKDGeneric
Exports
Inherited defined exports
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Attributes
- Inherited from:
- GenHKDGeneric
Access the indices or the representation of this type.
Helper function that calls tabulateK with Const.
A higher kinded equivalent of cats.Representable.tabulate.
A higher kinded equivalent of cats.Applicative.unit.