diff options
| author | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-10 13:52:29 +0200 |
|---|---|---|
| committer | Mikolaj Konarski <mikolaj.konarski@funktory.com> | 2026-04-10 13:52:29 +0200 |
| commit | 00df247825d2d6012a91c80c46c4f556eff824a4 (patch) | |
| tree | 3c0303f83a4f75132319762f9836b0ddbd5146a4 /src/Data/Array/Nested/Permutation.hs | |
| parent | 2ebdf572afe1c6b94b862777548efd6e706f9a96 (diff) | |
Improve haddocs following the Tom's guidancemvecsReplicate
Diffstat (limited to 'src/Data/Array/Nested/Permutation.hs')
| -rw-r--r-- | src/Data/Array/Nested/Permutation.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Data/Array/Nested/Permutation.hs b/src/Data/Array/Nested/Permutation.hs index 19d81f0..85fbd89 100644 --- a/src/Data/Array/Nested/Permutation.hs +++ b/src/Data/Array/Nested/Permutation.hs @@ -313,7 +313,7 @@ permId n = go SZ else gcastWith (unsafeCoerceRefl :: (l :~: k : anything)) $ k `PCons` go (SS k) --- Note that the second argument is not a valid permutation. +-- | Note that the second argument is not a valid permutation. permAppend :: Perm l -> Perm l2 -> Perm (l ++ l2) permAppend PNil l2 = l2 permAppend (n `PCons` rest) l2 = n `PCons` permAppend rest l2 |