Documentation

LeanUri.Normalization

6.2.2.1 Case Normalization #

source
partial def LeanUri.Internal.uppercasePercentHex (s : String) (acc : String := "") :
String

Uppercase hexadecimal digits in percent-encodings only

source
def LeanUri.Internal.normalizeSchemeLower (scheme : String) :
String

Normalize the case of a scheme (lowercase)

Equations
Instances For
    source
    def LeanUri.Internal.normalizeHostLower (host : String) :
    String

    Normalize the case of a host component (lowercase for reg-name, uppercase hex digits for IPv6)

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def LeanUri.Internal.normalizeAuthorityCase (auth : String) :
      String

      Normalize an authority component (case only). Assumes the input is syntactically valid (e.g., bracketed IPv6, at most one '@', etc.).

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def LeanUri.Internal.normalizeCase (uri : URI) :
        URI

        Case normalization of a URI according to RFC 3986 Section 6.2.2.1.

        • Scheme and host to lowercase
        • Hexadecimal digits in percent-encodings to uppercase
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For

          6.2.2.2 Percent-Encoding Normalization #

          source
          def LeanUri.Internal.normalizePercentEncoding (uri : URI) :
          URI

          Percent-encoding normalization according to RFC 3986 Section 6.2.2.2. Decodes percent-encoded octets that correspond to unreserved characters.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For

            6.2.2.3 Path Segment Normalization #

            source
            def LeanUri.Internal.normalizePathSegments (uri : URI) :
            URI

            Path segment normalization according to RFC 3986 Section 6.2.2.3. Removes dot-segments from the path.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For

              6.2.2 Syntax-Based Normalization #

              source
              def LeanUri.Internal.normalizeAll (uri : URI) :
              URI

              This combines:

              • Case normalization (6.2.2.1)
              • Percent-encoding normalization (6.2.2.2)
              • Path segment normalization (6.2.2.3)
              Equations
              Instances For