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. implicit def refTypeViaContravariant[F[_, _], G[_], T, P](implicit c: Contravariant[G], rt: RefType[F], gt: G[T]): G[F[T, P]]

   G instance for refined types derived via Contravariant[G] that delegates to the G instance of the base type.

   G instance for refined types derived via Contravariant[G] that delegates to the G instance of the base type.

   Typical examples for G are encoders.

5. implicit 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]]

   G instance for refined types derived via MonadError[G, String] that is based on the G instance of the base type.

   G instance for refined types derived via MonadError[G, String] that is based on the G instance of the base type.

   Typical examples for G are decoders.

6. object syntax extends CatsRefinedTypeOpsSyntax