I would say that diamond is the best way to sharpen carbide. I have only ever seen and used Diamond wheels dry but I use water on the diamond 'stones' that have many advantages over the traditional oilstones (although they are much favoured by craftsman woodworkers.
So water not oil, for the hand held diamond files etc.
Ian P