api

Type Members

1. final case class Failed[A](detail: A) extends Result[A] with Product with Serializable

2. case class Inference[P, C](isValid: Boolean, show: String) extends Product with Serializable

   Evidence that states if the conclusion C can be inferred from the premise P or not.

3. final case class Passed[A](detail: A) extends Result[A] with Product with Serializable

4. trait RefType[F[_, _]] extends Serializable

   Type class that allows F to be used as result type of a refinement.

5. final case class Refined[T, P] extends Product with Serializable

   Wraps a value of type T that satisfies the predicate P.

6. sealed abstract class Result[A] extends Product with Serializable

7. trait Validate[T, P] extends Serializable

   Type class for validating values of type T according to a type-level predicate P.