Std.App.Health

24 public declarations

• alive&Array[Std.App.Health.Liveness] -> &Std.App.Health.Reading -> Std.App.Health.Report

  Whether this process should still be running.

  fn
• counting&Std.App.Health.Reading -> Str -> Int -> Std.App.Health.Reading

  A reading with one more count.

  fn
• countOf&Std.App.Health.Reading -> Str -> Int

  A count the reading holds, or zero.

  fn
• detailedStr -> Std.App.Health.Verdict -> Str -> Std.App.Health.Finding

  A finding with something said about it, for a check that knows more than

  fn
• Finding

  One check's answer.

  type
• flagging&Std.App.Health.Reading -> Str -> Bool -> Std.App.Health.Reading

  A reading with one more flag.

  fn
• flagOf&Std.App.Health.Reading -> Str -> Bool

  A flag the reading holds, or false.

  fn
• fromTruthBool -> Std.App.Health.Verdict

  A verdict from a truth, for the many checks that are one.

  fn
• healthy&Std.App.Health.Report -> Bool

  Whether a report says everything is fine.

  fn
• livenessStr -> fn(Std.App.Health.Reading) -> Std.App.Health.Verdict -> Std.App.Health.Liveness

  A liveness check.

  fn
• Liveness

  Whether this process should still be running.

  type
• nothingToCheckStd.App.Health.Report

  A report with no checks in it, which is well: a program that declared

  fn
• readinessStr -> fn() -> Std.App.Health.Verdict -> Std.App.Health.Readiness

  A readiness check.

  fn
• Readiness

  Whether this process should receive traffic.

  type
• readingStr -> Std.App.Health.Reading

  A reading with nothing in it.

  fn
• Reading

  What the program can see about itself.

  type
• ready&Array[Std.App.Health.Readiness] -> Std.App.Health.Report

  Whether this process should receive traffic.

  fn
• render&Std.App.Health.Report -> Str

  A report as text, one check to a line, worst first so an operator reading a

  fn
• Report

  What a set of checks reached.

  type
• reporting&Array[Std.App.Health.Finding] -> Std.App.Health.Report

  A report from findings a caller assembled, for a program that gathered them

  fn
• statusOf&Std.App.Health.Report -> Int

  The status a report answers with.

  fn
• Verdict

  How something is.

  type
• verdictName&Std.App.Health.Verdict -> Str

  What a verdict is called.

  fn
• worstOf&Array[Std.App.Health.Finding] -> Std.App.Health.Verdict

  The worst of a set.

  fn