git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Add multi argument function helpers
1642084Gary Burgess
examples/passing/MultiArgFunctions.pursnew file+14
compare with golang
unifiedsplit
@@ -0,0 +1,14 @@
1+module Main where
2+
3+import Data.Function
4+import Control.Monad.Eff
5+import Debug.Trace
6+
7+main = do
8+ runFn0 (mkFn0 $ \_ -> trace $ show 0)
9+ runFn1 (mkFn1 $ \a -> trace $ show a) 1
10+ runFn2 (mkFn2 $ \a b -> trace $ show [a, b]) 1 2
11+ runFn3 (mkFn3 $ \a b c -> trace $ show [a, b, c]) 1 2 3
12+ runFn4 (mkFn4 $ \a b c d -> trace $ show [a, b, c, d]) 1 2 3 4
13+ runFn5 (mkFn5 $ \a b c d e -> trace $ show [a, b, c, d, e]) 1 2 3 4 5
14+ trace "Done!"
prelude/prelude.purs+113−4
@@ -313,19 +313,19 @@ module Prelude
313
313
314 instance ordUnit :: Ord Unit where
314 instance ordUnit :: Ord Unit where
315 compare (Unit {}) (Unit {}) = EQ
315 compare (Unit {}) (Unit {}) = EQ
316−
316+
317 instance ordBoolean :: Ord Boolean where
317 instance ordBoolean :: Ord Boolean where
318 compare false false = EQ
318 compare false false = EQ
319 compare false true = LT
319 compare false true = LT
320 compare true true = EQ
320 compare true true = EQ
321 compare true false = GT
321 compare true false = GT
322−
322+
323 instance ordNumber :: Ord Number where
323 instance ordNumber :: Ord Number where
324 compare = unsafeCompare
324 compare = unsafeCompare
325−
325+
326 instance ordString :: Ord String where
326 instance ordString :: Ord String where
327 compare = unsafeCompare
327 compare = unsafeCompare
328−
328+
329 instance ordArray :: (Ord a) => Ord [a] where
329 instance ordArray :: (Ord a) => Ord [a] where
330 compare [] [] = EQ
330 compare [] [] = EQ
331 compare [] _ = LT
331 compare [] _ = LT
@@ -453,6 +453,115 @@ module Data.Function where
453 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
453 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
454 on f g x y = g x `f` g y
454 on f g x y = g x `f` g y
455
455
456+ foreign import data Fn0 :: * -> *
457+ foreign import data Fn1 :: * -> * -> *
458+ foreign import data Fn2 :: * -> * -> * -> *
459+ foreign import data Fn3 :: * -> * -> * -> * -> *
460+ foreign import data Fn4 :: * -> * -> * -> * -> * -> *
461+ foreign import data Fn5 :: * -> * -> * -> * -> * -> * -> *
462+
463+ foreign import mkFn0
464+ "function mkFn0(f) {\
465+ \ return function() {\
466+ \ return f({});\
467+ \ };\
468+ \}" :: forall a. (Unit -> a) -> Fn0 a
469+
470+ foreign import mkFn1
471+ "function mkFn1(f) {\
472+ \ return function(a) {\
473+ \ return f(a);\
474+ \ };\
475+ \}" :: forall a b. (a -> b) -> Fn1 a b
476+
477+ foreign import mkFn2
478+ "function mkFn2(f) {\
479+ \ return function(a, b) {\
480+ \ return f(a)(b);\
481+ \ };\
482+ \}" :: forall a b c. (a -> b -> c) -> Fn2 a b c
483+
484+ foreign import mkFn3
485+ "function mkFn3(f) {\
486+ \ return function(a, b, c) {\
487+ \ return f(a)(b)(c);\
488+ \ };\
489+ \}" :: forall a b c d. (a -> b -> c -> d) -> Fn3 a b c d
490+
491+ foreign import mkFn4
492+ "function mkFn4(f) {\
493+ \ return function(a, b, c, d) {\
494+ \ return f(a)(b)(c)(d);\
495+ \ };\
496+ \}" :: forall a b c d e. (a -> b -> c -> d -> e) -> Fn4 a b c d e
497+
498+ foreign import mkFn5
499+ "function mkFn5(f) {\
500+ \ return function(a, b, c, d, e) {\
501+ \ return f(a)(b)(c)(d)(e);\
502+ \ };\
503+ \}" :: forall a b c d e f. (a -> b -> c -> d -> e -> f) -> Fn5 a b c d e f
504+
505+ foreign import runFn0
506+ "function runFn0(f) {\
507+ \ return f();\
508+ \}" :: forall a. Fn0 a -> a
509+
510+ foreign import runFn1
511+ "function runFn1(f) {\
512+ \ return function(a) {\
513+ \ return f(a);\
514+ \ };\
515+ \}" :: forall a b. Fn1 a b -> a -> b
516+
517+ foreign import runFn2
518+ "function runFn2(f) {\
519+ \ return function(a) {\
520+ \ return function(b) {\
521+ \ return f(a, b);\
522+ \ };\
523+ \ };\
524+ \}" :: forall a b c. Fn2 a b c -> a -> b -> c
525+
526+ foreign import runFn3
527+ "function runFn3(f) {\
528+ \ return function(a) {\
529+ \ return function(b) {\
530+ \ return function(c) {\
531+ \ return f(a, b, c);\
532+ \ };\
533+ \ };\
534+ \ };\
535+ \}" :: forall a b c d. Fn3 a b c d -> a -> b -> c -> d
536+
537+ foreign import runFn4
538+ "function runFn4(f) {\
539+ \ return function(a) {\
540+ \ return function(b) {\
541+ \ return function(c) {\
542+ \ return function(d) {\
543+ \ return f(a, b, c, d);\
544+ \ };\
545+ \ };\
546+ \ };\
547+ \ };\
548+ \}" :: forall a b c d e. Fn4 a b c d e -> a -> b -> c -> d -> e
549+
550+ foreign import runFn5
551+ "function runFn5(f) {\
552+ \ return function(a) {\
553+ \ return function(b) {\
554+ \ return function(c) {\
555+ \ return function(d) {\
556+ \ return function(e) {\
557+ \ return f(a, b, c, d, e);\
558+ \ };\
559+ \ };\
560+ \ };\
561+ \ };\
562+ \ };\
563+ \}" :: forall a b c d e f. Fn5 a b c d e f -> a -> b -> c -> d -> e -> f
564+
456module Data.Eq where
565module Data.Eq where
457
566
458 data Ref a = Ref a
567 data Ref a = Ref a