git.iko.soy/rowtype-yoga/purescript-native
on ebbc4e4 help sign in
rowtype-yoga/purescript-native/examples/passing/ScopedTypeVariables.purs
36 lines 611 B history raw
1module Main where
3import Prelude
5test1 :: forall a. (a -> a) -> a -> a
6test1 f x = g (g x)
7 where
8 g :: a -> a
9 g y = f (f y)
11test2 :: forall a. (a -> a) -> a -> a
12test2 = h
13 where
14 h :: forall b. (b -> b) -> b -> b
15 h f x = g (g x)
16 where
17 g :: b -> b
18 g y = f (f y)
20test3 :: Number
21test3 = ((\b -> b :: b) :: forall b. b -> b) 0.0
23test4 :: forall a. (a -> a) -> a -> a
24test4 = h
25 where
26 h :: forall b. (b -> b) -> b -> b
27 h f x = g (g x)
28 where
29 g :: b -> b
30 g y = j (f (f y))
31 where
32 j :: forall b. b -> b
33 j x = x
36main = Control.Monad.Eff.Console.log "Done"