Permalink
Browse files

Add Show instance for Witness

  • Loading branch information...
1 parent 59cb839 commit b938d94fe3f4c40e8747039c683c6bff4ae6ac2e @Shimuuar committed Jul 31, 2010
Showing with 1 addition and 0 deletions.
  1. +1 −0 TypeLevel/Reify.hs
View
1 TypeLevel/Reify.hs
@@ -13,6 +13,7 @@ module TypeLevel.Reify ( Witness(..)
data Witness t a = Witness { getValue :: a }
+ deriving Show
-- | Convert type level into value level using
class Reify t a where

0 comments on commit b938d94

Please sign in to comment.