git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Added some missing function instances.
commit2863bddd634b84819f8765a1f345af27a3b6cc74 authorjoneshf <jones3.hardy@gmail.com> dateSun 1 Jun 2014, 12:15 (12 years ago) parent56b24e0
2 files changed+17−14
compare with golang
unifiedsplit
examples/passing/TypeClasses.purs−14 prelude/prelude.purs+17
examples/passing/TypeClasses.purs−14
@@ -57,20 +57,6 @@ test4 = \_ -> return 1
5757
5858test5 = \_ -> Just 1 >>= \n -> return (n + 1)
5959
60−instance functorFunction :: Functor ((->) r) where
61− (<$>) = liftM1
62−
63−instance applyFunction :: Apply ((->) r) where
64− (<*>) = ap
65−
66−instance applicativeFunction :: Applicative ((->) r) where
67− pure a _ = a
68−
69−instance bindFunction :: Bind ((->) r) where
70− (>>=) f g r = g (f r) r
71−
72−instance monadFunction :: Monad ((->) r)
73−
7460ask r = r
7561
7662runReader r f = f r
prelude/prelude.purs+17
@@ -154,6 +154,20 @@ module Prelude
154154 a' <- a
155155 return (f' a')
156156
157+ instance functorArr :: Functor ((->) r) where
158+ (<$>) = (<<<)
159+
160+ instance applyArr :: Apply ((->) r) where
161+ (<*>) f g x = f x (g x)
162+
163+ instance applicativeArr :: Applicative ((->) r) where
164+ pure = const
165+
166+ instance bindArr :: Bind ((->) r) where
167+ (>>=) m f x = f (m x) x
168+
169+ instance monadArr :: Monad ((->) r)
170+
157171 infixl 7 *
158172 infixl 7 /
159173 infixl 7 %
@@ -443,6 +457,9 @@ module Prelude
443457 instance semigroupString :: Semigroup String where
444458 (<>) = concatString
445459
460+ instance semigroupArr :: (Semigroup s') => Semigroup (s -> s') where
461+ (<>) f g = \x -> f x <> g x
462+
446463 infixr 5 ++
447464
448465 (++) :: forall s. (Semigroup s) => s -> s -> s