Made Applicative a subclass of Functor.
commite18fac51fa52e01bb1d930e785fe45bf14abe429
authorstartling <tdixon51793@gmail.com>
dateMon 19 Nov 2012, 10:25 (14 years ago)
parent7411450
lib/Prelude/Applicative.idr+2−1
@@ -1,12 +1,13 @@
11module Prelude.Applicative
22
33import Builtins
4+import Prelude.Functor
45
56---- Applicative functors/Idioms
67
78infixl 2 <$>
89
9−class Applicative (f : Set -> Set) where
10+class Functor f => Applicative (f : Set -> Set) where
1011 pure : a -> f a
1112 (<$>) : f (a -> b) -> f a -> f b
1213