Simple HTTP requests library

examples/stdlib/acme.effekt

@@ -17,7 +17,9 @@ import io/console
 import io/error
 import io/filesystem
 import io/network
+import io/requests
 import io/time
+import io/uri
 import json
 import list
 import map

examples/stdlib/io/uri.check

@@ -0,0 +1,35 @@
+/  !
+Hallo Welt!/&^$@^*(&$)(*!_!_+")
+Hallo%20Welt%21%2F%26^%24%40^%2A%28%26%24%29%28%2A%21_%21_%2B"%29
+Hallo Welt!/&^$@^*(&$)(*!_!_+")
+Hallo%20Welt%21%2F%26%5E%24%40%5E%2A%28%26%24%29%28%2A%21_%21_%2B%22%29
+ftp://ftp.is.co.za/rfc/rfc1808.txt
+  Scheme: ftp
+  Host: ftp.is.co.za
+  Path: /rfc/rfc1808.txt
+http://www.ietf.org/rfc/rfc2396.txt
+  Scheme: http
+  Host: www.ietf.org
+  Path: /rfc/rfc2396.txt
+ldap://[2001:db8::7]/c=GB?objectClass?one
+  Scheme: ldap
+  Host: [2001:db8::7]
+  Path: /c=GB
+  Query: objectClass?one
+mailto:[email protected]
+  Scheme: mailto
+  Path: [email protected]
+news:comp.infosystems.www.servers.unix
+  Scheme: news
+  Path: comp.infosystems.www.servers.unix
+tel:+1-816-555-1212
+  Scheme: tel
+  Path: +1-816-555-1212
+telnet://192.0.2.16:80/
+  Scheme: telnet
+  Host: 192.0.2.16
+  Port: 80
+  Path: /
+urn:oasis:names:specification:docbook:dtd:xml:4.1
+  Scheme: urn
+  Path: oasis:names:specification:docbook:dtd:xml:4.1

examples/stdlib/io/uri.effekt

@@ -0,0 +1,32 @@
+import io/uri
+
+def report(uri: String): Unit = {
+  with on[WrongFormat].panic
+  println(uri)
+  try parseURI(uri) with URIBuilder {
+    def scheme(s) = resume(println("  Scheme: " ++ s))
+    def userinfo(u) = resume(println("  Userinfo: " ++ u))
+    def host(h) = resume(println("  Host: " ++ h))
+    def path(p) = resume(println("  Path: " ++ p))
+    def port(p) = resume(println("  Port: " ++ p.show))
+    def query(q) = resume(println("  Query: " ++ q))
+    def fragment(q) = resume(println("  Fragment: " ++ q))
+  }
+}
+def main() = {
+  println(urldecode("%2F%20%20!"))
+  println(urldecode(urlencodePermissive("Hallo Welt!/&^$@^*(&$)(*!_!_+\")")))
+  println(urlencodePermissive("Hallo Welt!/&^$@^*(&$)(*!_!_+\")"))
+  println(urldecode(urlencode("Hallo Welt!/&^$@^*(&$)(*!_!_+\")")))
+  println(urlencode("Hallo Welt!/&^$@^*(&$)(*!_!_+\")"))
+
+  // examples from the spec
+  report("ftp://ftp.is.co.za/rfc/rfc1808.txt")
+  report("http://www.ietf.org/rfc/rfc2396.txt")
+  report("ldap://[2001:db8::7]/c=GB?objectClass?one")
+  report("mailto:[email protected]")
+  report("news:comp.infosystems.www.servers.unix")
+  report("tel:+1-816-555-1212")
+  report("telnet://192.0.2.16:80/")
+  report("urn:oasis:names:specification:docbook:dtd:xml:4.1")
+}

libraries/common/char.effekt

@@ -52,6 +52,15 @@ def digitValue(char: Char, base: Int): Int / Exception[WrongFormat] = {
   digit
 }
 
+/// Encodes a number in the range 0..15 as a hex character.
+///
+/// Panics on all other numbers.
+def hexDigit(for: Int): Char = for match {
+  case i and i >= 0 and i < 10 => ('0'.toInt + i).toChar
+  case i and i >= 0 and i < 16 => ('A'.toInt + (i - 10)).toChar
+  case _ => panic(for.show ++ " is not in [0,16).")
+}
+
 /// Checks if the given character is an ASCII digit in base 10
 /// Prefer using `digitValue(c: Char)` to get the numeric value out.
 def isDigit(char: Char): Bool = result[Int, WrongFormat] { digitValue(char) }.isSuccess
@@ -70,9 +79,21 @@ def isASCII(c: Char): Bool = { c.toInt < 128 }
 /// Checks if a given character is an ASCII lower alphabetic character
 def isLower(c: Char): Bool = { c >= 'a' && c <= 'z' }
 
+/// Lower-cases the given ASCII character
+def toLower(c: Char): Char =
+  if (c >= 'A' && c <= 'Z') {
+    ('a'.toInt + (c.toInt - 'A'.toInt)).toChar
+  } else { c }
+
 /// Checks if a given character is an ASCII upper alphabetic character
 def isUpper(c: Char): Bool = { c >= 'A' && c <= 'Z' }
 
+/// Upper-cases the given ASCII character
+def toUpper(c: Char): Char =
+  if (c >= 'a' && c <= 'z') {
+    ('A'.toInt + (c.toInt - 'a'.toInt)).toChar
+  } else { c }
+
 /// Checks if a given character is an ASCII alphabetic or numeric character
 def isAlphanumeric(c: Char): Bool = isDigit(c) || isLower(c) || isUpper(c)