kind-driver-0.1.3
- kind-driver 0.1.3
- Permalink
- Docs.rs crate page
- MIT
- 08 August 2026
- Links
- crates.io
- Source
- Owners
- algebraic-dev
- Dependencies
- anyhow ^1.0.66 normal
  dashmap ^5.4.0 normal
  fxhash ^0.2.1 normal
  hvm ^1.0.8 normal
  kind-checker ^0.1.3 normal
  kind-parser ^0.1.3 normal
  kind-pass ^0.1.3 normal
  kind-report ^0.1.3 normal
  kind-span ^0.1.3 normal
  kind-target-hvm ^0.1.0 normal
  kind-target-kdl ^0.1.0 normal
  kind-tree ^0.1.3 normal
  strsim ^0.10.0 normal
- Versions
- 12.12% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

kind_driver0.1.3

Crate Items

Structs
Functions

List of all items

Structs

diagnostic::GenericDriverError
resolution::ResolutionError
session::Session

Functions

check_erasure_book
check_main_desugared_entry
check_main_entry
compile_book_to_hvm
compile_book_to_kdl
desugar_book
erase_book
eval_in_checker
execute_file
generate_checker
resolution::check_unbound_top_level
resolution::get_unbound_variables
resolution::parse_and_store_book
run_in_session
to_book
type_check_book