made bind left-associative, to conform to Haskell
authorkrauss
Mon Jul 29 14:15:22 2019 +0100 (3 weeks ago ago)
changeset 706195422579d0ecc
parent 70617 495881aadbff
made bind left-associative, to conform to Haskell
src/HOL/Library/Monad_Syntax.thy
     1.1 --- a/src/HOL/Library/Monad_Syntax.thy	Sun Jul 28 15:39:30 2019 +0200
     1.2 +++ b/src/HOL/Library/Monad_Syntax.thy	Mon Jul 29 14:15:22 2019 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  \<close>
     1.5  
     1.6  consts
     1.7 -  bind :: "['a, 'b \<Rightarrow> 'c] \<Rightarrow> 'd" (infixr "\<bind>" 54)
     1.8 +  bind :: "['a, 'b \<Rightarrow> 'c] \<Rightarrow> 'd" (infixl "\<bind>" 54)
     1.9  
    1.10  notation (ASCII)
    1.11    bind (infixr ">>=" 54)