Monad laws: Revision history

1 February 2024

• curprev 10:4010:40, 1 February 2024‎ Tomjaguarpaw talk contribs‎ m 5,037 bytes −1‎ Remove leftover semicolon from previous edit
• curprev 10:3910:39, 1 February 2024‎ Tomjaguarpaw talk contribs‎ 5,038 bytes −91‎ Change do notation format to more typical style, without braces and semicolons
• curprev 10:3510:35, 1 February 2024‎ Tomjaguarpaw talk contribs‎ m 5,129 bytes −88‎ Change do notation format to more typical style

26 April 2021

• curprev 05:5205:52, 26 April 2021‎ Atravers talk contribs‎ m 5,217 bytes 0‎ Corrected haiku

15 March 2021

• curprev 12:3812:38, 15 March 2021‎ Atravers talk contribs‎ 5,217 bytes +235‎ Sections rewritten and reorganised

9 November 2019

• curprev 09:4209:42, 9 November 2019‎ WillNess talk contribs‎ 4,982 bytes −190‎ →‎But why should monads obey these laws?: remove one incorrect statement added in the previous edit
• curprev 09:3909:39, 9 November 2019‎ WillNess talk contribs‎ 5,172 bytes +347‎ another, equivalent re-write, to better correspond to the next section (but the one above it is clearer on its own). Mind the newbie! also some c/e
• curprev 09:2009:20, 9 November 2019‎ WillNess talk contribs‎ 4,825 bytes +383‎ →‎But why should monads obey these laws?: c/e (edit para on similarity to folding)
• curprev 09:0409:04, 9 November 2019‎ WillNess talk contribs‎ 4,442 bytes +139‎ add a re-write of third monad law, for clarity

9 May 2017

• curprev 07:3107:31, 9 May 2017‎ Andreask talk contribs‎ 4,303 bytes +66‎ changed alignment of the monad laws

26 April 2016

• curprev 13:2013:20, 26 April 2016‎ Andreask talk contribs‎ 4,237 bytes +4‎ replace ' with ′ to fix syntax highlighting

5 April 2012

• curprev 18:0018:00, 5 April 2012‎ Ehird talk contribs‎ 4,233 bytes +40‎ possible half-way point?
• curprev 17:5617:56, 5 April 2012‎ Twey talk contribs‎ m 4,193 bytes +2‎ Forgot a line.
• curprev 17:5317:53, 5 April 2012‎ Ehird talk contribs‎ m 4,191 bytes −10‎ eta-reduce
• curprev 17:5217:52, 5 April 2012‎ Twey talk contribs‎ 4,201 bytes +210‎ Made layout more prominent.
• curprev 17:4717:47, 5 April 2012‎ Ehird talk contribs‎ 3,991 bytes +30‎ eliminate references to law #N
• curprev 17:3617:36, 5 April 2012‎ Twey talk contribs‎ 3,961 bytes +3‎ Colons for consistency.
• curprev 17:3517:35, 5 April 2012‎ Twey talk contribs‎ 3,958 bytes −107‎ Take non-Haskell outside Haskell tags, give code layout
• curprev 17:2217:22, 5 April 2012‎ Ehird talk contribs‎ 4,065 bytes +298‎ formatting, clarification, and some additional info
• curprev 17:1617:16, 5 April 2012‎ Ehird talk contribs‎ m 3,767 bytes −76‎ nicer presentation of the do-notation laws

1 January 2012

• curprev 03:5203:52, 1 January 2012‎ Jpf talk contribs‎ 3,843 bytes +50‎ No edit summary

25 May 2009

• curprev 11:3311:33, 25 May 2009‎ Jsnx talk contribs‎ m 3,793 bytes +23‎ Replaced `=` and `==` with `≡` where they indicate "identical to".

19 May 2009

• curprev 12:0612:06, 19 May 2009‎ F.s. talk contribs‎ 3,770 bytes 0‎ by "3.14"? please clarify

13 November 2008

• curprev 23:5223:52, 13 November 2008‎ AndrewBromage talk contribs‎ 3,770 bytes +1,112‎ Why is it an "associative law"?

3 December 2007

• curprev 13:3113:31, 3 December 2007‎ Lemming talk contribs‎ 2,658 bytes +75‎ names for laws

14 October 2006

• curprev 17:2217:22, 14 October 2006‎ BrettGiles talk contribs‎ m 2,583 bytes 0‎ Monad Laws moved to Monad laws

7 October 2006

• curprev 15:5415:54, 7 October 2006‎ BrettGiles talk contribs‎ m 2,583 bytes +19‎ Category Monad

15 September 2006

• curprev 09:5409:54, 15 September 2006‎ DonStewart talk contribs‎ 2,564 bytes +31‎ categorise

8 September 2006

• curprev 14:3114:31, 8 September 2006‎ DuncanCoutts talk contribs‎ 2,533 bytes −2‎ make the var names consistent
• curprev 10:5110:51, 8 September 2006‎ DuncanCoutts talk contribs‎ 2,535 bytes +2,535‎ Add explanation of monad laws by Albert Lai on the haskell-cafe list.