2 ms·
DataKinds lets you use NullPointer and all the various NotNullPointer values as types, but they are uninhabited. It doesn't (obviously) let you restrict a para
by dllthomas 10y ago
DataKinds lets you use NullPointer and all the various NotNullPointer values as types, but they are uninhabited. It doesn't (obviously) let you restrict a parameter to values using a particular constructor of a sum type.
- gamegoblin 10y agoJust looked it up and it was GADTs I was thinking of that would allow me to do something like that.
- dllthomas 10y agoAh, yes.