Merge pull request #62 from liyishuai/assoc

Make <$> and <*> left associative
coq-community · May 20, 2019 · f27a18a · f27a18a
2 parents c0c934c + 15900db
commit f27a18a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/theories/Structures/Applicative.v b/theories/Structures/Applicative.v
@@ -13,7 +13,7 @@ Polymorphic Class Applicative@{d c} (T : Type@{d} -> Type@{c}) :=
 }.
 
 Module ApplicativeNotation.
-  Notation "f <*> x" := (ap f x) (at level 51, right associativity).
+  Notation "f <*> x" := (ap f x) (at level 51, left associativity).
 End ApplicativeNotation.
 Import ApplicativeNotation.
 

diff --git a/theories/Structures/Functor.v b/theories/Structures/Functor.v
@@ -26,5 +26,5 @@ Polymorphic Definition PFunctor_From_Functor@{d c p}
 Global Existing Instance PFunctor_From_Functor.
 
 Module FunctorNotation.
-  Notation "f <$> x" := (@pfmap _ _ _ _ _ f x) (at level 51, right associativity).
+  Notation "f <$> x" := (@pfmap _ _ _ _ _ f x) (at level 51, left associativity).
 End FunctorNotation.