From ca7ec69a5d1ebd140cabc347960927fda57b2312 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 24 Nov 2025 23:05:35 +0100 Subject: Export PermR from top-level --- src/Data/Array/Nested.hs | 2 +- src/Data/Array/Nested/Trace.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Data/Array') 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, -- cgit v1.2.3-70-g09d2