[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