diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-13 19:58:12 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-13 19:58:12 +0200 |
| commit | bda0d3e9c1752d35488665ec19d39904f0dc4b49 (patch) | |
| tree | 9c7035ccfe18a45a789060371606cad045603618 /src/Data/Array/Nested/Internal/Shape.hs | |
| parent | 0c993d875a7cb9bace8aea1ef6def200de6b7d51 (diff) | |
Revert some stylistic changes
https://x.com/comerijn/status/1257804634833420292
Diffstat (limited to 'src/Data/Array/Nested/Internal/Shape.hs')
| -rw-r--r-- | src/Data/Array/Nested/Internal/Shape.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Data/Array/Nested/Internal/Shape.hs b/src/Data/Array/Nested/Internal/Shape.hs index c877412..1770e38 100644 --- a/src/Data/Array/Nested/Internal/Shape.hs +++ b/src/Data/Array/Nested/Internal/Shape.hs @@ -26,7 +26,7 @@ {-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-} module Data.Array.Nested.Internal.Shape where -import Control.DeepSeq (NFData (..)) +import Control.DeepSeq (NFData(..)) import Data.Array.Mixed.Types import Data.Array.Shape qualified as O import Data.Coerce (coerce) @@ -34,7 +34,7 @@ import Data.Foldable qualified as Foldable import Data.Functor.Const import Data.Functor.Product qualified as Fun import Data.Kind (Constraint, Type) -import Data.Monoid (Sum (..)) +import Data.Monoid (Sum(..)) import Data.Proxy import Data.Type.Equality import GHC.Exts (withDict) @@ -686,7 +686,7 @@ instance KnownShS '[] where knownShS = ZSS instance (KnownNat n, KnownShS sh) => KnownShS (n : sh) where knownShS = natSing :$$ knownShS withKnownShS :: forall sh r. ShS sh -> (KnownShS sh => r) -> r -withKnownShS = withDict @(KnownShS sh) +withKnownShS k = withDict @(KnownShS sh) k shsKnownShS :: ShS sh -> Dict KnownShS sh shsKnownShS ZSS = Dict |