Type class supporting multiple record field removal.
Type class supporting multiple record field removal.
Type class aggregating LabelledGeneric
, record.Keys
and hlist.ToList
to extract the name of all fields of a product.
Type class witnessing that a set of symbols are fields of a product.
Type class witnessing that a set of symbols are fields of a product.
Aggregates ToList
, LabelledGeneric
and SelectAll
to extract field names.
Type class witnessing that a type a tuple, up to Tuple64.
Type class supporting conversion of this HList
to a tuple, up to Tuple64.