what4-1.5.1: Solver-agnostic symbolic values support for issuing queries
Safe HaskellSafe-Inferred
LanguageHaskell2010

What4.Protocol.ReadDecimal

Synopsis

Documentation

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

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]'*(?)?