used by e.g. the rounded package to have rounding mode enumeration at type level
in my code I'm using an enumeration at value level, lots of EmptyDataDecls at type level, and a couple of classes to convert between them to do something similar
rounded probably would need more than DataKinds to work with mhs, so not so urgent from my perspective
used by e.g. the
roundedpackage to have rounding mode enumeration at type levelin my code I'm using an enumeration at value level, lots of EmptyDataDecls at type level, and a couple of classes to convert between them to do something similar
roundedprobably would need more than DataKinds to work with mhs, so not so urgent from my perspective