Defined Alternative.
commit314bcf1f2eff9bd4ae3bc12c653c4f43269a31ac
authorstartling <tdixon51793@gmail.com>
dateThu 13 Dec 2012, 20:37 (14 years ago)
parent55a55cc
lib/Prelude/Applicative.idr+3−1
@@ -11,4 +11,6 @@ class Functor f => Applicative (f : Type -> Type) where
1111 pure : a -> f a
1212 (<$>) : f (a -> b) -> f a -> f b
1313
14−
14+class Applicative f => Alternative (f : Type -> Type) where
15+ empty : f a
16+ (<|>) : f a -> f a -> f a