Css.css.pseudo: def of gralha-css-style@0.1.0.1
Import: import gralha-css-style@0.1.0.1/css.bend as Css
Lines 165-173 of gralha-css-style@0.1.0.1/css.bend: https://jend.leeeet.dev/read.txt?path=gralha-css-style@0.1.0.1/css.bend&start_line=165&end_line=173

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

def css.pseudo(+key: String, +arg: String, +context: CSSContext) -> Bool:
  CSSContext{XML.Element{n, as, kids, txt}, parents, previous, index, count} = context
  U.choose(Bool, U.string.equal(key, "root"), css.is.root(parents),
    U.choose(Bool, U.string.equal(key, "first-child"), U32.is_eq(index, 1),
      U.choose(Bool, U.string.equal(key, "last-child"), U32.is_eq(index, count),
        U.choose(Bool, U.string.equal(key, "only-child"), U32.is_eq(count, 1),
          U.choose(Bool, U.string.equal(key, "nth-child"), css.nth(arg, index),
            U.choose(Bool, U.string.equal(key, "nth-last-child"), css.nth(arg, (count + 1 - index : U32)),
              U.string.equal(key, "empty") && css.empty(kids)))))))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=gralha-css-style@0.1.0.1/css.bend&name=CSSContext
  https://jend.leeeet.dev/definition.txt?path=gralha-css-style@0.1.0.1/css.bend&name=css.empty
  https://jend.leeeet.dev/definition.txt?path=gralha-css-style@0.1.0.1/css.bend&name=css.is.root
  https://jend.leeeet.dev/definition.txt?path=gralha-css-style@0.1.0.1/css.bend&name=css.nth
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=choose
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=string.equal
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=Element