diff options
Diffstat (limited to 'packages/base/src/Internal/Modular.hs')
-rw-r--r-- | packages/base/src/Internal/Modular.hs | 10 |
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)) | |||
257 | instance KnownNat m => Numeric (Mod m I) | 257 | instance KnownNat m => Numeric (Mod m I) |
258 | instance KnownNat m => Numeric (Mod m Z) | 258 | instance KnownNat m => Numeric (Mod m Z) |
259 | 259 | ||
260 | f2i :: Storable t => Vector (Mod n t) -> Vector t | ||
261 | f2i v = unsafeFromForeignPtr (castForeignPtr fp) (i) (n) | ||
262 | where (fp,i,n) = unsafeToForeignPtr v | ||
263 | |||
264 | f2iM :: (Element t, Element (Mod n t)) => Matrix (Mod n t) -> Matrix t | ||
265 | f2iM m = m { xdat = f2i (xdat m) } | ||
266 | |||
267 | i2fM :: (Element t, Element (Mod n t)) => Matrix t -> Matrix (Mod n t) | ||
268 | i2fM m = m { xdat = i2f (xdat m) } | ||
269 | |||
270 | vmod :: forall m t. (KnownNat m, Storable t, Integral t, Numeric t) => Vector t -> Vector (Mod m t) | 260 | vmod :: forall m t. (KnownNat m, Storable t, Integral t, Numeric t) => Vector t -> Vector (Mod m t) |
271 | vmod = i2f . cmod' m' | 261 | vmod = i2f . cmod' m' |
272 | where | 262 | where |