diff options
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)) |