cats

object derivation extends DerivationInstances

implicit val negByteSemigroup: Semigroup[NegByte]

implicit val negDoubleSemigroup: Semigroup[NegDouble]

implicit val negFloatSemigroup: Semigroup[NegFloat]

implicit val negIntSemigroup: Semigroup[NegInt]

implicit val negLongSemigroup: Semigroup[NegLong]

implicit val negShortSemigroup: Semigroup[NegShort]

implicit val nonNegByteMonoid: Monoid[NonNegByte]

implicit val nonNegDoubleMonoid: Monoid[NonNegDouble]

implicit val nonNegFloatMonoid: Monoid[NonNegFloat]

implicit val nonNegIntMonoid: Monoid[NonNegInt]

implicit val nonNegLongMonoid: Monoid[NonNegLong]

implicit val nonNegShortMonoid: Monoid[NonNegShort]

implicit val nonPosDoubleMonoid: Monoid[NonPosDouble]

implicit val nonPosFloatMonoid: Monoid[NonPosFloat]

implicit val posByteSemigroup: Semigroup[PosByte]

implicit val posDoubleSemigroup: Semigroup[PosDouble]

implicit val posFloatSemigroup: Semigroup[PosFloat]

implicit val posIntSemigroup: Semigroup[PosInt]

implicit val posLongSemigroup: Semigroup[PosLong]

implicit val posShortSemigroup: Semigroup[PosShort]

implicit def refTypeEq[F[_, _], T, P](implicit arg0: Eq[T], rt: RefType[F]): Eq[F[T, P]]

Eq instance for refined types that delegates to the Eq instance of the base type.

implicit def refTypeOrder[F[_, _], T, P](implicit arg0: Order[T], rt: RefType[F]): Order[F[T, P]]

Order instance for refined types that delegates to the Order instance of the base type.

implicit def refTypeShow[F[_, _], T, P](implicit arg0: Show[T], rt: RefType[F]): Show[F[T, P]]

Show instance for refined types that delegates to the Show instance of the base type.

object syntax extends CatsRefinedTypeOpsSyntax with CatsNonEmptyListSyntax

def refTypeViaContravariant[F[_, _], G[_], T, P](implicit c: Contravariant[G], rt: RefType[F], gt: G[T]): G[F[T, P]]

def refTypeViaMonadError[F[_, _], G[_], T, P](implicit m: MonadError[G, String], rt: RefType[F], v: Validate[T, P], gt: G[T]): G[F[T, P]]