Skip to content

argumentcomputer/Http.lean

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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