Pudu programming language
Menu

Std.App.Health.countOf

1 declaration

fn

countOf: &Std.App.Health.Reading -> Str -> Int

This is a callable function.

What it does

A count the reading holds, or zero.

Declared comptime because a liveness judgement is, and a compile-time body

may only call compile-time functions — which is what makes that guarantee

transitive rather than a promise each function makes about itself.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • & borrows a value for this call instead of moving or copying it.

Back to Std.App.HealthSearch related declarations