renamed <#> to prevent naming conflict
commitddfdb2ee78e42d38acb8f0a50fe40a063f5fc044
authorJP Smith <jp.smith@ilstu.edu>
dateTue 16 Dec 2014, 17:20 (12 years ago)
parentb9de91b
libs/base/Control/Arrow.idr+2−2
@@ -5,7 +5,7 @@ import Control.Category
55
66%access public
77
8−infixr 5 <#>
8+infixr 5 <++>
99infixr 3 ***
1010infixr 3 &&&
1111infixr 2 +++
@@ -45,7 +45,7 @@ class Arrow arr => ArrowZero (arr : Type -> Type -> Type) where
4545 zeroArrow : arr a b
4646
4747class 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
4949
5050class Arrow arr => ArrowChoice (arr : Type -> Type -> Type) where
5151 left : arr a b -> arr (Either a c) (Either b c)