@@ -1,12 +1,13 @@
1module Prelude.Applicative
1module Prelude.Applicative
3import Builtins
3import Builtins
5---- Applicative functors/Idioms
6---- Applicative functors/Idioms
7infixl 2 <$>
8infixl 2 <$>
9−class Applicative (f : Set -> Set) where
10+class Functor f => Applicative (f : Set -> Set) where
10 pure : a -> f a
11 pure : a -> f a
11 (<$>) : f (a -> b) -> f a -> f b
12 (<$>) : f (a -> b) -> f a -> f b