Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #55 from Liqwid-Labs/seungheonoh/utiloptimization

Browse source 
`pmapUnionWith` optimization
This commit is contained in:
Emily 2022-04-14 10:30:17 +02:00 • committed by GitHub
commit f123fc7a9a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
agora/Agora/Utils.hs
View file

@ -217,11 +217,10 @@ pmapUnionWith = phoistAcyclic $
# plam
( \p -> P.do
pf <- plet $ pfstBuiltin # p
ps <- plet $ psndBuiltin # p
pmatch (plookup # pf # ys) $ \case
PJust v ->
-- Data conversions here are silly, aren't they?
ppairDataBuiltin # pf # pdata (f # pfromData ps # pfromData v)
ppairDataBuiltin # pf # pdata (f # pfromData (psndBuiltin # p) # pfromData v)
PNothing -> p
)
# xs