lib.rs - source

Files

arret

subcommand

repl

arret_helper.rs command.rs history.rs mod.rs syntax.rs

compile.rs eval.rs mod.rs

arret_compiler

codegen

hir

import

filter.rs mod.rs parse.rs

macros

expander.rs linker.rs matcher.rs mod.rs

destruc.rs error.rs exports.rs loader.rs lowering.rs mod.rs ns.rs prim.rs records.rs scope.rs types.rs util.rs var_id.rs visitor.rs

mir

rfi

ty

conv_abi.rs datum.rs intersect.rs is_a.rs list_iter.rs mod.rs pred.rs props.rs purity.rs record.rs select.rs subst.rs subtract.rs ty_args.rs unify.rs var_usage.rs

typeck

dce.rs destruc.rs error.rs infer.rs mod.rs

arret_root.rs context.rs id_type.rs lib.rs promise.rs repl.rs reporting.rs source.rs

arret_lsp_server

handler

mod.rs text_synchronisation.rs workspace.rs

model

document.rs mod.rs workspace.rs

transport

bytestream.rs mod.rs

watcher

mod.rs syntax.rs

capabilities.rs json_rpc.rs main.rs session.rs

arret_rfi_derive

arret_runtime

arret_runtime_syntax

lib.rs reader.rs writer.rs

arret_syntax

anon_fun.rs datum.rs error.rs lib.rs parser.rs span.rs

stdlib

bitwise.rs hash.rs lib.rs list.rs math.rs number.rs read.rs set.rs testing.rs vector.rs write.rs

#![warn(clippy::all)]
#![warn(rust_2018_idioms)]

mod anon_fun;
pub mod datum;
pub mod error;
pub mod parser;
pub mod span;