Commits

Aleksey Khudyakov  committed a6fc029

Typeable instance for VecList

  • Participants
  • Parent commits ebaa45f

Comments (0)

Files changed (1)

File Data/Vector/Fixed.hs

 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE GADTs #-}
+{-# LANGUAGE GADTs               #-}
+{-# LANGUAGE DeriveDataTypeable  #-}
 -- |
 -- Generic API for vectors with fixed length.
 --
   ) where
 
 import Control.Applicative (Applicative(..))
+import Data.Typeable       (Typeable)
 import qualified Data.Foldable    as F
 import qualified Data.Traversable as T
 
 data VecList n a where
   Nil  :: VecList Z a
   Cons :: a -> VecList n a -> VecList (S n) a
+  deriving (Typeable)
 
 -- Vector instance
 type instance Dim (VecList n) = n