sup

Type Members

1. sealed trait Health extends Product with Serializable

   

   The component's health status.

   The component's health status. It can only be Healthy or Sick - there's no middle ground (no Unknown state).

2. abstract class HealthCheck[F[_], H[_]] extends AnyRef

   

   A health check.

   A health check. F is the effect of making a healthcheck (e.g. IO for calls to external systems).

   H is the container of results. See HealthResult for examples.

3. type HealthCheckEndoMod[F[_], H[_]] = (HealthCheck[F, H]) ⇒ HealthCheck[F, H]

   

4. type HealthCheckMod[F[_], H[_], G[_], I[_]] = (HealthCheck[F, H]) ⇒ HealthCheck[G, I]

   

5. type HealthReporter[F[_], G[_], H[_]] = HealthCheck[F, [γ$0$]Report[G, H, γ$0$]]

   

6. final case class HealthResult[H[_]](value: H[Health]) extends AnyVal with Product with Serializable