From a914ff0ed48112619a514100394a5f2a0fcbc132 Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 19 Mar 2015 18:37:01 -0400 Subject: [PATCH] express hesitation about flipped names --- topics/week7_introducing_monads.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn index 75d0cee4..81ccafb2 100644 --- a/topics/week7_introducing_monads.mdwn +++ b/topics/week7_introducing_monads.mdwn @@ -107,11 +107,11 @@ Here are the types of our crucial functions, together with our pronunciation, an <=< or mcomp : (Q -> R) -> (P -> Q) -> (P -> R) ->=> or mpmoc (flip mcomp): (P -> Q) -> (Q -> R) -> (P -> R) +>=> (flip mcomp, should we call it mpmoc?): (P -> Q) -> (Q -> R) -> (P -> R) >>= or mbind : (Q) -> (Q -> R) -> (R) -=<< or mdnib (flip mbind) (Q) -> (Q -> R) -> (R) +=<< (flip mbind, should we call it mdnib?) (Q) -> (Q -> R) -> (R) join: P -> P -- 2.11.0