Convenience aliases for HList :: and List :: allowing them to be used together within match expressions.
Produces a N1
-length HList made of N2
-length HLists filled with elem
.
Produces a HList of length N
filled with elem
.
Allows to specify an HList
type with a syntax similar to Record
and Union
, as follows,
Allows to specify an HList
type with a syntax similar to Record
and Union
, as follows,
type ISB = HList.`Int, String, Boolean`.T
Literal types are allowed, so that the following is valid,
type ABC = HList.`'a, 'b, 'c`.T type TwoTrueStr = HList.`2, true, "str"`.T