From ca7ec69a5d1ebd140cabc347960927fda57b2312 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 24 Nov 2025 23:05:35 +0100
Subject: Export PermR from top-level

---
 src/Data/Array/Nested/Trace.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Data/Array/Nested')

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