Remove Safe Haskell support
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 27 Sep 2012 22:36:36 +0000 (22:36 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Thu, 27 Sep 2012 22:36:36 +0000 (22:36 +0000)
14 files changed:
Data/Vector/Fusion/Stream/Monadic/Safe.hs [deleted file]
Data/Vector/Fusion/Stream/Safe.hs [deleted file]
Data/Vector/Fusion/Stream/Size.hs
Data/Vector/Fusion/Util.hs
Data/Vector/Generic/Mutable/Safe.hs [deleted file]
Data/Vector/Generic/New/Safe.hs [deleted file]
Data/Vector/Generic/Safe.hs [deleted file]
Data/Vector/Mutable/Safe.hs [deleted file]
Data/Vector/Primitive/Mutable/Safe.hs [deleted file]
Data/Vector/Primitive/Safe.hs [deleted file]
Data/Vector/Safe.hs [deleted file]
Data/Vector/Unboxed/Mutable/Safe.hs [deleted file]
Data/Vector/Unboxed/Safe.hs [deleted file]
vector.cabal

diff --git a/Data/Vector/Fusion/Stream/Monadic/Safe.hs b/Data/Vector/Fusion/Stream/Monadic/Safe.hs
deleted file mode 100644 (file)
index 1805dc5..0000000
+++ /dev/null
@@ -1,78 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701
-{-# LANGUAGE Trustworthy #-}
-#endif
-
--- |
--- Module      : Data.Vector.Fusion.Stream.Monadic.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
---
--- Safe interface to "Data.Vector.Fusion.Stream.Monadic"
---
-
-module Data.Vector.Fusion.Stream.Monadic.Safe (
-  Stream(..), Step(..),
-
-  -- * Size hints
-  size, sized,
-
-  -- * Length
-  length, null,
-
-  -- * Construction
-  empty, singleton, cons, snoc, replicate, replicateM, generate, generateM, (++),
-
-  -- * Accessing elements
-  head, last, (!!),
-
-  -- * Substreams
-  slice, init, tail, take, drop,
-
-  -- * Mapping
-  map, mapM, mapM_, trans, unbox, concatMap, flatten,
-  
-  -- * Zipping
-  indexed, indexedR, zipWithM_,
-  zipWithM, zipWith3M, zipWith4M, zipWith5M, zipWith6M,
-  zipWith, zipWith3, zipWith4, zipWith5, zipWith6,
-  zip, zip3, zip4, zip5, zip6,
-
-  -- * Filtering
-  filter, filterM, takeWhile, takeWhileM, dropWhile, dropWhileM,
-
-  -- * Searching
-  elem, notElem, find, findM, findIndex, findIndexM,
-
-  -- * Folding
-  foldl, foldlM, foldl1, foldl1M, foldM, fold1M,
-  foldl', foldlM', foldl1', foldl1M', foldM', fold1M',
-  foldr, foldrM, foldr1, foldr1M,
-
-  -- * Specialised folds
-  and, or, concatMapM,
-
-  -- * Unfolding
-  unfoldr, unfoldrM,
-  unfoldrN, unfoldrNM,
-  iterateN, iterateNM,
-
-  -- * Scans
-  prescanl, prescanlM, prescanl', prescanlM',
-  postscanl, postscanlM, postscanl', postscanlM',
-  scanl, scanlM, scanl', scanlM',
-  scanl1, scanl1M, scanl1', scanl1M',
-
-  -- * Enumerations
-  enumFromStepN, enumFromTo, enumFromThenTo,
-
-  -- * Conversions
-  toList, fromList, fromListN
-) where
-
-import Data.Vector.Fusion.Stream.Monadic
-import Prelude ()
-
diff --git a/Data/Vector/Fusion/Stream/Safe.hs b/Data/Vector/Fusion/Stream/Safe.hs
deleted file mode 100644 (file)
index 00ac9c2..0000000
+++ /dev/null
@@ -1,82 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701
-{-# LANGUAGE Trustworthy #-}
-#endif
-
--- |
--- Module      : Data.Vector.Fusion.Stream.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector.Fusion.Stream"
---
-
-module Data.Vector.Fusion.Stream.Safe (
-  -- * Types
-  Step(..), Stream, MStream,
-
-  -- * In-place markers
-  inplace,
-
-  -- * Size hints
-  size, sized,
-
-  -- * Length information
-  length, null,
-
-  -- * Construction
-  empty, singleton, cons, snoc, replicate, generate, (++),
-
-  -- * Accessing individual elements
-  head, last, (!!),
-
-  -- * Substreams
-  slice, init, tail, take, drop,
-
-  -- * Mapping
-  map, concatMap, flatten, unbox,
-  
-  -- * Zipping
-  indexed, indexedR,
-  zipWith, zipWith3, zipWith4, zipWith5, zipWith6,
-  zip, zip3, zip4, zip5, zip6,
-
-  -- * Filtering
-  filter, takeWhile, dropWhile,
-
-  -- * Searching
-  elem, notElem, find, findIndex,
-
-  -- * Folding
-  foldl, foldl1, foldl', foldl1', foldr, foldr1,
-
-  -- * Specialised folds
-  and, or,
-
-  -- * Unfolding
-  unfoldr, unfoldrN, iterateN,
-
-  -- * Scans
-  prescanl, prescanl',
-  postscanl, postscanl',
-  scanl, scanl',
-  scanl1, scanl1',
-
-  -- * Enumerations
-  enumFromStepN, enumFromTo, enumFromThenTo,
-
-  -- * Conversions
-  toList, fromList, fromListN, liftStream,
-
-  -- * Monadic combinators
-  mapM, mapM_, zipWithM, zipWithM_, filterM, foldM, fold1M, foldM', fold1M',
-
-  eq, cmp
-) where
-
-import Data.Vector.Fusion.Stream
-import Prelude ()
-
index ae94aef..00f9daf 100644 (file)
@@ -1,8 +1,3 @@
-#if __GLASGOW_HASKELL__ >= 703
-{-# LANGUAGE Safe #-}
-#elif __GLASGOW_HASKELL__ >= 701
-{-# LANGUAGE Trustworthy #-}
-#endif
 -- |
 -- Module      : Data.Vector.Fusion.Stream.Size
 -- Copyright   : (c) Roman Leshchinskiy 2008-2010
 -- |
 -- Module      : Data.Vector.Fusion.Stream.Size
 -- Copyright   : (c) Roman Leshchinskiy 2008-2010
index ea3cb08..c84abbb 100644 (file)
@@ -1,8 +1,3 @@
-#if __GLASGOW_HASKELL__ >= 703
-{-# LANGUAGE Safe #-}
-#elif __GLASGOW_HASKELL__ >= 701
-{-# LANGUAGE Trustworthy #-}
-#endif
 -- |
 -- Module      : Data.Vector.Fusion.Util
 -- Copyright   : (c) Roman Leshchinskiy 2009
 -- |
 -- Module      : Data.Vector.Fusion.Util
 -- Copyright   : (c) Roman Leshchinskiy 2009
diff --git a/Data/Vector/Generic/Mutable/Safe.hs b/Data/Vector/Generic/Mutable/Safe.hs
deleted file mode 100644 (file)
index 3e50edb..0000000
+++ /dev/null
@@ -1,61 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
--- |
--- Module      : Data.Vector.Generic.Mutable.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector.Generic.Mutable"
---
-
-module Data.Vector.Generic.Mutable.Safe (
-  -- * Class of mutable vector types
-  MVector,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Extracting subvectors
-  slice, init, tail, take, drop, splitAt,
-
-  -- ** Overlapping
-  overlaps,
-
-  -- * Construction
-
-  -- ** Initialisation
-  new, replicate, replicateM, clone,
-
-  -- ** Growing
-  grow,
-
-  -- ** Restricting memory usage
-  clear,
-
-  -- * Accessing individual elements
-  read, write, swap,
-
-  -- * Modifying vectors
-
-  -- ** Filling and copying
-  set, copy, move,
-
-  -- * Internal operations
-  unstream, unstreamR,
-  munstream, munstreamR,
-  transform, transformR,
-  fill, fillR,
-  accum, update, reverse,
-  unstablePartition, unstablePartitionStream, partitionStream
-) where
-
-import Data.Vector.Generic.Mutable
-import Prelude ()
-
diff --git a/Data/Vector/Generic/New/Safe.hs b/Data/Vector/Generic/New/Safe.hs
deleted file mode 100644 (file)
index ee19809..0000000
+++ /dev/null
@@ -1,25 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
-
--- |
--- Module      : Data.Vector.Generic.New.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector.Generic.New"
---
-
-module Data.Vector.Generic.New.Safe (
-  New(..), create, run, apply, modify, modifyWithStream,
-  unstream, transform, unstreamR, transformR,
-  slice, init, tail, take, drop
-) where
-
-import Data.Vector.Generic.New
-import Prelude ()
-
diff --git a/Data/Vector/Generic/Safe.hs b/Data/Vector/Generic/Safe.hs
deleted file mode 100644 (file)
index 1961b36..0000000
+++ /dev/null
@@ -1,157 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
--- |
--- Module      : Data.Vector.Generic.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector.Generic"
---
-
-module Data.Vector.Generic.Safe (
-  -- * Immutable vectors
-  Vector, Mutable,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Indexing
-  (!), (!?), head, last,
-
-  -- ** Monadic indexing
-  indexM, headM, lastM,
-
-  -- ** Extracting subvectors (slicing)
-  slice, init, tail, take, drop, splitAt,
-
-  -- * Construction
-
-  -- ** Initialisation
-  empty, singleton, replicate, generate, iterateN,
-
-  -- ** Monadic initialisation
-  replicateM, generateM, create,
-
-  -- ** Unfolding
-  unfoldr, unfoldrN,
-
-  -- ** Enumeration
-  enumFromN, enumFromStepN, enumFromTo, enumFromThenTo,
-
-  -- ** Concatenation
-  cons, snoc, (++), concat,
-
-  -- ** Restricting memory usage
-  force,
-
-  -- * Modifying vectors
-
-  -- ** Bulk updates
-  (//), update, update_,
-
-  -- ** Accumulations
-  accum, accumulate, accumulate_,
-
-  -- ** Permutations 
-  reverse, backpermute,
-
-  -- ** Safe destructive updates
-  modify,
-
-  -- * Elementwise operations
-
-  -- ** Indexing
-  indexed,
-
-  -- ** Mapping
-  map, imap, concatMap,
-
-  -- ** Monadic mapping
-  mapM, mapM_, forM, forM_,
-
-  -- ** Zipping
-  zipWith, zipWith3, zipWith4, zipWith5, zipWith6,
-  izipWith, izipWith3, izipWith4, izipWith5, izipWith6,
-  zip, zip3, zip4, zip5, zip6,
-
-  -- ** Monadic zipping
-  zipWithM, zipWithM_,
-
-  -- ** Unzipping
-  unzip, unzip3, unzip4, unzip5, unzip6,
-
-  -- * Working with predicates
-
-  -- ** Filtering
-  filter, ifilter, filterM,
-  takeWhile, dropWhile,
-
-  -- ** Partitioning
-  partition, unstablePartition, span, break,
-
-  -- ** Searching
-  elem, notElem, find, findIndex, findIndices, elemIndex, elemIndices,
-
-  -- * Folding
-  foldl, foldl1, foldl', foldl1', foldr, foldr1, foldr', foldr1',
-  ifoldl, ifoldl', ifoldr, ifoldr',
-
-  -- ** Specialised folds
-  all, any, and, or,
-  sum, product,
-  maximum, maximumBy, minimum, minimumBy,
-  minIndex, minIndexBy, maxIndex, maxIndexBy,
-
-  -- ** Monadic folds
-  foldM, foldM', fold1M, fold1M',
-  foldM_, foldM'_, fold1M_, fold1M'_,
-
-  -- ** Monadic sequencing
-  sequence, sequence_,
-
-  -- * Prefix sums (scans)
-  prescanl, prescanl',
-  postscanl, postscanl',
-  scanl, scanl', scanl1, scanl1',
-  prescanr, prescanr',
-  postscanr, postscanr',
-  scanr, scanr', scanr1, scanr1',
-
-  -- * Conversions
-
-  -- ** Lists
-  toList, fromList, fromListN,
-
-  -- ** Different vector types
-  convert,
-
-  -- ** Mutable vectors
-  freeze, thaw, copy,
-
-  -- * Fusion support
-
-  -- ** Conversion to/from Streams
-  stream, unstream, streamR, unstreamR,
-
-  -- ** Recycling support
-  new, clone,
-
-  -- * Utilities
-
-  -- ** Comparisons
-  eq, cmp,
-
-  -- ** @Data@ and @Typeable@
-  gfoldl, dataCast, mkType
-) where
-
-import Data.Vector.Generic
-import Prelude ()
-
diff --git a/Data/Vector/Mutable/Safe.hs b/Data/Vector/Mutable/Safe.hs
deleted file mode 100644 (file)
index 3c629aa..0000000
+++ /dev/null
@@ -1,54 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
-
--- |
--- Module      : Data.Vector.Mutable.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector.Mutable"
---
-
-module Data.Vector.Mutable.Safe (
-  -- * Mutable boxed vectors
-  MVector, IOVector, STVector,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Extracting subvectors
-  slice, init, tail, take, drop, splitAt,
-
-  -- ** Overlapping
-  overlaps,
-
-  -- * Construction
-
-  -- ** Initialisation
-  new, replicate, replicateM, clone,
-
-  -- ** Growing
-  grow,
-
-  -- ** Restricting memory usage
-  clear,
-
-  -- * Accessing individual elements
-  read, write, swap,
-
-  -- * Modifying vectors
-
-  -- ** Filling and copying
-  set, copy, move
-) where
-
-import Data.Vector.Mutable
-import Prelude ()
-
diff --git a/Data/Vector/Primitive/Mutable/Safe.hs b/Data/Vector/Primitive/Mutable/Safe.hs
deleted file mode 100644 (file)
index b4e3c40..0000000
+++ /dev/null
@@ -1,53 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
--- |
--- Module      : Data.Vector.Primitive.Mutable.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector.Primitive.Mutable"
---
-
-module Data.Vector.Primitive.Mutable.Safe (
-  -- * Mutable vectors of primitive types
-  MVector, IOVector, STVector, Prim,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Extracting subvectors
-  slice, init, tail, take, drop, splitAt,
-
-  -- ** Overlapping
-  overlaps,
-
-  -- * Construction
-
-  -- ** Initialisation
-  new, replicate, replicateM, clone,
-
-  -- ** Growing
-  grow,
-
-  -- ** Restricting memory usage
-  clear,
-
-  -- * Accessing individual elements
-  read, write, swap,
-
-  -- * Modifying vectors
-
-  -- ** Filling and copying
-  set, copy, move
-) where
-
-import Data.Vector.Primitive.Mutable
-import Prelude ()
-
diff --git a/Data/Vector/Primitive/Safe.hs b/Data/Vector/Primitive/Safe.hs
deleted file mode 100644 (file)
index 81cb940..0000000
+++ /dev/null
@@ -1,134 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
-
--- |
--- Module      : Data.Vector.Primitive.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
---
--- Safe interface to "Data.Vector.Primitive" 
---
-
-module Data.Vector.Primitive.Safe (
-  -- * Primitive vectors
-  Vector, MVector, Prim,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Indexing
-  (!), (!?), head, last,
-
-  -- ** Monadic indexing
-  indexM, headM, lastM,
-
-  -- ** Extracting subvectors (slicing)
-  slice, init, tail, take, drop, splitAt,
-
-  -- * Construction
-
-  -- ** Initialisation
-  empty, singleton, replicate, generate, iterateN,
-
-  -- ** Monadic initialisation
-  replicateM, generateM, create,
-
-  -- ** Unfolding
-  unfoldr, unfoldrN,
-  constructN, constructrN,
-
-  -- ** Enumeration
-  enumFromN, enumFromStepN, enumFromTo, enumFromThenTo,
-
-  -- ** Concatenation
-  cons, snoc, (++), concat,
-
-  -- ** Restricting memory usage
-  force,
-
-  -- * Modifying vectors
-
-  -- ** Bulk updates
-  (//), update_,
-
-  -- ** Accumulations
-  accum, accumulate_,
-
-  -- ** Permutations 
-  reverse, backpermute,
-
-  -- ** Safe destructive updates
-  modify,
-
-  -- * Elementwise operations
-
-  -- ** Mapping
-  map, imap, concatMap,
-
-  -- ** Monadic mapping
-  mapM, mapM_, forM, forM_,
-
-  -- ** Zipping
-  zipWith, zipWith3, zipWith4, zipWith5, zipWith6,
-  izipWith, izipWith3, izipWith4, izipWith5, izipWith6,
-
-  -- ** Monadic zipping
-  zipWithM, zipWithM_,
-
-  -- * Working with predicates
-
-  -- ** Filtering
-  filter, ifilter, filterM,
-  takeWhile, dropWhile,
-
-  -- ** Partitioning
-  partition, unstablePartition, span, break,
-
-  -- ** Searching
-  elem, notElem, find, findIndex, findIndices, elemIndex, elemIndices,
-
-  -- * Folding
-  foldl, foldl1, foldl', foldl1', foldr, foldr1, foldr', foldr1',
-  ifoldl, ifoldl', ifoldr, ifoldr',
-
-  -- ** Specialised folds
-  all, any,
-  sum, product,
-  maximum, maximumBy, minimum, minimumBy,
-  minIndex, minIndexBy, maxIndex, maxIndexBy,
-
-  -- ** Monadic folds
-  foldM, foldM', fold1M, fold1M',
-  foldM_, foldM'_, fold1M_, fold1M'_,
-
-  -- * Prefix sums (scans)
-  prescanl, prescanl',
-  postscanl, postscanl',
-  scanl, scanl', scanl1, scanl1',
-  prescanr, prescanr',
-  postscanr, postscanr',
-  scanr, scanr', scanr1, scanr1',
-
-  -- * Conversions
-
-  -- ** Lists
-  toList, fromList, fromListN,
-
-  -- ** Other vector types
-  G.convert,
-
-  -- ** Mutable vectors
-  freeze, thaw, copy,
-) where
-
-import Data.Vector.Primitive
-import qualified Data.Vector.Generic as G
-import Prelude ()
-
diff --git a/Data/Vector/Safe.hs b/Data/Vector/Safe.hs
deleted file mode 100644 (file)
index 2f86c3e..0000000
+++ /dev/null
@@ -1,143 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
--- |
--- Module      : Data.Vector.Safe
--- Copyright   : (c) Roman Leshchinskiy 2008-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
--- 
--- Safe interface to "Data.Vector"
---
-
-module Data.Vector.Safe (
-  -- * Boxed vectors
-  Vector, MVector,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Indexing
-  (!), (!?), head, last,
-
-  -- ** Monadic indexing
-  indexM, headM, lastM,
-
-  -- ** Extracting subvectors (slicing)
-  slice, init, tail, take, drop, splitAt,
-
-  -- * Construction
-
-  -- ** Initialisation
-  empty, singleton, replicate, generate, iterateN,
-
-  -- ** Monadic initialisation
-  replicateM, generateM, create,
-
-  -- ** Unfolding
-  unfoldr, unfoldrN,
-  constructN, constructrN,
-
-  -- ** Enumeration
-  enumFromN, enumFromStepN, enumFromTo, enumFromThenTo,
-
-  -- ** Concatenation
-  cons, snoc, (++), concat,
-
-  -- ** Restricting memory usage
-  force,
-
-  -- * Modifying vectors
-
-  -- ** Bulk updates
-  (//), update, update_,
-
-  -- ** Accumulations
-  accum, accumulate, accumulate_,
-
-  -- ** Permutations 
-  reverse, backpermute,
-
-  -- ** Safe destructive updates
-  modify,
-
-  -- * Elementwise operations
-
-  -- ** Indexing
-  indexed,
-
-  -- ** Mapping
-  map, imap, concatMap,
-
-  -- ** Monadic mapping
-  mapM, mapM_, forM, forM_,
-
-  -- ** Zipping
-  zipWith, zipWith3, zipWith4, zipWith5, zipWith6,
-  izipWith, izipWith3, izipWith4, izipWith5, izipWith6,
-  zip, zip3, zip4, zip5, zip6,
-
-  -- ** Monadic zipping
-  zipWithM, zipWithM_,
-
-  -- ** Unzipping
-  unzip, unzip3, unzip4, unzip5, unzip6,
-
-  -- * Working with predicates
-
-  -- ** Filtering
-  filter, ifilter, filterM,
-  takeWhile, dropWhile,
-
-  -- ** Partitioning
-  partition, unstablePartition, span, break,
-
-  -- ** Searching
-  elem, notElem, find, findIndex, findIndices, elemIndex, elemIndices,
-
-  -- * Folding
-  foldl, foldl1, foldl', foldl1', foldr, foldr1, foldr', foldr1',
-  ifoldl, ifoldl', ifoldr, ifoldr',
-
-  -- ** Specialised folds
-  all, any, and, or,
-  sum, product,
-  maximum, maximumBy, minimum, minimumBy,
-  minIndex, minIndexBy, maxIndex, maxIndexBy,
-
-  -- ** Monadic folds
-  foldM, foldM', fold1M, fold1M',
-  foldM_, foldM'_, fold1M_, fold1M'_,
-
-  -- ** Monadic sequencing
-  sequence, sequence_,
-
-  -- * Prefix sums (scans)
-  prescanl, prescanl',
-  postscanl, postscanl',
-  scanl, scanl', scanl1, scanl1',
-  prescanr, prescanr',
-  postscanr, postscanr',
-  scanr, scanr', scanr1, scanr1',
-
-  -- * Conversions
-
-  -- ** Lists
-  toList, fromList, fromListN,
-
-  -- ** Other vector types
-  G.convert,
-
-  -- ** Mutable vectors
-  freeze, thaw, copy
-) where
-
-import Data.Vector
-import qualified Data.Vector.Generic as G
-import Prelude ()
-
diff --git a/Data/Vector/Unboxed/Mutable/Safe.hs b/Data/Vector/Unboxed/Mutable/Safe.hs
deleted file mode 100644 (file)
index 62ff2d2..0000000
+++ /dev/null
@@ -1,57 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
--- |
--- Module      : Data.Vector.Unboxed.Mutable.Safe
--- Copyright   : (c) Roman Leshchinskiy 2009-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
---
--- Safe interface to "Data.Vector.Unboxed.Mutable"
---
-
-module Data.Vector.Unboxed.Mutable.Safe (
-  -- * Mutable vectors of primitive types
-  MVector, IOVector, STVector, Unbox,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Extracting subvectors
-  slice, init, tail, take, drop, splitAt,
-
-  -- ** Overlapping
-  overlaps,
-
-  -- * Construction
-
-  -- ** Initialisation
-  new, replicate, replicateM, clone,
-
-  -- ** Growing
-  grow,
-
-  -- ** Restricting memory usage
-  clear,
-
-  -- * Zipping and unzipping
-  zip, zip3, zip4, zip5, zip6,
-  unzip, unzip3, unzip4, unzip5, unzip6,
-
-  -- * Accessing individual elements
-  read, write, swap,
-
-  -- * Modifying vectors
-
-  -- ** Filling and copying
-  set, copy, move
-) where
-
-import Data.Vector.Unboxed.Mutable
-import Prelude ()
-
diff --git a/Data/Vector/Unboxed/Safe.hs b/Data/Vector/Unboxed/Safe.hs
deleted file mode 100644 (file)
index d8a4f43..0000000
+++ /dev/null
@@ -1,141 +0,0 @@
-#if __GLASGOW_HASKELL__ >= 701 && defined(VECTOR_BOUNDS_CHECKS)
-{-# LANGUAGE Trustworthy #-}
-#endif
-
--- |
--- Module      : Data.Vector.Unboxed.Safe
--- Copyright   : (c) Roman Leshchinskiy 2009-2010
--- License     : BSD-style
---
--- Maintainer  : Roman Leshchinskiy <rl@cse.unsw.edu.au>
--- Stability   : experimental
--- Portability : non-portable
---
--- Safe interface to "Data.Vector.Unboxed"
---
-
-module Data.Vector.Unboxed.Safe (
-  -- * Unboxed vectors
-  Vector, MVector, Unbox,
-
-  -- * Accessors
-
-  -- ** Length information
-  length, null,
-
-  -- ** Indexing
-  (!), (!?), head, last,
-
-  -- ** Monadic indexing
-  indexM, headM, lastM,
-
-  -- ** Extracting subvectors (slicing)
-  slice, init, tail, take, drop, splitAt,
-
-  -- * Construction
-
-  -- ** Initialisation
-  empty, singleton, replicate, generate, iterateN,
-
-  -- ** Monadic initialisation
-  replicateM, generateM, create,
-
-  -- ** Unfolding
-  unfoldr, unfoldrN,
-  constructN, constructrN,
-
-  -- ** Enumeration
-  enumFromN, enumFromStepN, enumFromTo, enumFromThenTo,
-
-  -- ** Concatenation
-  cons, snoc, (++), concat,
-
-  -- ** Restricting memory usage
-  force,
-
-  -- * Modifying vectors
-
-  -- ** Bulk updates
-  (//), update, update_,
-
-  -- ** Accumulations
-  accum, accumulate, accumulate_,
-
-  -- ** Permutations 
-  reverse, backpermute,
-
-  -- ** Safe destructive updates
-  modify,
-
-  -- * Elementwise operations
-
-  -- ** Indexing
-  indexed,
-
-  -- ** Mapping
-  map, imap, concatMap,
-
-  -- ** Monadic mapping
-  mapM, mapM_, forM, forM_,
-
-  -- ** Zipping
-  zipWith, zipWith3, zipWith4, zipWith5, zipWith6,
-  izipWith, izipWith3, izipWith4, izipWith5, izipWith6,
-  zip, zip3, zip4, zip5, zip6,
-
-  -- ** Monadic zipping
-  zipWithM, zipWithM_,
-
-  -- ** Unzipping
-  unzip, unzip3, unzip4, unzip5, unzip6,
-
-  -- * Working with predicates
-
-  -- ** Filtering
-  filter, ifilter, filterM,
-  takeWhile, dropWhile,
-
-  -- ** Partitioning
-  partition, unstablePartition, span, break,
-
-  -- ** Searching
-  elem, notElem, find, findIndex, findIndices, elemIndex, elemIndices,
-
-  -- * Folding
-  foldl, foldl1, foldl', foldl1', foldr, foldr1, foldr', foldr1',
-  ifoldl, ifoldl', ifoldr, ifoldr',
-
-  -- ** Specialised folds
-  all, any, and, or,
-  sum, product,
-  maximum, maximumBy, minimum, minimumBy,
-  minIndex, minIndexBy, maxIndex, maxIndexBy,
-
-  -- ** Monadic folds
-  foldM, foldM', fold1M, fold1M',
-  foldM_, foldM'_, fold1M_, fold1M'_,
-
-  -- * Prefix sums (scans)
-  prescanl, prescanl',
-  postscanl, postscanl',
-  scanl, scanl', scanl1, scanl1',
-  prescanr, prescanr',
-  postscanr, postscanr',
-  scanr, scanr', scanr1, scanr1',
-
-  -- * Conversions
-
-  -- ** Lists
-  toList, fromList, fromListN,
-
-  -- ** Other vector types
-  G.convert,
-
-  -- ** Mutable vectors
-  freeze, thaw, copy
-) where
-
-import Data.Vector.Unboxed
-import qualified Data.Vector.Generic as G
-import Prelude ()
-
index b064530..2affb06 100644 (file)
@@ -29,9 +29,6 @@ Description:
         .
         ["Data.Vector.Generic"] Generic interface to the vector types.
         .
         .
         ["Data.Vector.Generic"] Generic interface to the vector types.
         .
-        Each module has a @Safe@ version with is marked as @Trustworthy@
-        (see <http://hackage.haskell.org/trac/ghc/wiki/SafeHaskell>).
-        .
         There is also a (draft) tutorial on common uses of vector.
         .
         * <http://haskell.org/haskellwiki/Numeric_Haskell:_A_Vector_Tutorial>
         There is also a (draft) tutorial on common uses of vector.
         .
         * <http://haskell.org/haskellwiki/Numeric_Haskell:_A_Vector_Tutorial>
@@ -131,23 +128,16 @@ Library
         Data.Vector.Fusion.Util
         Data.Vector.Fusion.Stream.Size
         Data.Vector.Fusion.Stream.Monadic
         Data.Vector.Fusion.Util
         Data.Vector.Fusion.Stream.Size
         Data.Vector.Fusion.Stream.Monadic
-        Data.Vector.Fusion.Stream.Monadic.Safe
         Data.Vector.Fusion.Stream
         Data.Vector.Fusion.Stream
-        Data.Vector.Fusion.Stream.Safe
 
         Data.Vector.Generic.Mutable.Base
         Data.Vector.Generic.Mutable
 
         Data.Vector.Generic.Mutable.Base
         Data.Vector.Generic.Mutable
-        Data.Vector.Generic.Mutable.Safe
         Data.Vector.Generic.Base
         Data.Vector.Generic.New
         Data.Vector.Generic.Base
         Data.Vector.Generic.New
-        Data.Vector.Generic.New.Safe
         Data.Vector.Generic
         Data.Vector.Generic
-        Data.Vector.Generic.Safe
 
         Data.Vector.Primitive.Mutable
 
         Data.Vector.Primitive.Mutable
-        Data.Vector.Primitive.Mutable.Safe
         Data.Vector.Primitive
         Data.Vector.Primitive
-        Data.Vector.Primitive.Safe
 
         Data.Vector.Storable.Internal
         Data.Vector.Storable.Mutable
 
         Data.Vector.Storable.Internal
         Data.Vector.Storable.Mutable
@@ -155,14 +145,10 @@ Library
 
         Data.Vector.Unboxed.Base
         Data.Vector.Unboxed.Mutable
 
         Data.Vector.Unboxed.Base
         Data.Vector.Unboxed.Mutable
-        Data.Vector.Unboxed.Mutable.Safe
         Data.Vector.Unboxed
         Data.Vector.Unboxed
-        Data.Vector.Unboxed.Safe
 
         Data.Vector.Mutable
 
         Data.Vector.Mutable
-        Data.Vector.Mutable.Safe
         Data.Vector
         Data.Vector
-        Data.Vector.Safe
 
   Include-Dirs:
         include, internal
 
   Include-Dirs:
         include, internal