diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 21:27:55 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 21:27:55 +0200 |
commit | 3286a65fe6e4735aaadef5addecbe3c3f7ed3468 (patch) | |
tree | fb8787a3bc2b2740733a110c21c580d0c56b9381 /src/Data/Array/Mixed | |
parent | ac061cf450b1c8e153de06f7b12256914c496788 (diff) |
Rename *ToSNat to *LengthSNat
For consistency with existing functions
Diffstat (limited to 'src/Data/Array/Mixed')
-rw-r--r-- | src/Data/Array/Mixed/Types.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Data/Array/Mixed/Types.hs b/src/Data/Array/Mixed/Types.hs index 35e6fd3..b8f0824 100644 --- a/src/Data/Array/Mixed/Types.hs +++ b/src/Data/Array/Mixed/Types.hs @@ -20,6 +20,7 @@ module Data.Array.Mixed.Types ( pattern SZ, pattern SS, fromSNat', sameNat', snatPlus, snatMul, + snatSucc, -- * Type-level lists type (++), |