[Agda] inspect idiom with more than one argument

Xuanrui Qi xqi01 at cs.tufts.edu
Sat Mar 16 20:21:37 CET 2019


Hello all,

I have used the inspect idiom from time to time, but it seems that I
can't really "inspect" a function call with more than 1 argument. Say I
want to do this:

    f x y with g x y | inspect g x y

However, this won't work, unfortunately. Are there any ways to work
around this? e.g. uncurrying the function?

Thanks,
Ray

-- 
Xuanrui (Ray) Qi

xqi01 at cs.tufts.edu
me at xuanruiqi.com
https://www.xuanruiqi.com



More information about the Agda mailing list