def shape.rect
gralha-svg-render@0.1.0.1 · svg.bend:864
import gralha-svg-render@0.1.0.1/svg.bend as Svg
import Base
import gralha-text-scan@0.1.0.1/scan.bend as U
import gralha-xml-doc@0.1.0.1/xml.bend as XML
864def shape.rect(+as: List<&2, XML.Attr>, +vw: F32, +vh: F32) -> String:
865 +w = dimension(as, "width", vw, "0")
866 +h = dimension(as, "height", vh, "0")
867 +rx = U.min((w / 2.0 : F32), U.max(0.0, dimension(as, "rx", vw, XML.attr.get(as, "ry", "0"))))
868 +ry = U.min((h / 2.0 : F32), U.max(0.0, dimension(as, "ry", vh, XML.attr.get(as, "rx", "0"))))
869 U.branch(String, F32.is_gt(w, 0.0) && F32.is_gt(h, 0.0),
870 _ => shape.rect.path(dimension(as, "x", vw, "0"), dimension(as, "y", vh, "0"), w, h, rx, ry), _ => "")