cats

Value Members

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

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

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

4. object syntax extends CatsRefinedTypeOpsSyntax