Module kailua_check::options [−] [src]

The user-configurable portion of the type checker.

Structs

An implementation of Options that loads from the file system.

Traits

FsSource	Checker options that are tailored to loading from the file system.
Options	Options for customizing the type checker.

Keyboard Shortcuts

?: Show this help dialog
S: Focus the search field
⇤: Move up in search results
⇥: Move down in search results
⏎: Go to active search result
+: Collapse/expand all sections

Search Tricks

Prefix searches with a type followed by a colon (e.g. fn:) to restrict the search to a given type.

Accepted types are: fn, mod, struct, enum, trait, type, macro, and const.

Search functions by type signature (e.g. vec -> usize or * -> vec)