- data ListType w a where
- NilListType :: ListType w ()
- ConsListType :: w a -> ListType w b -> ListType w (a, b)
Documentation
a witness type for HList-style lists. Here we use ()
and (,)
for HNil
and HCons
.
The w
parameter is the witness type of the elements.
NilListType :: ListType w () | |
ConsListType :: w a -> ListType w b -> ListType w (a, b) |
SimpleWitness w => SimpleWitness (ListType w) | |
Representative w => Representative (ListType w) | |
Eq1 w => Eq1 (ListType w) | |
Representative w => Is (ListType w) () | |
(Is w a, Is (ListType w) b) => Is (ListType w) (a, b) | |
Eq1 w => Eq (ListType w a) |