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