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