Base case for PIndexer
Base case for PIndexer
Harshad Deo
Type of the head of the HList
Type of the tail of the HList
0.1
Induction case for PIndexer
Induction case for PIndexer
Harshad Deo
Typelevel representation of the index
Type of the head of the HList
Type of the tail of the HList
The type of the Before sublist of the factorization of the tail
Type of the element at index 0 (obtained from the factorization of the tail)
Type of the sublist after index 0 (obtained from the factorization of the tail)
0.1
Implements implicit definitions to build the PIndexer typeclass
Author:
Harshad Deo
0.1