diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-05-28 09:32:15 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-05-28 09:32:29 +0200 |
| commit | 0221ab67e7bfa6297e3b38f25e23da62c824b742 (patch) | |
| tree | adac0a0f9aae25a364264d6664de54cdaa3b24f1 /src/Data | |
| parent | 3802eba5b795dcdbc2b193302dfd8b024c985ea8 (diff) | |
Remove unused cluttering singleton functions
Diffstat (limited to 'src/Data')
| -rw-r--r-- | src/Data/Array/Mixed.hs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/Data/Array/Mixed.hs b/src/Data/Array/Mixed.hs index 3efa6a3..f7fca0f 100644 --- a/src/Data/Array/Mixed.hs +++ b/src/Data/Array/Mixed.hs @@ -764,18 +764,6 @@ ssxIndex p1 p2 = coerce (listxIndex @(SMayNat () SNat) p1 p2) ssxPermutePrefix :: HList SNat is -> StaticShX sh -> StaticShX (PermutePrefix is sh) ssxPermutePrefix = coerce (listxPermutePrefix @(SMayNat () SNat)) -shTakeLen :: forall is sh. HList SNat is -> IShX sh -> IShX (TakeLen is sh) -shTakeLen = coerce (listxTakeLen @(SMayNat Int SNat)) - -shDropLen :: HList SNat is -> IShX sh -> IShX (DropLen is sh) -shDropLen = coerce (listxDropLen @(SMayNat Int SNat)) - -shPermute :: HList SNat is -> IShX sh -> IShX (Permute is sh) -shPermute = coerce (listxPermute @(SMayNat Int SNat)) - -shIndex :: Proxy is -> Proxy shT -> SNat i -> IShX sh -> IShX (Permute is shT) -> IShX (Index i sh : Permute is shT) -shIndex p1 p2 = coerce (listxIndex @(SMayNat Int SNat) p1 p2) - shPermutePrefix :: HList SNat is -> IShX sh -> IShX (PermutePrefix is sh) shPermutePrefix = coerce (listxPermutePrefix @(SMayNat Int SNat)) |