Open FFI file command

[texastoland]

Would it be generally useful to open the corresponding FFI file to the side? Go to definition for foreign imports would be better but sounds difficult.

[texastoland]

Never mind it'd be much preferable if Go to definition opened the file.

[i-am-the-slime]

I think it would still be useful to be able to open the FFI file (and create one if there isn't yet). It must be named the same as the .purs file and a machine should be able to do this task. Also, how do you get back to the "non-FFI" file?

[nwolverson]

Is toggle between the two more useful or 2 separate commands?

Imagining this is something not keybound by default but you'd want to do so if you were using it

[i-am-the-slime]

Toggling is nice. I guess in a perfect world it would be also possible to switch to actual exports and their foreign import counterparts.