git.iko.soy/rowtype-yoga/purescript-native
on 7db07cc help sign in
rowtype-yoga/purescript-native/examples/passing/UnicodeType.purs
22 lines 334 B history raw
1module Main where
3import Prelude
4import Control.Monad.Eff.Console (log)
6class Monad m ⇐ Monad1 m where
7 f1 :: Int
9class Monad m <= Monad2 m where
10 f2 :: Int
12f ∷ ∀ m. Monad m ⇒ Int → m Int
13f n = do
14 n' ← pure n
15 pure n'
17f' :: forall m. Monad m => Int -> m Int
18f' n = do
19 n' <- pure n
20 pure n'
22main = log "Done"