package cats
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- cats
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- trait CatsNonEmptyListSyntax extends AnyRef
- trait CatsNonEmptyVectorSyntax extends AnyRef
- trait CatsRefinedTypeOpsSyntax extends AnyRef
- trait DerivationInstances extends AnyRef
Value Members
- implicit val negByteSemigroup: Semigroup[NegByte]
- implicit val negDoubleSemigroup: Semigroup[NegDouble]
- implicit val negFloatSemigroup: Semigroup[NegFloat]
- implicit val negIntSemigroup: Semigroup[NegInt]
- implicit val negLongSemigroup: Semigroup[NegLong]
- implicit val negShortSemigroup: Semigroup[NegShort]
- implicit val nonNegByteMonoid: Monoid[NonNegByte]
- implicit val nonNegDoubleMonoid: Monoid[NonNegDouble]
- implicit val nonNegFloatMonoid: Monoid[NonNegFloat]
- implicit val nonNegIntMonoid: Monoid[NonNegInt]
- implicit val nonNegLongMonoid: Monoid[NonNegLong]
- implicit val nonNegShortMonoid: Monoid[NonNegShort]
- implicit val nonPosDoubleMonoid: Monoid[NonPosDouble]
- implicit val nonPosFloatMonoid: Monoid[NonPosFloat]
- implicit val posByteSemigroup: Semigroup[PosByte]
- implicit val posDoubleSemigroup: Semigroup[PosDouble]
- implicit val posFloatSemigroup: Semigroup[PosFloat]
- implicit val posIntSemigroup: Semigroup[PosInt]
- implicit val posLongSemigroup: Semigroup[PosLong]
- implicit val posShortSemigroup: Semigroup[PosShort]
-
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 theEq
instance of the base type. -
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 theOrder
instance of the base type. -
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 theShow
instance of the base type. - object derivation extends DerivationInstances
- object syntax extends CatsRefinedTypeOpsSyntax with CatsNonEmptyListSyntax with CatsNonEmptyVectorSyntax
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
derivation
object
-
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