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 carrier type of a refinement.

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

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

6. trait RefinedType[FTP] extends Serializable

   Type class that combines RefType and Validate instances for a refined type FTP.

7. class RefinedTypeOps[FTP, T] extends Serializable

   Provides functions to create values of the refined type FTP from values of the base type T.

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

9. trait Validate[T, P] extends Serializable

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