Packages

package scalaz

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. scalaz
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

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

  3. implicit val scalazTagRefType: RefType[@@]
  4. object auto
  5. object derivation extends DerivationInstances
  6. object syntax extends ScalazRefinedTypeOpsSyntax

Deprecated Value Members

  1. def refTypeContravariant[R[_, _], F[_], A, B](implicit C: Contravariant[F], R: RefType[R], F: F[A]): F[R[A, B]]
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.4) Generic derivation instances have been moved into the derivation object

  2. 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]]
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.4) Generic derivation instances have been moved into the derivation object

Inherited from AnyRef

Inherited from Any

Ungrouped