#compiler #prolog #traits

chalk-ir

Chalk's internal representation of types, goals, and clauses

83 breaking releases

0.98.0 Jul 7, 2024
0.96.0 Jan 7, 2024
0.95.0 Nov 19, 2023
0.92.0 Jun 18, 2023
0.19.0 Jul 26, 2020

#137 in Rust patterns

Download history 9824/week @ 2024-09-10 10168/week @ 2024-09-17 10695/week @ 2024-09-24 10485/week @ 2024-10-01 12236/week @ 2024-10-08 10730/week @ 2024-10-15 12216/week @ 2024-10-22 11321/week @ 2024-10-29 9701/week @ 2024-11-05 9253/week @ 2024-11-12 9379/week @ 2024-11-19 9446/week @ 2024-11-26 10711/week @ 2024-12-03 10581/week @ 2024-12-10 9122/week @ 2024-12-17 6652/week @ 2024-12-24

38,925 downloads per month
Used in 28 crates (5 directly)

MIT/Apache

290KB
6K SLoC

A rust type library for chalk.

See Github for up-to-date information.


lib.rs:

Defines the IR for types and logical predicates.

Dependencies

~0.3–0.8MB
~19K SLoC