From 420b72c71681fbc4734f2e1bba6422dd28d9da09 Mon Sep 17 00:00:00 2001 From: Cody Allen Date: Wed, 6 Apr 2016 10:12:32 -0400 Subject: [PATCH] Fix swapped f and g in invariant docs --- docs/src/main/tut/invariant.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/main/tut/invariant.md b/docs/src/main/tut/invariant.md index 1f01e58ce2..eb1d6299f7 100644 --- a/docs/src/main/tut/invariant.md +++ b/docs/src/main/tut/invariant.md @@ -15,7 +15,7 @@ def imap[A, B](fa: F[A])(f: A => B)(g: B => A): F[B] ``` Every covariant (as well as [contravariant](contravariant.html)) functor gives rise to an invariant -functor, by ignoring the `f` (or in case of contravariance, `g`) function. +functor, by ignoring the `g` (or in case of contravariance, `f`) function. Examples for instances of `Invariant` are `Semigroup` and `Monoid`, in the following we will explain why this is the case using `Semigroup`, the