Category "idris"

How can i convince Idris that my function is covering?

I wrote a function doSomething that takes an open or closed parenthesis and returns a corresponding Int: doSomething : (c : Char) -> {auto isPar : c == '(' |