ab8b137 · rowtype-yoga/purescript-native

146 f' other = f other

147

148 g' (UnaryMinus v) = (UnaryMinus <$> g' v) >>= g

149− g' (BinaryNoParens op v1 v2) = (BinaryNoParens op <$> (g' v1) <*> (g' v2)) >>= g

149+ g' (BinaryNoParens op v1 v2) = (BinaryNoParens op <$> g' v1 <*> g' v2) >>= g

150 g' (Parens v) = (Parens <$> g' v) >>= g

151 g' (ArrayLiteral vs) = (ArrayLiteral <$> mapM g' vs) >>= g

152 g' (ObjectLiteral vs) = (ObjectLiteral <$> mapM (sndM g') vs) >>= g

210 g' v@(IfThenElse v1 v2 v3) = g v <> g' v1 <> g' v2 <> g' v3

211 g' v@(Case vs alts) = foldl (<>) (foldl (<>) (g v) (map g' vs)) (map i' alts)

212 g' v@(TypedValue _ v1 _) = g v <> g' v1

213− g' v@(Let ds v1) = (foldl (<>) (g v) (map f' ds)) <> g' v1

213+ g' v@(Let ds v1) = foldl (<>) (g v) (map f' ds) <> g' v1

214 g' v@(Do es) = foldl (<>) (g v) (map j' es)

215 g' v@(PositionedValue _ v1) = g v <> g' v1

216 g' v = g v

236 r ->

237 (r -> r -> r) ->

238 (s -> Declaration -> (s, r)) ->

239− (s -> Expr -> (s, r)) ->

239+ (s -> Expr -> (s, r)) ->

240 (s -> Binder -> (s, r)) ->

241 (s -> CaseAlternative -> (s, r)) ->

242 (s -> DoNotationElement -> (s, r)) ->

243 ( Declaration -> r

244− , Expr -> r

244+ , Expr -> r

245 , Binder -> r

246 , CaseAlternative -> r

247 , DoNotationElement -> r)

250 f'' s d = let (s', r) = f s d in r <> f' s' d

251

252 f' s (DataBindingGroupDeclaration ds) = foldl (<>) r0 (map (f'' s) ds)

253− f' s (ValueDeclaration _ _ bs (Right val)) = foldl (<>) r0 (map (h'' s) bs) <> (g'' s) val

253+ f' s (ValueDeclaration _ _ bs (Right val)) = foldl (<>) r0 (map (h'' s) bs) <> g'' s val

254 f' s (ValueDeclaration _ _ bs (Left gs)) = foldl (<>) r0 (map (h'' s) bs ++ concatMap (\(grd, val) -> [g'' s grd, g'' s val]) gs)

255− f' s (BindingGroupDeclaration ds) = foldl (<>) r0 (map (\(_, _, val) -> (g'' s) val) ds)

255+ f' s (BindingGroupDeclaration ds) = foldl (<>) r0 (map (\(_, _, val) -> g'' s val) ds)

256 f' s (TypeClassDeclaration _ _ _ ds) = foldl (<>) r0 (map (f'' s) ds)

257 f' s (TypeInstanceDeclaration _ _ _ _ ds) = foldl (<>) r0 (map (f'' s) ds)

258− f' s (PositionedDeclaration _ d1) = (f'' s) d1

258+ f' s (PositionedDeclaration _ d1) = f'' s d1

259 f' _ _ = r0

260

261 g'' s v = let (s', r) = g s v in r <> g' s' v

262

263− g' s (UnaryMinus v1) = (g'' s) v1

263+ g' s (UnaryMinus v1) = g'' s v1

264− g' s (BinaryNoParens _ v1 v2) = (g'' s) v1 <> (g'' s) v2

264+ g' s (BinaryNoParens _ v1 v2) = g'' s v1 <> g'' s v2

265− g' s (Parens v1) = (g'' s) v1

265+ g' s (Parens v1) = g'' s v1

266 g' s (ArrayLiteral vs) = foldl (<>) r0 (map (g'' s) vs)

267 g' s (ObjectLiteral vs) = foldl (<>) r0 (map (g'' s . snd) vs)

268− g' s (TypeClassDictionaryConstructorApp _ v1) = (g'' s) v1

268+ g' s (TypeClassDictionaryConstructorApp _ v1) = g'' s v1

269− g' s (Accessor _ v1) = (g'' s) v1

269+ g' s (Accessor _ v1) = g'' s v1

270− g' s (ObjectUpdate obj vs) = foldl (<>) ((g'' s) obj) (map (g'' s . snd) vs)

270+ g' s (ObjectUpdate obj vs) = foldl (<>) (g'' s obj) (map (g'' s . snd) vs)

271− g' s (Abs _ v1) = (g'' s) v1

271+ g' s (Abs _ v1) = g'' s v1

272− g' s (App v1 v2) = (g'' s) v1 <> (g'' s) v2

272+ g' s (App v1 v2) = g'' s v1 <> g'' s v2

273− g' s (IfThenElse v1 v2 v3) = (g'' s) v1 <> (g'' s) v2 <> (g'' s) v3

273+ g' s (IfThenElse v1 v2 v3) = g'' s v1 <> g'' s v2 <> g'' s v3

274 g' s (Case vs alts) = foldl (<>) (foldl (<>) r0 (map (g'' s) vs)) (map (i'' s) alts)

275− g' s (TypedValue _ v1 _) = (g'' s) v1

275+ g' s (TypedValue _ v1 _) = g'' s v1

276− g' s (Let ds v1) = (foldl (<>) r0 (map (f'' s) ds)) <> (g'' s) v1

276+ g' s (Let ds v1) = foldl (<>) r0 (map (f'' s) ds) <> g'' s v1

277 g' s (Do es) = foldl (<>) r0 (map (j'' s) es)

278− g' s (PositionedValue _ v1) = (g'' s) v1

278+ g' s (PositionedValue _ v1) = g'' s v1

279 g' _ _ = r0

280

281 h'' s b = let (s', r) = h s b in r <> h' s' b

283 h' s (ConstructorBinder _ bs) = foldl (<>) r0 (map (h'' s) bs)

284 h' s (ObjectBinder bs) = foldl (<>) r0 (map (h'' s . snd) bs)

285 h' s (ArrayBinder bs) = foldl (<>) r0 (map (h'' s) bs)

286− h' s (ConsBinder b1 b2) = (h'' s) b1 <> (h'' s) b2

286+ h' s (ConsBinder b1 b2) = h'' s b1 <> h'' s b2

287− h' s (NamedBinder _ b1) = (h'' s) b1

287+ h' s (NamedBinder _ b1) = h'' s b1

288− h' s (PositionedBinder _ b1) = (h'' s) b1

288+ h' s (PositionedBinder _ b1) = h'' s b1

289 h' _ _ = r0

290

291 i'' s ca = let (s', r) = i s ca in r <> i' s' ca

295

296 j'' s e = let (s', r) = j s e in r <> j' s' e

297

298− j' s (DoNotationValue v) = (g'' s) v

298+ j' s (DoNotationValue v) = g'' s v

299− j' s (DoNotationBind b v) = (h'' s) b <> (g'' s) v

299+ j' s (DoNotationBind b v) = h'' s b <> g'' s v

300 j' s (DoNotationLet ds) = foldl (<>) r0 (map (f'' s) ds)

301− j' s (PositionedDoNotationElement _ e1) = (j'' s) e1

301+ j' s (PositionedDoNotationElement _ e1) = j'' s e1

302

303everywhereWithContextOnValuesM :: (Functor m, Applicative m, Monad m) =>

304 s ->

305 (s -> Declaration -> m (s, Declaration)) ->

306− (s -> Expr -> m (s, Expr)) ->

306+ (s -> Expr -> m (s, Expr)) ->

307 (s -> Binder -> m (s, Binder)) ->

308 (s -> CaseAlternative -> m (s, CaseAlternative)) ->

309 (s -> DoNotationElement -> m (s, DoNotationElement)) ->

310 ( Declaration -> m Declaration

311− , Expr -> m Expr

311+ , Expr -> m Expr

312 , Binder -> m Binder

313 , CaseAlternative -> m CaseAlternative

314 , DoNotationElement -> m DoNotationElement)

331 g' s (Parens v) = Parens <$> g'' s v

332 g' s (ArrayLiteral vs) = ArrayLiteral <$> mapM (g'' s) vs

333 g' s (ObjectLiteral vs) = ObjectLiteral <$> mapM (sndM (g'' s)) vs

334− g' s (TypeClassDictionaryConstructorApp name v) = TypeClassDictionaryConstructorApp name <$> (g'' s) v

334+ g' s (TypeClassDictionaryConstructorApp name v) = TypeClassDictionaryConstructorApp name <$> g'' s v

335 g' s (Accessor prop v) = Accessor prop <$> g'' s v

336 g' s (ObjectUpdate obj vs) = ObjectUpdate <$> g'' s obj <*> mapM (sndM (g'' s)) vs

337 g' s (Abs name v) = Abs name <$> g'' s v