Documentation

>>> parse (parseBinaryNoZero <* eof) "test" "1" :: Either ParseError Digit
Right 1

>>> parse parseBinaryNoZero "test" "1xyz" :: Either ParseError Digit
Right 1

>>> isn't _Right (parse parseBinaryNoZero "test" "xyz" :: Either ParseError Digit)
True

\c -> (c `notElem` "1") ==> isn't _Right (parse parseBinaryNoZero "test" [c] :: Either ParseError Digit)

>>> parse (parseBinary <* eof) "test" "0" :: Either ParseError Digit
Right 0

>>> parse parseBinary "test" "0xyz" :: Either ParseError Digit
Right 0

>>> parse (parseBinary <* eof) "test" "1" :: Either ParseError Digit
Right 1

>>> parse parseBinary "test" "1xyz" :: Either ParseError Digit
Right 1

>>> isn't _Right (parse parseBinary "test" "xyz" :: Either ParseError Digit)
True

\c -> (c `notElem` "01") ==> isn't _Right (parse parseBinary "test" [c] :: Either ParseError Digit)