diff options
| author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-21 21:47:34 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-21 21:47:36 +0200 |
| commit | 676ec5132670f6fd94302f9487ee6366d12ba70f (patch) | |
| tree | 5954d9c05b8e9ba667ac31e5e43f9760cc332afe /src/Data/INat.hs | |
| parent | 2c3d1e4884eee109ca72286244eef4b357d586b8 (diff) | |
Export more of the sized lists, including the newtype constructors
Maybe the newtype constructors can be hidden in the future and if not,
maybe they should only be available from an internal module.
Diffstat (limited to 'src/Data/INat.hs')
0 files changed, 0 insertions, 0 deletions