Commits

Aleksey Khudyakov  committed 22d0159

Add instances for Witness

  • Participants
  • Parent commits a32bb6f

Comments (0)

Files changed (1)

File TypeLevel/Reify.hs

 {-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE DeriveDataTypeable    #-}
 -- |
 -- Module      : TypeLevel.Reify
 -- Copyright   : Alexey Khudyakov
                        , Reify(..)
                        ) where
 
+import Data.Data (Data,Typeable)
 
+
+-- | Value with type tag
 data Witness t a = Witness { getValue :: a }
-                   deriving Show
+                   deriving (Show,Eq,Typeable,Data)
 
 -- | Convert type level into value level using 
 class Reify t a where