IdrisDoc: Data.String

# Data.String

parsePositive : Num a => String -> Maybe a

  Convert a positive number string to a Num.

      parsePositive "123"

      parsePositive {a=Int} " +123"

parseInteger : Num a => Neg a => String -> Maybe a

  Convert a number string to a Num.

      parseInteger " 123"

      parseInteger {a=Int} " -123"

parseDouble : String -> Maybe Double

  Convert a number string to a Double.

      parseDouble "+123.123e-2"

      parseDouble {a=Int} " -123.123E+2"

      parseDouble {a=Int} " +123.123"