Module functions 

Auto-generated module

🤖 Generated with SplitRS

Traits

KernelResultExt

Extension trait for Result<T, KernelError> that adds context.

Functions

collect_unknown_constants

Collect all unique unknown constants from a list of errors.

format_error_panel

Format a KernelError for display in an IDE panel.

has_universe_errors

Check whether a list of errors contains any universe inconsistencies.

summarise_error

Return a one-line summary of the error, truncated.

try_kernel

Wrap a closure into a KernelResult.

Type Aliases

KernelResult

Kernel result type.