diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2022-09-26 07:46:10 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2022-10-06 07:45:46 -0400 |
| commit | 532de36870ed9e880d5f146a478453701e9db25d (patch) | |
| tree | 4b9a08269df30acf561611df4b7d4d0df48318ce /README.md | |
| parent | 8a31d02e0b76ea0d279f5c6d74239e6aa45ef631 (diff) | |
| download | haskell-532de36870ed9e880d5f146a478453701e9db25d.tar.gz | |
Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85
This implements this Core Libraries Proposal:
https://github.com/haskell/core-libraries-committee/issues/85
In particular, it:
1. Exposes the `symbolSing` method of `KnownSymbol`,
2. Exports the abstract `SSymbol` type used in `symbolSing`, and
3. Defines an API for interacting with `SSymbol`.
This also makes corresponding changes for `natSing`/`KnownNat`/`SNat` and
`charSing`/`KnownChar`/`SChar`. This fixes #15183 and addresses part (2)
of #21568.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions