git.iko.soy/rowtype-yoga/purescript-native
on 33db511 help sign in
rowtype-yoga/purescript-native/examples/passing/Rank2Types.purs
11 lines 287 B history raw
1module Main where
3 import Prelude
5 test1 :: (forall a. (a -> a)) -> Number
6 test1 = \f -> f 0
8 forever :: forall m a b. (forall a b. m a -> (a -> m b) -> m b) -> m a -> m b
9 forever = \bind action -> bind action $ \_ -> forever bind action
11 main = Debug.Trace.trace "Done"