Commits

Anonymous committed e89fdea

NatProxy type generation template haskell

  • Participants
  • Parent commits 81f1929

Comments (0)

Files changed (1)

Data/Fields/TH.hs

 natProxy  n = do
     n <- nat n
     return $ (SigE (VarE 'undefined)) (AppT (ConT ''NatProxy) n)
+
+natProxyT = fmap (AppT (ConT ''NatProxy)) . nat