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. trait LowPriorityMaxInstances extends AnyRef

4. trait LowPriorityMinInstances extends AnyRef

5. trait Max[T] extends AnyRef

   Type class defining the maximum value of a given type

6. trait MaxInstances extends LowPriorityMaxInstances

7. trait Min[T] extends AnyRef

   Type class defining the minimum value of a given type

8. trait MinInstances extends LowPriorityMinInstances

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

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

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

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

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

12. trait RefinedType[FTP] extends Serializable

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

13. class RefinedTypeOps[FTP, T] extends Serializable

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

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

15. trait Validate[T, P] extends Serializable

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