CODEWITHSUNDEEP
haskelltemplate-haskell
RandomB
RandomB

Reputation: 3737

How to "encode" this simple expression in template Haskell?

I have a call myFun @m @d. And now I want to code it for my template Haskell. I try

let myFunCall = AppTypeE (VarE $ mkName "myFun") (AppT (VarT $ mkName "m") (VarT $ mkName "d"))

But it's invalid because I get myFun @(m d).

To be honest I have not idea even how to achieve it.

Upvotes: 0

Views: 112

Answers (1)

leftaroundabout
leftaroundabout

Reputation: 120711

As with any other sort of function application in Haskell, it associates argument by argument. I.e. myFun @m @d is (myFun @m) @d. Each of the @ is an AppTypeE of its own, i.e. you need

   AppTypeE (AppTypeE (VarE $ mkName "myFun") ...) ...

Upvotes: 2

Related Questions