]> gitweb @ CieloNegro.org - hs-rrdtool.git/blobdiff - Data/HList/String.hs
major rename
[hs-rrdtool.git] / Data / HList / String.hs
index e3f878a25b69a8ecb82109dca957cc3c6d56c75a..cb06ef82c2bc751ba712c789155c2864b03b61fd 100644 (file)
@@ -11,11 +11,17 @@ import Types.Data.Num.Decimal.Literals.TH
 import Types.Data.Num.Ops
 
 
-class HString s
+class (Show s, Eq s) => HString s
 
-instance HString HNil
+instance HString Nil
 
-instance IntegerT c => HString (HCons c s)
+instance ( Show c
+         , Show s
+         , Eq c
+         , Eq s
+         , IntegerT c
+         )
+    => HString (Cons c s)
 
 hString :: QuasiQuoter
 hString = QuasiQuoter quoteStrExp quoteStrPat
@@ -28,8 +34,8 @@ quoteStrExp (c:cs) = appsE [ varE (mkName "hCons")
                            ]
 
 quoteStrPat :: String -> PatQ
-quoteStrPat []     = varP (mkName "HNil")
-quoteStrPat (c:cs) = conP (mkName "HCons")
+quoteStrPat []     = varP (mkName "Nil")
+quoteStrPat (c:cs) = conP (mkName "Cons")
                      [ sigP wildP (decLiteralT $ toInteger $ fromEnum c)
                      , quoteStrPat cs
                      ]