package cats
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- cats
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- trait CatsNonEmptyListSyntax extends AnyRef
- trait CatsNonEmptyVectorSyntax extends AnyRef
- trait CatsRefinedTypeOpsSyntax extends AnyRef
- trait DerivationInstances extends AnyRef
- trait UnorderedFoldableInstances extends AnyRef
Value Members
- implicit val negByteCommutativeSemigroup: CommutativeSemigroup[NegByte]
- val negByteSemigroup: Semigroup[NegByte]
- implicit val negDoubleCommutativeSemigroup: CommutativeSemigroup[NegDouble]
- val negDoubleSemigroup: Semigroup[NegDouble]
- implicit val negFloatCommutativeSemigroup: CommutativeSemigroup[NegFloat]
- val negFloatSemigroup: Semigroup[NegFloat]
- implicit val negIntCommutativeSemigroup: CommutativeSemigroup[NegInt]
- val negIntSemigroup: Semigroup[NegInt]
- implicit val negLongCommutativeSemigroup: CommutativeSemigroup[NegLong]
- val negLongSemigroup: Semigroup[NegLong]
- implicit val negShortCommutativeSemigroup: CommutativeSemigroup[NegShort]
- val negShortSemigroup: Semigroup[NegShort]
- implicit val nonNegByteCommutativeMonoid: CommutativeMonoid[NonNegByte]
- val nonNegByteMonoid: Monoid[NonNegByte]
- implicit val nonNegDoubleCommutativeMonoid: CommutativeMonoid[NonNegDouble]
- val nonNegDoubleMonoid: Monoid[NonNegDouble]
- implicit val nonNegFloatCommutativeMonoid: CommutativeMonoid[NonNegFloat]
- val nonNegFloatMonoid: Monoid[NonNegFloat]
- implicit val nonNegIntCommutativeMonoid: CommutativeMonoid[NonNegInt]
- val nonNegIntMonoid: Monoid[NonNegInt]
- implicit val nonNegLongCommutativeMonoid: CommutativeMonoid[NonNegLong]
- val nonNegLongMonoid: Monoid[NonNegLong]
- implicit val nonNegShortCommutativeMonoid: CommutativeMonoid[NonNegShort]
- val nonNegShortMonoid: Monoid[NonNegShort]
- implicit val nonPosDoubleCommutativeMonoid: CommutativeMonoid[NonPosDouble]
- val nonPosDoubleMonoid: Monoid[NonPosDouble]
- implicit val nonPosFloatCommutativeMonoid: CommutativeMonoid[NonPosFloat]
- val nonPosFloatMonoid: Monoid[NonPosFloat]
- implicit val posByteCommutativeSemigroup: CommutativeSemigroup[PosByte]
- val posByteSemigroup: Semigroup[PosByte]
- implicit val posDoubleCommutativeSemigroup: CommutativeSemigroup[PosDouble]
- val posDoubleSemigroup: Semigroup[PosDouble]
- implicit val posFloatCommutativeSemigroup: CommutativeSemigroup[PosFloat]
- val posFloatSemigroup: Semigroup[PosFloat]
- implicit val posIntCommutativeSemigroup: CommutativeSemigroup[PosInt]
- val posIntSemigroup: Semigroup[PosInt]
- implicit val posLongCommutativeSemigroup: CommutativeSemigroup[PosLong]
- val posLongSemigroup: Semigroup[PosLong]
- implicit val posShortCommutativeSemigroup: CommutativeSemigroup[PosShort]
- val posShortSemigroup: Semigroup[PosShort]
- implicit def refTypeEq[F[_, _], T, P](implicit arg0: Eq[T], rt: RefType[F]): Eq[F[T, P]]
Eqinstance for refined types that delegates to theEqinstance of the base type. - implicit def refTypeOrder[F[_, _], T, P](implicit arg0: Order[T], rt: RefType[F]): Order[F[T, P]]
Orderinstance for refined types that delegates to theOrderinstance of the base type. - implicit def refTypeShow[F[_, _], T, P](implicit arg0: Show[T], rt: RefType[F]): Show[F[T, P]]
Showinstance for refined types that delegates to theShowinstance of the base type. - object derivation extends DerivationInstances
- object syntax extends CatsRefinedTypeOpsSyntax with CatsNonEmptyListSyntax with CatsNonEmptyVectorSyntax
- object unorderedFoldable extends UnorderedFoldableInstances
Module for unorderedFoldable instances.
Deprecated Value Members
- 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
derivationobject
- 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
derivationobject