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
SNattype. - 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 |