Module checker 

Structs

CheckResult

Result of type checking a program.

CheckerConfig

Configuration for the type checker.

TypeError

A type error with source location.

Functions

check_match_exhaustiveness

Check match arms for exhaustiveness on typed enums/result/option.

check_match_exhaustiveness_patterns

Check match arms for exhaustiveness using Pattern types. Returns a list of missing variant names, or empty if exhaustive.

check_program

Type check a program. Returns errors and warnings.

is_pascal_case

Check if a name follows PascalCase convention.

is_snake_case

Check if a name follows snake_case convention.