git.iko.soy/Idris-dev
on master help sign in
<.> should have higher precedence than <+>, <->
0813a92BlackBrane
libs/contrib/Control/Algebra.idr+1−1
compare with master
unifiedsplit
@@ -1,7 +1,7 @@
1module Control.Algebra
1module Control.Algebra
2
2
3infixl 6 <->
3infixl 6 <->
4−infixl 6 <.>
4+infixl 7 <.>
5
5
6
6
7||| Sets equipped with a single binary operation that is associative, along with
7||| Sets equipped with a single binary operation that is associative, along with
libs/prelude/Prelude/Algebra.idr−4
@@ -2,11 +2,7 @@ module Prelude.Algebra
2
2
3import Builtins
3import Builtins
4
4
5−-- XXX: change?
6−infixl 6 <->
7infixl 6 <+>
5infixl 6 <+>
8−infixl 6 <.>
9−infixl 5 <#>
10
6
11%access public
7%access public
12
8