diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 11:54:26 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-02 11:54:26 +0200 |
| commit | 086145dfee33e6e198abc148a6375ce929b2c88f (patch) | |
| tree | 1837166ce6bdcff1554df29bceb34e4ec5796d19 /src/Data/Array/Nested/Convert.hs | |
| parent | 6e48137f2b7d9613f85599f13dbaa949045f96a6 (diff) | |
Audit remaining uses of KnownNat and SNat patterns
Diffstat (limited to 'src/Data/Array/Nested/Convert.hs')
| -rw-r--r-- | src/Data/Array/Nested/Convert.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Convert.hs b/src/Data/Array/Nested/Convert.hs index 408bf8a..313e9de 100644 --- a/src/Data/Array/Nested/Convert.hs +++ b/src/Data/Array/Nested/Convert.hs @@ -103,7 +103,7 @@ withShsFromShR ZSR k = k ZSS withShsFromShR (n :$: sh) k = withShsFromShR sh $ \sh' -> withSomeSNat (fromIntegral @Int @Integer n) $ \case - Just sn@SNat -> k (sn :$$ sh') + Just sn -> k (sn :$$ sh') Nothing -> error $ "withShsFromShR: negative dimension size (" ++ show n ++ ")" shsFromShX :: IShX (MapJust sh) -> ShS sh @@ -113,13 +113,13 @@ shsFromShX = coerce -- @sh'@ is @MapJust@ of something, use 'shsFromShX' instead. withShsFromShX :: IShX sh' -> (forall sh. Rank sh ~ Rank sh' => ShS sh -> r) -> r withShsFromShX ZSX k = k ZSS -withShsFromShX (SKnown sn@SNat :$% sh) k = +withShsFromShX (SKnown sn :$% sh) k = withShsFromShX sh $ \sh' -> k (sn :$$ sh') withShsFromShX (SUnknown n :$% sh) k = withShsFromShX sh $ \sh' -> withSomeSNat (fromIntegral @Int @Integer n) $ \case - Just sn@SNat -> k (sn :$$ sh') + Just sn -> k (sn :$$ sh') Nothing -> error $ "withShsFromShX: negative SUnknown dimension size (" ++ show n ++ ")" -- If it ever matters for performance, this is unsafeCoercible. |