Skip to content

Commit

Permalink
Fix typo in Alternative docs (#3173)
Browse files Browse the repository at this point in the history
  • Loading branch information
SimY4 authored and LukaJCB committed Dec 3, 2019
1 parent f95d7b0 commit d4f8bd7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/src/main/tut/typeclasses/alternative.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ Like other type classes, `Alternative` instances must obey some laws, in additio
* Right Absorption: Applying a contextual function `F[A => B]` to `empty [A]` should be `empty [B]`.
* `ff ap F.empty[A] = F.empty[B]`.
* Left Distributivity: Mapping over a combined element must be the combinations of the mapped elements.
* `(fa <+> fa2) map f = ((fa map f) <+> (fa2 map f))` where `fa: F[A]` and `fb: F[B]` and `f: A => B`.
* `(fa <+> fb) map f = ((fa map f) <+> (fb map f))` where `fa: F[A]` and `fb: F[B]` and `f: A => B`.
* Right Distributivity: Applying the combination of two functions must be the combination of their applications.
* `(ff <+> fg) ap fa = (ff ap fa) <+> (fg ap fa)` where `ff: F[A => B]`, `fg: F[A => B]`, and `fa: F[A]`.

Expand Down

0 comments on commit d4f8bd7

Please sign in to comment.