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