Rename copy -> force
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 15 Apr 2010 00:47:11 +0000 (00:47 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 15 Apr 2010 00:47:11 +0000 (00:47 +0000)
Data/Vector.hs
Data/Vector/Generic.hs
Data/Vector/Primitive.hs
Data/Vector/Storable.hs
Data/Vector/Unboxed.hs

index cbebd1e..e8c345d 100644 (file)
@@ -35,7 +35,7 @@ module Data.Vector (
   (++),
   replicate,
   generate,
-  copy,
+  force,
 
   -- * Operations based on length information
   length,
@@ -254,12 +254,12 @@ infixr 5 ++
 (++) = (G.++)
 
 -- |/O(n)/, Create a copy of a vector.
--- @copy@ is useful when dealing with slices, as the garbage collector
+-- @force@ is useful when dealing with slices, as the garbage collector
 -- may be able to free the original vector if no further references are held.
 --
-copy :: Vector a -> Vector a
-{-# INLINE copy #-}
-copy = G.copy
+force :: Vector a -> Vector a
+{-# INLINE force #-}
+force = G.force
 
 -- Accessing individual elements
 -- -----------------------------
index 1645048..cea8f03 100644 (file)
@@ -20,7 +20,7 @@ module Data.Vector.Generic (
   length, null,
 
   -- * Construction
-  empty, singleton, cons, snoc, replicate, generate, (++), copy,
+  empty, singleton, cons, snoc, replicate, generate, (++), force,
 
   -- * Accessing individual elements
   (!), head, last, indexM, headM, lastM,
@@ -356,14 +356,14 @@ infixr 5 ++
 v ++ w = unstream (stream v Stream.++ stream w)
 
 -- | Create a copy of a vector. Useful when dealing with slices.
-copy :: Vector v a => v a -> v a
-{-# INLINE_STREAM copy #-}
-copy = unstream . stream
+force :: Vector v a => v a -> v a
+{-# INLINE_STREAM force #-}
+force = unstream . stream
 
 {-# RULES
 
-"copy/unstream [Vector]" forall v s.
-  copy (new' v (New.unstream s)) = new' v (New.unstream s)
+"force/unstream [Vector]" forall v s.
+  force (new' v (New.unstream s)) = new' v (New.unstream s)
 
  #-}
 
index 25ce270..8b4c6cd 100644 (file)
@@ -19,7 +19,7 @@ module Data.Vector.Primitive (
   length, null,
 
   -- * Construction
-  empty, singleton, cons, snoc, replicate, generate, (++), copy,
+  empty, singleton, cons, snoc, replicate, generate, (++), force,
 
   -- * Accessing individual elements
   (!), head, last, indexM, headM, lastM,
@@ -223,9 +223,9 @@ infixr 5 ++
 (++) = (G.++)
 
 -- | Create a copy of a vector. Useful when dealing with slices.
-copy :: Prim a => Vector a -> Vector a
-{-# INLINE copy #-}
-copy = G.copy
+force :: Prim a => Vector a -> Vector a
+{-# INLINE force #-}
+force = G.force
 
 -- Accessing individual elements
 -- -----------------------------
index 42469ca..daa7538 100644 (file)
@@ -19,7 +19,7 @@ module Data.Vector.Storable (
   length, null,
 
   -- * Construction
-  empty, singleton, cons, snoc, replicate, generate, (++), copy,
+  empty, singleton, cons, snoc, replicate, generate, (++), force,
 
   -- * Accessing individual elements
   (!), head, last, indexM, headM, lastM,
@@ -262,9 +262,9 @@ infixr 5 ++
 (++) = (G.++)
 
 -- | Create a copy of a vector. Useful when dealing with slices.
-copy :: Storable a => Vector a -> Vector a
-{-# INLINE copy #-}
-copy = G.copy
+force :: Storable a => Vector a -> Vector a
+{-# INLINE force #-}
+force = G.force
 
 -- Accessing individual elements
 -- -----------------------------
index 7a2247f..2aaad85 100644 (file)
@@ -17,7 +17,7 @@ module Data.Vector.Unboxed (
   length, null,
 
   -- * Construction
-  empty, singleton, cons, snoc, replicate, generate, (++), copy,
+  empty, singleton, cons, snoc, replicate, generate, (++), force,
 
   -- * Accessing individual elements
   (!), head, last, indexM, headM, lastM,
@@ -180,9 +180,9 @@ infixr 5 ++
 (++) = (G.++)
 
 -- | Create a copy of a vector. Useful when dealing with slices.
-copy :: Unbox a => Vector a -> Vector a
-{-# INLINE copy #-}
-copy = G.copy
+force :: Unbox a => Vector a -> Vector a
+{-# INLINE force #-}
+force = G.force
 
 -- Accessing individual elements
 -- -----------------------------