Trying to proxy some Thrift calls.

gistfile1.hs

proxyCall :: (Typeable a) => String -> a -> Q Exp
proxyCall serviceName toProxy = do
  let parameterCount n a'     = case (typeRepArgs a') of
                                  [x, xs]             -> if tyConName $ typeRepTyCon x == "IO" then n else parameterCount (n + 1) xs
                                  _                   -> undefined
  let noOfParameters          = parameterCount 0 $ typeOf toProxy
  fieldNames                  <- traverse (\n -> mkName ("a" ++ (show n))) [1..noOfParameters]
  valueName                   <- fmap fromJust $ lookupValueName serviceName
  return [p| $(valueName) resource $(fieldNames) = Pool.withResource pool (\(ThriftConnection _ client) -> $(toProxy) client $(fieldNames)) |]