Merge pull request #4767 from satorg/fix-typos

Fixes some typos spotted in method names and docs

Author: satorg

docs/faq.md

@@ -259,7 +259,7 @@ For example, `Set` can violate the "covariant composition" law of `Functor`, whi
 fa.map(f).map(g) <-> fa.map(f.andThen(g))
 ```
 
-Since `Set` in internally based on universal hashing and equality, it violates this law when used with a data type that
+Since `Set` is internally based on universal hashing and equality, it violates this law when used with a data type that
 overrides `equals` and `hashCode` in a such a way that its instances may appear equal but de-facto contain different
 values. One example of this type is `scala.concurrent.duration.Duration`:
 

laws/src/main/scala/cats/laws/NonEmptyAlternativeLaws.scala

@@ -34,11 +34,19 @@ trait NonEmptyAlternativeLaws[F[_]] extends ApplicativeLaws[F] with SemigroupKLa
   def nonEmptyAlternativeRightDistributivity[A, B](fa: F[A], ff: F[A => B], fg: F[A => B]): IsEq[F[B]] =
     ((ff |+| fg).ap(fa)) <-> ((ff.ap(fa)) |+| (fg.ap(fa)))
 
-  def nonEmptyAlternativePrependKConsitentWithPureAndCombineK[A](fa: F[A], a: A): IsEq[F[A]] =
+  def nonEmptyAlternativePrependKConsistentWithPureAndCombineK[A](fa: F[A], a: A): IsEq[F[A]] =
     fa.prependK(a) <-> (a.pure[F] <+> fa)
 
-  def nonEmptyAlternativeAppendKConsitentWithPureAndCombineK[A](fa: F[A], a: A): IsEq[F[A]] =
+  def nonEmptyAlternativeAppendKConsistentWithPureAndCombineK[A](fa: F[A], a: A): IsEq[F[A]] =
     fa.appendK(a) <-> (fa <+> a.pure[F])
+
+  @deprecated("typo in the name, use nonEmptyAlternativePrependKConsistentWithPureAndCombineK instead", "2.14.0")
+  private[laws] def nonEmptyAlternativePrependKConsitentWithPureAndCombineK[A](fa: F[A], a: A): IsEq[F[A]] =
+    nonEmptyAlternativePrependKConsistentWithPureAndCombineK(fa, a)
+
+  @deprecated("typo in the name, use nonEmptyAlternativeAppendKConsistentWithPureAndCombineK instead", "2.14.0")
+  private[laws] def nonEmptyAlternativeAppendKConsitentWithPureAndCombineK[A](fa: F[A], a: A): IsEq[F[A]] =
+    nonEmptyAlternativeAppendKConsistentWithPureAndCombineK(fa, a)
 }
 
 object NonEmptyAlternativeLaws {

laws/src/main/scala/cats/laws/discipline/NonEmptyAlternativeTests.scala

@@ -53,9 +53,9 @@ trait NonEmptyAlternativeTests[F[_]] extends ApplicativeTests[F] with SemigroupK
         "left distributivity" -> forAll(laws.nonEmptyAlternativeLeftDistributivity[A, B] _),
         "right distributivity" -> forAll(laws.nonEmptyAlternativeRightDistributivity[A, B] _),
         "prependK consistent with pure and combineK" ->
-          forAll(laws.nonEmptyAlternativePrependKConsitentWithPureAndCombineK[A] _),
+          forAll(laws.nonEmptyAlternativePrependKConsistentWithPureAndCombineK[A] _),
         "appendK consistent with pure and combineK" ->
-          forAll(laws.nonEmptyAlternativeAppendKConsitentWithPureAndCombineK[A] _)
+          forAll(laws.nonEmptyAlternativeAppendKConsistentWithPureAndCombineK[A] _)
       )
     }
 }