Http.lean | Reservoir

Http basics for Lean

Uses Socket.lean to create basic HTTP functionality.

Build with nix build .

Command line examples

It can be used from the commandline like so

nix run . -- --get http://www.example.com

Code examples

A basic snippet to perform a GET request.

import Http

open Http

def main : IO Unit :=
  -- Supports (basic) URL parsing
  let url ← URI.parse "http://www.example.com"
  let response ← Client.get url
  if let some body := response.body then
    println! body
  else
    println! "no body in response"

Features TODO

[] Parsing and sanitizing special characters in URIs [] Https and OpenSSL.lean integration [] Simple server functionality [] Add doc-gen4