Something went wrong. Try again.
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Something went wrong. Try again.
12345678910111213141516171819// The http mote's library root -- bare `use http` resolves here.//// Deliberately EMPTY for now, following proofs/src/lib.mo, and the reason// is a decision this file is not the place to make: none of the five// modules -- `types` (`Request`/`Response`/`Uri`), `uri`, `strings`,// `body`, `wire` -- declares anything `pub`. They work from other motes// only because package-private still crosses mote boundaries today, which// is a warning (`core/src/term/module.rs`) and is documented to become an// error.//// A re-export list here would therefore have to name package-private// defs, which warns, and would freeze the question "which of these are// this mote's API?" without anyone having answered it. The honest state is// that `http` is a working implementation with an unmade API decision, and// the win available today is the one this file delivers: `use http`// resolves, so a consumer can declare the dependency.//// The surface gets written when the `pub` markers do.