Skip to main content

ConformanceResult

For the complete documentation index, see llms.txt

@midnight-ntwrk/compact-runtime v0.20.0


@midnight-ntwrk/compact-runtime / ConformanceResult

Type Alias: ConformanceResult

type ConformanceResult =
| {
outcome: "Conformant";
}
| {
outcome: "Violation";
} & ConformanceViolation
| {
outcome: "Unreadable";
} & UnreadableSignature;

The outcome of checking a module against a contract type. Tagged, so a call site has to handle all three.