std/src · monad · Tangled

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org

dependent-types language compiler programming-language functional-programming

1 folder · 48 files

anders.sorby.xyz · codegen: lower IO do-binds without the bind frame · 1d ago

typecheck: accept Type.Ctor use items; make Shared ambient

lang/typecheck: enforce a def's declared class constraints at the call site

std: make Ref and Array Copy; borrow-share watch and derive

copy: add scalar and std value-type Copy instances

base64_tests.mo

std: add the base64 and hex codecs

std: add the base64 and hex codecs

toolchain: key the cache by file, and make `use` lines mean what they say

bytebuf_tests.mo

typecheck: accept Type.Ctor use items; make Shared ambient

io: thread streams and buffers linearly

typecheck: accept Type.Ctor use items; make Shared ambient

typecheck: accept Type.Ctor use items; make Shared ambient

lang: enforce the visibility boundary at every reference

derive_tests.mo

std: make Ref and Array Copy; borrow-share watch and derive

typecheck: accept Type.Ctor use items; make Shared ambient

std: add the base64 and hex codecs

std: add the base64 and hex codecs

io_file_tests.mo

std/io: import StreamErrorKind in the file tests

io_loop_tests.mo

codegen: lower IO do-binds without the bind frame

typecheck: accept Type.Ctor use items; make Shared ambient

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/parser: use `::` in use paths, and `lib::` within a mote

std: borrow-share sort/dedup, streams and process handles in tests

list_tests3a.mo

std: borrow-share sort/dedup, streams and process handles in tests

list_tests3b.mo

toolchain: key the cache by file, and make `use` lines mean what they say

typecheck: accept Type.Ctor use items; make Shared ambient

toolchain: key the cache by file, and make `use` lines mean what they say

lang: enforce the visibility boundary at every reference

typecheck: accept Type.Ctor use items; make Shared ambient

std: add a pure text-to-number parser

std: read borrow-shaped helpers through Shared

std: Path for exposed file and directory defs

copy: add scalar and std value-type Copy instances

process_tests.mo

typecheck: accept Type.Ctor use items; make Shared ambient

typecheck: accept Type.Ctor use items; make Shared ambient

qualified_ref_tests.mo

toolchain: key the cache by file, and make `use` lines mean what they say

random_tests.mo

std: add a generic Random class and token helper

std: add a generic Random class and token helper

std/concurrent: return a Result from await_fiber and pollFiber

std: make Ref and Array Copy; borrow-share watch and derive

sha256_bench.mo

toolchain: key the cache by file, and make `use` lines mean what they say

sha256_tests.mo

rust: move the host workspace into rust/

typecheck: accept Type.Ctor use items; make Shared ambient

lang/scope: enforce priv, and warn on cross-mote package-private

stream_tests.mo

typecheck: accept Type.Ctor use items; make Shared ambient

std: borrow-share sort/dedup, streams and process handles in tests

test_map_full.mo

lang: enforce the visibility boundary at every reference

std: read borrow-shaped helpers through Shared

typecheck: accept Type.Ctor use items; make Shared ambient

typecheck: accept Type.Ctor use items; make Shared ambient