file

In std/io.

fn file(path: String) : File

The File at path. Constructing it is pure and opens nothing: file("birds.json").path is "birds.json". A URL is a type error when it is a literal and an evaluation failure when it is computed; a network resource is read with http.