What4.Protocol.ReadDecimal

Documentation

readDecimal :: MonadFail m => String -> m (Rational, String)

Read decimal number, returning rational and rest of string, or a failure message if first character is not a digit.

A decimal number has the form (-)([0..9])+([0..9])+.([0.9]'*(?)?