From 0221ab67e7bfa6297e3b38f25e23da62c824b742 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 28 May 2024 09:32:15 +0200 Subject: Remove unused cluttering singleton functions --- src/Data/Array/Mixed.hs | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'src') 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)) -- cgit v1.2.3-70-g09d2