The current type of liftDF is rather unsatisfactory: Conceptually the "valid" and "data" signals are one unit, yet this is not reflected in their types. Moreover, there is little typing together the data and backpressure signals. Here I have added liftDF' which has the type I would have expected.
The current type of
liftDFis rather unsatisfactory: Conceptually the "valid" and "data" signals are one unit, yet this is not reflected in their types. Moreover, there is little typing together the data and backpressure signals. Here I have addedliftDF'which has the type I would have expected.