Type family mapping each Vector to its MVector
[darcs-mirrors/vector.git] / Data / Vector / Storable.hs
index cf63af1..4a20261 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, TypeFamilies #-}
 
 -- |
 -- Module      : Data.Vector.Storable
@@ -100,6 +100,8 @@ instance (Show a, Storable a) => Show (Vector a) where
        . show
        . toList
 
+type instance G.Mutable Vector = MVector
+
 instance Storable a => G.Vector Vector a where
   {-# INLINE basicNew #-}
   basicNew init = runST (do