diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-06-30 00:36:58 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2025-06-30 00:36:58 +0200 |
| commit | 6dbc6037ba7a633318ef81fef02affb78ff8812c (patch) | |
| tree | f0f553a40522a13dd958cb6a834c7c1128c50e38 /src/Data/Array/Nested/Mixed/Shape.hs | |
| parent | 96ec7003f054333692ab18d17659accf6b0fef6f (diff) | |
Apply a small fraction of hlint hints
Diffstat (limited to 'src/Data/Array/Nested/Mixed/Shape.hs')
| -rw-r--r-- | src/Data/Array/Nested/Mixed/Shape.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs index e63277f..852dd5e 100644 --- a/src/Data/Array/Nested/Mixed/Shape.hs +++ b/src/Data/Array/Nested/Mixed/Shape.hs @@ -590,7 +590,7 @@ instance (KnownNat n, KnownShX sh) => KnownShX (Just n : sh) where knownShX = SK instance KnownShX sh => KnownShX (Nothing : sh) where knownShX = SUnknown () :!% knownShX withKnownShX :: forall sh r. StaticShX sh -> (KnownShX sh => r) -> r -withKnownShX k = withDict @(KnownShX sh) k +withKnownShX = withDict @(KnownShX sh) -- * Flattening |