• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
        • Pretty-printing
        • Printtree
        • Base64
        • Charset-p
        • Strtok!
        • Cases
        • Concatenation
        • Html-encoding
        • Character-kinds
          • Letter/digit/uscore/dollar-char-p
          • Letter/digit/uscore/dash-char-p
          • Letter/uscore/dollar-char-p
          • Letter/digit/uscore-char-p
          • Letter/digit/dash-char-p
          • Letter-char-p
          • Letter/digit-char-p
          • Lcletter/digit-char-p
          • Ucletter/digit-char-p
          • Printable-char-p
          • Nondigit-char-p
          • Ucletter-char-p
          • Lcletter-char-p
        • Substrings
        • Strtok
        • Equivalences
        • Url-encoding
        • Lines
        • Explode-implode-equalities
        • Ordering
        • Numbers
        • Pad-trim
        • Coercion
        • Std/strings/digit-to-char
        • Substitution
        • Symbols
      • Std/osets
      • Std/io
      • Std/basic
      • Std/system
      • Std/typed-lists
      • Std/bitsets
      • Std/testing
      • Std/typed-alists
      • Std/stobjs
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Std/strings

Character-kinds

Predicates that characterize various kinds of characters, and lists of such characters.

Subtopics

Letter/digit/uscore/dollar-char-p
Recognize ASCII letters, decimal digits, underscores, and dollar signs.
Letter/digit/uscore/dash-char-p
Recognize ASCII letters, decimal digits, underscores, and dashes.
Letter/uscore/dollar-char-p
Recognize ASCII letters, underscores, and dollar signs.
Letter/digit/uscore-char-p
Recognize ASCII letters, decimal digits, and underscores.
Letter/digit/dash-char-p
Recognize ASCII letters, decimal digits, and dashes.
Letter-char-p
Recognize ASCII letters.
Letter/digit-char-p
Recognize ASCII letters and decimal digits.
Lcletter/digit-char-p
Recognize lowercase ASCII letters and decimal digits.
Ucletter/digit-char-p
Recognize uppercase ASCII letters.
Printable-char-p
Recognize printable ASCII characters, i.e. spaces and visible ASCII characters.
Nondigit-char-p
Recognize characters that are not decimal digits.
Ucletter-char-p
Recognize uppercase ASCII letters.
Lcletter-char-p
Recognize lowercase ASCII letters.