Pudu programming language
Menu

Std.App.Health.Reading

1 declaration

type

Reading

This declaration introduces a public type.

What it does

What the program can see about itself.

A liveness judgement is given one of these rather than a connection, so it

has nothing to reach with. What a program puts in it is its own — a count

of workers, a queue depth, a flag set when something went irrecoverably

wrong — and every one of those is a value the process already holds.

Read the signature

  • This declaration has no value signature because it introduces a type or trait.

Back to Std.App.HealthSearch related declarations