Packages

package cats

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

Type Members

  1. trait CatsNonEmptyListSyntax extends AnyRef
  2. trait CatsRefinedTypeOpsSyntax extends AnyRef
  3. trait DerivationInstances extends AnyRef

Value Members

  1. implicit val negByteSemigroup: Semigroup[NegByte]
  2. implicit val negDoubleSemigroup: Semigroup[NegDouble]
  3. implicit val negFloatSemigroup: Semigroup[NegFloat]
  4. implicit val negIntSemigroup: Semigroup[NegInt]
  5. implicit val negLongSemigroup: Semigroup[NegLong]
  6. implicit val negShortSemigroup: Semigroup[NegShort]
  7. implicit val nonNegByteMonoid: Monoid[NonNegByte]
  8. implicit val nonNegDoubleMonoid: Monoid[NonNegDouble]
  9. implicit val nonNegFloatMonoid: Monoid[NonNegFloat]
  10. implicit val nonNegIntMonoid: Monoid[NonNegInt]
  11. implicit val nonNegLongMonoid: Monoid[NonNegLong]
  12. implicit val nonNegShortMonoid: Monoid[NonNegShort]
  13. implicit val nonPosDoubleMonoid: Monoid[NonPosDouble]
  14. implicit val nonPosFloatMonoid: Monoid[NonPosFloat]
  15. implicit val posByteSemigroup: Semigroup[PosByte]
  16. implicit val posDoubleSemigroup: Semigroup[PosDouble]
  17. implicit val posFloatSemigroup: Semigroup[PosFloat]
  18. implicit val posIntSemigroup: Semigroup[PosInt]
  19. implicit val posLongSemigroup: Semigroup[PosLong]
  20. implicit val posShortSemigroup: Semigroup[PosShort]
  21. implicit def refTypeEq[F[_, _], T, P](implicit arg0: Eq[T], rt: RefType[F]): Eq[F[T, P]]

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

  22. implicit def refTypeOrder[F[_, _], T, P](implicit arg0: Order[T], rt: RefType[F]): Order[F[T, P]]

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

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

  24. object derivation extends DerivationInstances
  25. object syntax extends CatsRefinedTypeOpsSyntax with CatsNonEmptyListSyntax

Deprecated Value Members

  1. def refTypeViaContravariant[F[_, _], G[_], T, P](implicit c: Contravariant[G], rt: RefType[F], gt: G[T]): G[F[T, P]]
    Annotations
    @deprecated
    Deprecated

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

  2. def refTypeViaMonadError[F[_, _], G[_], T, P](implicit m: MonadError[G, String], rt: RefType[F], v: Validate[T, P], gt: G[T]): G[F[T, P]]
    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