The HTTP Trait

HTTP trait

...
   introduces
      http: absoluteURI, Message, Message, HTTPFormat, HTTPFormat -> Bool
        % for http(i, q, p, qf, pf) read:
        %  the message q, the request, and the message p, the reply,
        %  constitute a conforming HTTP transaction; the parsed data
        %  in the request and the reply are pf and pf respectively,
        %  and the request URI is i.