Documentation

Regex.Unicode.GraphemeBreakProperty

GraphemeBreakProperty #

Properties of file GraphemeBreakProperty

source
structure Unicode.GraphemeBreakProperty :
Type
Instances For
    source
    instance Unicode.instToStringGraphemeBreakProperty :
    ToString Unicode.GraphemeBreakProperty
    Equations
    • One or more equations did not get rendered due to their size.
    source
    def Unicode.GraphemeBreakProperty.txt :
    String
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Unicode.GraphemeBreakProperty.data :
      Array Unicode.GraphemeBreakProperty
      Equations
      Instances For
        source
        def Unicode.rangesOfGraphemeBreak (s : String) :
        Except String (Array (NonemptyInterval Char))
        Instances For