• 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
        • Substrings
        • Strtok
        • Equivalences
        • Url-encoding
          • *url-encode-array*
          • Url-encode-chars-aux
          • Url-encode-char
          • Url-encode-chars
          • Url-encode-string
          • Url-encode-string-aux
          • Fast-url-encode-char
        • 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

Url-encoding

Functions for % encoding strings for use in URLs, as described in RFC 3986.

Per RFC 3986, the only unreserved characters are ALPHA, DIGIT, -, ., _, and ~. We implement some functions to percent-encode other characters in character lists and strings.

Subtopics

*url-encode-array*
Array binding character codes to the pre-computed URL encodings.
Url-encode-chars-aux
URL encode a list of characters onto an accumulator in reverse order.
Url-encode-char
URL encode a single character. (slow, logically nice version).
Url-encode-chars
Simple way to URL encode a list of characters.
Url-encode-string
Simple way to URL encode a string.
Url-encode-string-aux
Efficiently way to URL encode a string, in reverse order, without exploding it.
Fast-url-encode-char
URL encode a single character. (fast, array-based version)