Std.App.Health.Liveness
type
LivenessThis declaration introduces a public type.
What it does
Whether this process should still be running.
The judgement takes a reading and answers. It is given nothing that reaches
outside the process, because a database being unreachable is not a reason
to kill a healthy program — a liveness check that consults one turns a
dependency's outage into every instance restarting at once.
Declare the judgement `comptime` and the language refuses a body that
reaches a clock, a socket, or a file, which turns the rule from a note in
review into a compile error.
Read the signature
- This declaration has no value signature because it introduces a type or trait.
