diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-27 17:25:58 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-27 17:25:58 +0200 |
| commit | 17dd9271a64ff47abb551179a6ab61dff1f9ed6f (patch) | |
| tree | 3612128cf38072cf9306e9e1beed5b42e57f6e27 /src/Data/Array/Nested.hs | |
| parent | 9e5945120bbcfeff15ee7356398e06ab5ba25561 (diff) | |
Re-add KnownNatList for convenience with transpose functions
Diffstat (limited to 'src/Data/Array/Nested.hs')
| -rw-r--r-- | src/Data/Array/Nested.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs index 968ea18..6f9a56d 100644 --- a/src/Data/Array/Nested.hs +++ b/src/Data/Array/Nested.hs @@ -60,6 +60,7 @@ module Data.Array.Nested ( SNat, pattern SNat, HList, Permutation, + KnownNatList(..), listSToList, shSToList, ) where |