From 3286a65fe6e4735aaadef5addecbe3c3f7ed3468 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 3 Jun 2024 21:27:55 +0200 Subject: Rename *ToSNat to *LengthSNat For consistency with existing functions --- src/Data/Array/Mixed/Types.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Data/Array/Mixed') 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 (++), -- cgit v1.2.3-70-g09d2