def color.token.number

gralha-svg-render@0.1.0.1 · svg.bend:699

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

699def color.token.number(num: U.Number, sep: U32) -> ColorToken:
700  U.Number{x, unitName, ok} = num
701  +u = unitName
702  ColorToken{x, U.choose(U32, Bool.not(ok), 7, U.choose(U32, U.string.equal(u, ""), 0, U.choose(U32, U.string.equal(u, "%"), 1,
703    U.choose(U32, U.string.equal(u, "deg"), 2, U.choose(U32, U.string.equal(u, "rad"), 3, U.choose(U32, U.string.equal(u, "grad"), 4,
704      U.choose(U32, U.string.equal(u, "turn"), 5, 7))))))), sep}