scalaz

Value Members

1. object auto

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

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

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

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

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

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

6. implicit val scalazTagRefType: RefType[@@]

7. object syntax extends ScalazRefinedTypeOpsSyntax