diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-11-24 23:05:35 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-11-24 23:05:35 +0100 |
| commit | ca7ec69a5d1ebd140cabc347960927fda57b2312 (patch) | |
| tree | e53e059826dffac2edbf09c638ed2383c557e2e1 /src | |
| parent | f20bb29a416a9fe0df49053ca07a4b08e9bcd622 (diff) | |
Export PermR from top-level
Diffstat (limited to 'src')
| -rw-r--r-- | src/Data/Array/Nested.hs | 2 | ||||
| -rw-r--r-- | src/Data/Array/Nested/Trace.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Data/Array/Nested.hs b/src/Data/Array/Nested.hs index e849673..0bb6003 100644 --- a/src/Data/Array/Nested.hs +++ b/src/Data/Array/Nested.hs @@ -102,7 +102,7 @@ module Data.Array.Nested ( Storable, SNat, pattern SNat, pattern SZ, pattern SS, - Perm(..), + Perm(..), PermR, IsPermutation, KnownPerm(..), NumElt, IntElt, FloatElt, diff --git a/src/Data/Array/Nested/Trace.hs b/src/Data/Array/Nested/Trace.hs index f89d3e4..a699e25 100644 --- a/src/Data/Array/Nested/Trace.hs +++ b/src/Data/Array/Nested/Trace.hs @@ -54,7 +54,7 @@ module Data.Array.Nested.Trace ( Storable, SNat, pattern SNat, pattern SZ, pattern SS, - Perm(..), + Perm(..), PermR, IsPermutation, KnownPerm(..), NumElt, IntElt, FloatElt, |