Template Haskell...

MR K P SCHUPKE k.schupke at imperial.ac.uk
Wed Oct 29 17:46:09 EST 2003


Okay, I have got my template working, but its extremely unreadable... could
anyone tell me how to make this look more like normal Haskell code?

stringType :: String -> Q [Dec]
stringType s = do
   x <- gensym "x"
   return [
      Newtype [] s [] (Constr s [(NonStrict,Tcon (TconName "String"))]) [],
      Proto ("show"++s) (Tapp (Tapp (Tcon Arrow) (Tcon (TconName s))) (Tcon (TconName "ShowS"))),
      Fun ("show"++s) [Clause [Pcon s [Pvar x]] (Normal (App (Var "showString") (Var x))) []],
      Instance [] (Tapp (Tcon (TconName "Show")) (Tcon (TconName s))) [
         Fun "showsPrec" [Clause [Pwild,Pvar x] (Normal (App (Var ("show"++s)) (Var x))) []]] ]


More information about the Glasgow-haskell-users mailing list