takeWhileP/takeWhileP1?

[Truedrog]

Right now I am subsituting them like this many (satisfy f).
Or maybe I am missing something?

[j-mie6]

There is no direct equivalent no (it's something I could consider adding), but you probably meant want stringOfMany(satisfy(f)): this is more like the equivalent of many(satisfy(f)).map(_.mkString) though, so it depends on if you wanted a String or List[Char] back.

[Truedrog]

I meant this https://hackage.haskell.org/package/megaparsec-9.3.0/docs/Text-Megaparsec.html#v:takeWhileP

But yeah, stringOfMany is good here. I was using many (satisfy f) because of that analogy

[j-mie6]

Yeah, I figured you did. It might be something I can consider adding, even if its definition is literally def takeWhile(p: Char => Boolean) = stringOfMany(satisfy(p))

[j-mie6]

Parsley 4.4.0-M2 has exposed an overloading of stringOfMany, and stringOfSome, that allow for a predicate to be passed: this models the desired behaviour of takeWhileP from mgeaparsec. This will make it into the 4.4.0 release properly in due course.