diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-30 22:47:52 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-30 22:47:52 +0200 |
| commit | 8b59d8ef4ff97936f2a753d1ce345e0404c26b2b (patch) | |
| tree | 947f75cb43982fbdb551dc329f036b0591f3c2b2 /src/Data/Array/Mixed/Permutation.hs | |
| parent | f0752d67cd188f438280e1f0c692dc1f5f14a190 (diff) | |
Clearer module purposes
Thanks Mikolaj for discussion
Diffstat (limited to 'src/Data/Array/Mixed/Permutation.hs')
| -rw-r--r-- | src/Data/Array/Mixed/Permutation.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Data/Array/Mixed/Permutation.hs b/src/Data/Array/Mixed/Permutation.hs index 83a5ee4..6ff3bdc 100644 --- a/src/Data/Array/Mixed/Permutation.hs +++ b/src/Data/Array/Mixed/Permutation.hs @@ -61,6 +61,11 @@ permToList (x `PCons` l) = TN.fromSNat x : permToList l permToList' :: Perm list -> [Int] permToList' = map fromIntegral . permToList +-- | Utility class for generating permutations from type class information. +class KnownPerm l where makePerm :: Perm l +instance KnownPerm '[] where makePerm = PNil +instance (KnownNat n, KnownPerm l) => KnownPerm (n : l) where makePerm = natSing `PCons` makePerm + -- ** Applying permutations |