Skip to main content

Module capability

Module capability 

Source
Expand description

Capabilities required by Cove code.

Cove code has no ambient authority. External operations are typed Host APIs, and the compiler derives which capabilities each function needs from its call graph.

Structs§

Capability
A coarse capability named in cove.toml.

Enums§

OpenCall
Why a declaration’s derived capability set is a lower bound rather than the whole of what calling it can reach.

Functions§

open_reasons
The reasons open carries, as the one clause every report prints after capability-open:.