aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2024-06-03 21:27:55 +0200
committerTom Smeding <tom@tomsmeding.com>2024-06-03 21:27:55 +0200
commit3286a65fe6e4735aaadef5addecbe3c3f7ed3468 (patch)
treefb8787a3bc2b2740733a110c21c580d0c56b9381 /src/Data/Array/Mixed
parentac061cf450b1c8e153de06f7b12256914c496788 (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.hs1
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 (++),