Documentation

Regex.Unicode.Utils

source
def Unicode.extract (data : Array (Array Substring)) :
Array (String × UInt32 × Option UInt32)

extract data from records

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Unicode.normalize (s : String) :
    String

    normalize property name name, see https://www.unicode.org/reports/tr44/#Matching_Rules

    Equations
    Instances For
      source
      def Unicode.toRange (val : UInt32 × Option UInt32) :
      NonemptyInterval Char
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For