Value Members

1.  implicit def refTypeContravariant[R[_, _], F[_], A, B](implicit C: Contravariant[F], R: RefType[R], F: F[A]): F[R[A, B]]

   Instances for typeclasses with a Contravariant, e.g.

   Instances for typeclasses with a Contravariant, e.g. encoders.

2.  implicit def refTypeEqual[F[_, _], T, P](implicit arg0: Equal[T], rt: RefType[F]): Equal[F[T, P]]

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

3.  implicit def refTypeMonadError[R[_, _], F[_], A, B](implicit M: MonadError[F, String], R: RefType[R], V: Validate[A, B], F: F[A]): F[R[A, B]]

   Instances for typeclasses with a MonadError[?, String], i.e.

   Instances for typeclasses with a MonadError[?, String], i.e. a disjunction kleisli arrow applied to the typeclass. e.g. decoders.

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

5.  implicit val scalazTagRefType: RefType[@@]
6.  object auto
7.  object syntax extends ScalazRefinedTypeOpsSyntax