git.iko.soy/rowtype-yoga/purescript-native
on ebbc4e4 help sign in
rowtype-yoga/purescript-native/examples/passing/UnicodeType.purs
23 lines 360 B history raw
1module Main where
3import Prelude
5class (Monad m) ⇐ Monad1 m where
6 f1 :: Int
8class (Monad m) <= Monad2 m where
9 f2 :: Int
11f ∷ ∀ m. Monad m ⇒ Int → m Int
12f n = do
13 n' ← return n
14 return n'
16f' :: forall m. Monad m => Int -> m Int
17f' n = do
18 n' <- return n
19 return n'
21(←→) a b = a ←→ b
23main = Control.Monad.Eff.Console.log "Done"