infixl declaration for (<|>).
Oops, forgot this; wouldn't want to cause weird parser errors.
commit583c7269b8e60c09d4ed5ff0d3fe172511b01694
authorstartling <tdixon51793@gmail.com>
dateThu 13 Dec 2012, 21:20 (14 years ago)
parentbdef7ec
lib/Prelude/Applicative.idr+1
@@ -19,6 +19,7 @@ infixl 2 $>
1919($>) : Applicative f => f a -> f b -> f b
2020a $> b = fmap (const id) a <$> b
2121
22+infixl 3 <|>
2223class Applicative f => Alternative (f : Type -> Type) where
2324 empty : f a
2425 (<|>) : f a -> f a -> f a