| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Digit.DDd
Documentation
parseDd :: (DDd d, CharParsing p) => p d Source #
>>>parse (parseDd <* eof) "test" "D" :: Either ParseError DigitRight D
>>>parse parseDd "test" "Dxyz" :: Either ParseError DigitRight D
>>>parse (parseDd <* eof) "test" "d" :: Either ParseError DigitRight d
>>>parse parseDd "test" "dxyz" :: Either ParseError DigitRight d
>>>isn't _Right (parse parseDd "test" "xyz" :: Either ParseError Digit)True
\c -> (c `notElem` "Dd") ==> isn't _Right (parse parseDd "test" [c] :: Either ParseError Digit)