Expose the SNat type and the natSing method
Currently, neither the SNat
type nor the natSing
method of KnownNat
are exported from GHC.TypeLits
. This is weird and awkward. There's no apparent reason not to expose the SNat
type, although it may make sense not to expose its definition. It also could possibly make sense not to expose the fact that natSing
is a method of KnownNat
, but there's no apparent reason not to export a function with its type. Can we just do those?
- Export the
SNat
type. - Export a function with the type of
natSing
.
Trac metadata
Trac field | Value |
---|---|
Version | 8.2.2 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Core Libraries |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |