feat: add useful functions in `Parsec`, add error variant and `Std.Data.ByteSlice` (#9599) This PR adds the type `Std.Internal.Parsec.Error`, which contains the constructors `.eof` (useful for checking if parsing failed due to not having enough input and then retrying when more input arrives that is useful in the HTTP server) and `.other`, which describes other errors. It also adds documentation to many functions, along with some new functions to the `ByteArray` Parsec, such as `peekWhen?`, `octDigit`, `takeWhile`, `takeUntil`, `skipWhile`, and `skipUntil`.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.