From 8c17d91b6f92438c2d49debc017f239a87a49898 Mon Sep 17 00:00:00 2001 From: Chris Denman Date: Thu, 3 Oct 2024 06:42:14 +0100 Subject: [PATCH] Changed the wrapping of a couple of tags so that the 'alt' attribute values do not include line-breaks. This is so that functional tests pass without modification. Also, I removed a spurious underscore from an image's 'alt' attribute value. --- docs/a-fistful-of-monads.html | 5 +++-- docs/functors-applicative-functors-and-monoids.html | 7 ++++--- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/docs/a-fistful-of-monads.html b/docs/a-fistful-of-monads.html index 152f6c2..b469b7b 100644 --- a/docs/a-fistful-of-monads.html +++ b/docs/a-fistful-of-monads.html @@ -1842,8 +1842,9 @@

A knight's quest

Monad laws

-the court finds you guilty of peeing all over
-everything +the court finds you guilty of peeing all over everything

Just like applicative functors, and functors before them, monads come with a few diff --git a/docs/functors-applicative-functors-and-monoids.html b/docs/functors-applicative-functors-and-monoids.html index 6d0c7bb..19bdb9c 100644 --- a/docs/functors-applicative-functors-and-monoids.html +++ b/docs/functors-applicative-functors-and-monoids.html @@ -556,7 +556,7 @@

Functors, Applicative Functors and Monoids

In conclusion, applicative functors aren't just interesting, they're also useful, because they allow us to combine different computations, such as I/O computations, non-deterministic computations, computations that might have failed, etc. by using the applicative style. Just by using <$> and <*> we can use normal functions to uniformly operate on any number of applicative functors and take advantage of the semantics of each one.

The newtype keyword

-why_ so serious? +why so serious?

So far, we've learned how to make our own algebraic data types by using the @@ -1064,8 +1064,9 @@

type vs. newtype vs. <

Monoids

-wow this is pretty much the gayest pirate ship
-ever +wow this is pretty much the gayest pirate ship ever

Type classes in Haskell are used to present an interface for types that have