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/Data/Array/Nested | |
| parent | f20bb29a416a9fe0df49053ca07a4b08e9bcd622 (diff) | |
Export PermR from top-level
Diffstat (limited to 'src/Data/Array/Nested')
| -rw-r--r-- | src/Data/Array/Nested/Trace.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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, |