Package

eu.timepit.refined

scalaz

Permalink

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

Type Members

  1. trait DerivationInstances extends AnyRef

    Permalink

  2. trait ScalazRefinedTypeOpsSyntax extends AnyRef

    Permalink

Value Members

  1. object auto

    Permalink

  2. object derivation extends DerivationInstances

    Permalink

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

    Permalink

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

  4. implicit def refTypeShow[F[_, _], T, P](implicit arg0: Show[T], rt: RefType[F]): Show[F[T, P]]

    Permalink

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

  5. implicit val scalazTagRefType: RefType[@@]

    Permalink

  6. object syntax extends ScalazRefinedTypeOpsSyntax

    Permalink

Deprecated Value Members

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

    Permalink
    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]]

    Permalink
    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