comments.idr

import TParsec

except : (Alternative mn, Monad mn, Inspect (Toks p) (Tok p), Eq (Tok p)) =>
         Tok p -> All (Parser mn p (Tok p))
except t = guard (\t' => (t /= t')) anyTok

notChar : (Alternative mn, Monad mn, Subset Char (Tok p), Eq (Tok p), Inspect (Toks p) (Tok p)) =>
          Char -> All (Parser mn p (Tok p))
notChar = except . into

skip : Parser mn p a -> Parser mn p ()
skip = ?skiphole

-- skipMany : ???
-- skipMany = ?skipMany_rhs

comments : (Alternative mn, Monad mn, Subset Char (Tok p), Inspect (Toks p) (Tok p), Eq (Tok p)) =>
           All (Parser mn p ())
comments = between (char ';') (char '\n') (skipMany $ notChar '\n')