git.iko.soy/rowtype-yoga/purescript-native
on 24fdff2 help sign in
rowtype-yoga/purescript-native/examples/passing/Rank2Types.purs
11 lines 285 B history raw
1module Main where
3import Prelude
5test1 :: (forall a. (a -> a)) -> Number
6test1 = \f -> f 0.0
8forever :: forall m a b. (forall a b. m a -> (a -> m b) -> m b) -> m a -> m b
9forever = \bind action -> bind action $ \_ -> forever bind action
11main = Control.Monad.Eff.Console.log "Done"