scalaz

Value Members

1. object auto

   

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 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 val scalazTagRefType: RefType[@@]