Skip to content

Commit

Permalink
Fix typo in SemigroupK scaladoc (#1875)
Browse files Browse the repository at this point in the history
* Fix typo in SemigroupK scaladoc

* Change spelling in other files as well
  • Loading branch information
LukaJCB authored and kailuowang committed Sep 1, 2017
1 parent 086e335 commit 3124534
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion core/src/main/scala/cats/MonoidK.scala
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ import simulacrum.typeclass
* This type class is useful when its type parameter F[_] has a
* structure that can be combined for any particular type, and which
* also has an "empty" representation. Thus, MonoidK is like a Monoid
* for kinds (i.e. parameterized types).
* for kinds (i.e. parametrized types).
*
* A MonoidK[F] can produce a Monoid[F[A]] for any type A.
*
Expand Down
2 changes: 1 addition & 1 deletion core/src/main/scala/cats/SemigroupK.scala
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ import simulacrum.typeclass
*
* This type class is useful when its type parameter F[_] has a
* structure that can be combined for any particular type. Thus,
* SemigroupK is like a Semigroup for kinds (i.e. parameterized
* SemigroupK is like a Semigroup for kinds (i.e. parametrized
* types).
*
* A SemigroupK[F] can produce a Semigroup[F[A]] for any type A.
Expand Down
4 changes: 2 additions & 2 deletions docs/src/main/tut/typeclasses/monoidk.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ scaladoc: "#cats.MonoidK"
This type class is useful when its type parameter `F[_]` has a
structure that can be combined for any particular type, and which
also has an "empty" representation. Thus, `MonoidK` is like a `Monoid`
for kinds (i.e. parameterized types).
for kinds (i.e. parametrized types).

A `MonoidK[F]` can produce a `Monoid[F[A]]` for any type `A`.

Expand All @@ -35,7 +35,7 @@ import cats.{Monoid, MonoidK}
import cats.implicits._
```

Just like `Monoid[A]`, `MonoidK[F]` has an `empty` method, but it is parameterized on the type of the element contained in `F`:
Just like `Monoid[A]`, `MonoidK[F]` has an `empty` method, but it is parametrized on the type of the element contained in `F`:

```tut:book
Monoid[List[String]].empty
Expand Down
2 changes: 1 addition & 1 deletion docs/src/main/tut/typeclasses/typeclasses.md
Original file line number Diff line number Diff line change
Expand Up @@ -199,7 +199,7 @@ combine(x, combine(y, z)) = combine(combine(x, y), z)
combine(x, id) = combine(id, x) = x
```

With these laws in place, functions parameterized over a `Monoid` can leverage them for say, performance
With these laws in place, functions parametrized over a `Monoid` can leverage them for say, performance
reasons. A function that collapses a `List[A]` into a single `A` can do so with `foldLeft` or
`foldRight` since `combine` is assumed to be associative, or it can break apart the list into smaller
lists and collapse in parallel, such as
Expand Down

0 comments on commit 3124534

Please sign in to comment.