parse-double ( string -- float )

Vocabulary

redis.response-parser.private

Inputs

string

an object

Outputs

float

an object

Definition

USING: combinators math math.parser ;

IN: redis.response-parser.private

: parse-double ( string -- float )
    {
        { "inf" [ 1/0. ] }
        { "-inf" [ -1/0. ] }
        { "nan" [ 0/0. ] }
        [ string>number >float ]
    } case ;