git.iko.soy/rowtype-yoga/purescript-backend-optimizer
on main help sign in
rowtype-yoga/purescript-backend-optimizer/backend-es/test-snapshots/src/Snapshot.UncurriedSTFns01.purs
33 lines 748 B history raw
1module Snapshot.UncurriedSTFns01 where
3import Prelude
5import Control.Monad.ST.Uncurried (STFn3, runSTFn3)
6import Control.Monad.ST.Internal (ST)
8type F = forall h. STFn3 Int Int Int h Unit
9type G = Int -> Int
11test1 :: forall h. F -> G -> ST h Unit
12test1 f g = runSTFn3 f (g 1) 2 3
14test2 :: forall h. F -> G -> Int -> ST h Unit
15test2 f g = runSTFn3 f (g 1) 2
17test3 :: forall h. F -> G -> Int -> Int -> ST h Unit
18test3 f g = runSTFn3 f (g 1)
20test4 :: forall h. F -> Int -> Int -> Int -> ST h Unit
21test4 f = runSTFn3 f
23test5 :: forall h. F -> G -> ST h Unit
24test5 f g = do
25 runSTFn3 f (g 1) 2 3
26 runSTFn3 f (g 1) 2 3
28test6 :: forall h. F -> G -> ST h Unit
29test6 f g = do
30 runSTFn3 f (g 1) 2 3
31 runSTFn3 f (g 1) 2 3
32 runSTFn3 f (g 1) 2 3