git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Rebindable do notation
b432994Phil Freeman
examples/passing/RebindableSyntax.pursnew file+12
compare with golang
unifiedsplit
@@ -0,0 +1,12 @@
1+module Main where
2+
3+example :: String
4+example = do
5+ "Do"
6+ " notation"
7+ " for"
8+ " monoids"
9+ where
10+ (>>=) x f = x <> f unit
11+
12+main = Debug.Trace.trace example
src/Language/PureScript/Sugar/DoNotation.hs+1−4
@@ -44,11 +44,8 @@ desugarDo d =
44 let (f, _, _) = everywhereOnValuesM return replace return
44 let (f, _, _) = everywhereOnValuesM return replace return
45 in f d
45 in f d
46 where
46 where
47− prelude :: ModuleName
48− prelude = ModuleName [ProperName C.prelude]
49−
50 bind :: Expr
47 bind :: Expr
51− bind = Var (Qualified (Just prelude) (Op (C.>>=)))
48+ bind = Var (Qualified Nothing (Op (C.>>=)))
52
49
53 replace :: Expr -> m Expr
50 replace :: Expr -> m Expr
54 replace (Do els) = go els
51 replace (Do els) = go els