Skip to content

Commit

Permalink
fix typos
Browse files Browse the repository at this point in the history
  • Loading branch information
tpolecat committed Jan 12, 2018
1 parent 74d1d4d commit 46d54dc
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions free/src/main/scala/cats/free/ContravariantCoyoneda.scala
Original file line number Diff line number Diff line change
Expand Up @@ -65,8 +65,8 @@ object ContravariantCoyoneda {
val fi = fa
}

/** `ContravariantCoyoneda[F, ?]` provides a conntravariant functor for any `F`. */
implicit def catsFreeCovariantFunctorForCovariantCoyoneda[F[_]]: Contravariant[ContravariantCoyoneda[F, ?]] =
/** `ContravariantCoyoneda[F, ?]` provides a contravariant functor for any `F`. */
implicit def catsFreeContravariantFunctorForContravariantCoyoneda[F[_]]: Contravariant[ContravariantCoyoneda[F, ?]] =
new Contravariant[ContravariantCoyoneda[F, ?]] {
def contramap[A, B](cfa: ContravariantCoyoneda[F, A])(f: B => A): ContravariantCoyoneda[F, B] =
cfa.contramap(f)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ class ContravariantCoyonedaSuite extends CatsSuite {
// This instance cannot be summoned implicitly. This is not specific to contravariant coyoneda;
// it doesn't work for Functor[Coyoneda[? => String, ?]] either.
implicit val contravariantContravariantCoyonedaToString: Contravariant[ContravariantCoyoneda[? => String, ?]] =
ContravariantCoyoneda.catsFreeCovariantFunctorForCovariantCoyoneda[? => String]
ContravariantCoyoneda.catsFreeContravariantFunctorForContravariantCoyoneda[? => String]

checkAll("ContravariantCoyoneda[? => String, Int]", ContravariantTests[ContravariantCoyoneda[? => String, ?]].contravariant[Int, Int, Int])
checkAll("Contravariant[ContravariantCoyoneda[Option, ?]]", SerializableTests.serializable(Contravariant[ContravariantCoyoneda[Option, ?]]))
Expand Down

0 comments on commit 46d54dc

Please sign in to comment.