git.iko.soy/Idris-dev
on master help sign in
renamed <#> to prevent naming conflict
ddfdb2eJP Smith
libs/base/Control/Arrow.idr+2−2
compare with master
unifiedsplit
@@ -5,7 +5,7 @@ import Control.Category
5
5
6%access public
6%access public
7
7
8−infixr 5 <#>
8+infixr 5 <++>
9infixr 3 ***
9infixr 3 ***
10infixr 3 &&&
10infixr 3 &&&
11infixr 2 +++
11infixr 2 +++
@@ -45,7 +45,7 @@ class Arrow arr => ArrowZero (arr : Type -> Type -> Type) where
45 zeroArrow : arr a b
45 zeroArrow : arr a b
46
46
47class ArrowZero arr => ArrowPlus (arr : Type -> Type -> Type) where
47class ArrowZero arr => ArrowPlus (arr : Type -> Type -> Type) where
48− (<#>) : arr a b -> arr a b -> arr a b
48+ (<++>) : arr a b -> arr a b -> arr a b
49
49
50class Arrow arr => ArrowChoice (arr : Type -> Type -> Type) where
50class Arrow arr => ArrowChoice (arr : Type -> Type -> Type) where
51 left : arr a b -> arr (Either a c) (Either b c)
51 left : arr a b -> arr (Either a c) (Either b c)