Portability | portable |
---|---|
Stability | experimental |
Maintainer | Reiner Pope <reiner.pope@gmail.com> |
Type-level lists. These lists only describe the types, but contain no data. That is, they are phantom types.
Portability | portable |
---|---|
Stability | experimental |
Maintainer | Reiner Pope <reiner.pope@gmail.com> |
Type-level lists. These lists only describe the types, but contain no data. That is, they are phantom types.