1 files changed, 0 insertions, 46 deletions

diff --git a/packages/base/src/Internal/Modular.hs b/packages/base/src/Internal/Modular.hs
index 5af038b..a211dd3 100644
--- a/packages/base/src/Internal/Modular.hs
+++ b/packages/base/src/Internal/Modular.hs
@@ -60,14 +60,6 @@ import Prelude hiding ((<>))
 
 
 
--- | Wrapper with a phantom integer for statically checked modular arithmetic.
-newtype Mod (n :: Nat) t = Mod {unMod:: t}
-  deriving (Storable)
-
-instance (NFData t) => NFData (Mod n t)
-  where
-    rnf (Mod x) = rnf x
-
 infixr 5 ./.
 type (./.) x n = Mod n x
 
@@ -136,40 +128,6 @@ instance (Integral t, KnownNat n) => Num (Mod n t)
     fromInteger = l0 (\m x -> fromInteger x `mod` (fromIntegral m))
 
 
-instance KnownNat m => Element (Mod m I)
-  where
-    constantD x n = i2f (constantD (unMod x) n)
-    extractR ord m mi is mj js = i2fM <$> extractR ord (f2iM m) mi is mj js
-    setRect i j m x = setRect i j (f2iM m) (f2iM x)
-    sortI = sortI . f2i
-    sortV = i2f . sortV . f2i
-    compareV u v = compareV (f2i u) (f2i v)
-    selectV c l e g = i2f (selectV c (f2i l) (f2i e) (f2i g))
-    remapM i j m = i2fM (remap i j (f2iM m))
-    rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpMI m') c (unMod a) i1 i2 j1 j2 (f2iM x)
-      where
-        m' = fromIntegral . natVal $ (undefined :: Proxy m)
-    gemm u a b c = gemmg (c_gemmMI m') (f2i u) (f2iM a) (f2iM b) (f2iM c)
-      where
-        m' = fromIntegral . natVal $ (undefined :: Proxy m)
-
-instance KnownNat m => Element (Mod m Z)
-  where
-    constantD x n = i2f (constantD (unMod x) n)
-    extractR ord m mi is mj js = i2fM <$> extractR ord (f2iM m) mi is mj js
-    setRect i j m x = setRect i j (f2iM m) (f2iM x)
-    sortI = sortI . f2i
-    sortV = i2f . sortV . f2i
-    compareV u v = compareV (f2i u) (f2i v)
-    selectV c l e g = i2f (selectV c (f2i l) (f2i e) (f2i g))
-    remapM i j m = i2fM (remap i j (f2iM m))
-    rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpML m') c (unMod a) i1 i2 j1 j2 (f2iM x)
-      where
-        m' = fromIntegral . natVal $ (undefined :: Proxy m)
-    gemm u a b c = gemmg (c_gemmML m') (f2i u) (f2iM a) (f2iM b) (f2iM c)
-      where
-        m' = fromIntegral . natVal $ (undefined :: Proxy m)
-
 
 instance KnownNat m => CTrans (Mod m I)
 instance KnownNat m => CTrans (Mod m Z)
@@ -299,10 +257,6 @@ instance KnownNat m => Normed (Vector (Mod m Z))
 instance KnownNat m => Numeric (Mod m I)
 instance KnownNat m => Numeric (Mod m Z)
 
-i2f :: Storable t => Vector t -> Vector (Mod n t)
-i2f v = unsafeFromForeignPtr (castForeignPtr fp) (i) (n)
-    where (fp,i,n) = unsafeToForeignPtr v
-
 f2i :: Storable t => Vector (Mod n t) -> Vector t
 f2i v = unsafeFromForeignPtr (castForeignPtr fp) (i) (n)
     where (fp,i,n) = unsafeToForeignPtr v