diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-11-24 23:05:49 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-11-24 23:09:00 +0100 |
| commit | 9841b43701bc5f6b1682285759994bac0a03c93c (patch) | |
| tree | 4ae1642da17a2aaf5c7723140450fd59fcd9c73a /src/Data/Array/Nested/Trace/TH.hs | |
| parent | ca7ec69a5d1ebd140cabc347960927fda57b2312 (diff) | |
Diffstat (limited to 'src/Data/Array/Nested/Trace/TH.hs')
| -rw-r--r-- | src/Data/Array/Nested/Trace/TH.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Trace/TH.hs b/src/Data/Array/Nested/Trace/TH.hs index 6fded46..644b4bd 100644 --- a/src/Data/Array/Nested/Trace/TH.hs +++ b/src/Data/Array/Nested/Trace/TH.hs @@ -37,8 +37,11 @@ recognise (ConT name `AppT` sht `AppT` ty) | name == ''Mixed = Just (RMixed sht (recogniseElt ty)) | name == ''Conversion = Just (RShowable ty) recognise ty@(ConT name `AppT` _) - | name `elem` [''IShR, ''IIxR, ''ShS, ''IIxS, ''SNat] = + | name `elem` [''IShR, ''IIxR, ''ShS, ''IIxS, ''SNat, ''Perm] = Just (RShowable ty) +recognise ty@(ConT name) + | name == ''PermR = Just (RShowable ty) +recognise (ListT `AppT` ty) = Just (ROther ty) recognise _ = Nothing recogniseElt :: Type -> Arg |