summaryrefslogtreecommitdiff
path: root/packages/base/src/Internal/Modular.hs
diff options
context:
space:
mode:
Diffstat (limited to 'packages/base/src/Internal/Modular.hs')
-rw-r--r--packages/base/src/Internal/Modular.hs10
1 files changed, 0 insertions, 10 deletions
diff --git a/packages/base/src/Internal/Modular.hs b/packages/base/src/Internal/Modular.hs
index a211dd3..10ff8a3 100644
--- a/packages/base/src/Internal/Modular.hs
+++ b/packages/base/src/Internal/Modular.hs
@@ -257,16 +257,6 @@ instance KnownNat m => Normed (Vector (Mod m Z))
257instance KnownNat m => Numeric (Mod m I) 257instance KnownNat m => Numeric (Mod m I)
258instance KnownNat m => Numeric (Mod m Z) 258instance KnownNat m => Numeric (Mod m Z)
259 259
260f2i :: Storable t => Vector (Mod n t) -> Vector t
261f2i v = unsafeFromForeignPtr (castForeignPtr fp) (i) (n)
262 where (fp,i,n) = unsafeToForeignPtr v
263
264f2iM :: (Element t, Element (Mod n t)) => Matrix (Mod n t) -> Matrix t
265f2iM m = m { xdat = f2i (xdat m) }
266
267i2fM :: (Element t, Element (Mod n t)) => Matrix t -> Matrix (Mod n t)
268i2fM m = m { xdat = i2f (xdat m) }
269
270vmod :: forall m t. (KnownNat m, Storable t, Integral t, Numeric t) => Vector t -> Vector (Mod m t) 260vmod :: forall m t. (KnownNat m, Storable t, Integral t, Numeric t) => Vector t -> Vector (Mod m t)
271vmod = i2f . cmod' m' 261vmod = i2f . cmod' m'
272 where 262 where