eu.timepit.refined

api

package api

Visibility
  1. Public
  2. All

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. 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.

Value Members

  1. object Inference extends Serializable

  2. object RefType extends Serializable

  3. object Refined extends Serializable

  4. object Result extends Serializable

  5. object Validate extends Serializable

Ungrouped