Pudu programming language
Menu

Std.App.Health.Liveness

1 declaration

type

Liveness

This 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.

Back to Std.App.HealthSearch related declarations