Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
C
CoPaR
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
1
Issues
1
List
Boards
Labels
Service Desk
Milestones
Merge Requests
3
Merge Requests
3
Operations
Operations
Incidents
Environments
Analytics
Analytics
Repository
Value Stream
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Software
CoPaR
Commits
27bfccba
Commit
27bfccba
authored
Mar 22, 2019
by
Hans-Peter Deifel
🐢
Browse files
Options
Browse Files
Download
Plain Diff
Merge branch 'fixes'
parents
afc736fa
f81eea8c
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
1 addition
and
1 deletion
+1
-1
src/Copar/Functors/MonoidValued.hs
src/Copar/Functors/MonoidValued.hs
+1
-1
No files found.
src/Copar/Functors/MonoidValued.hs
View file @
27bfccba
...
@@ -199,7 +199,7 @@ instance (Monoid m, Ord m) => RefinementInterface (SlowMonoidValued m) where
...
@@ -199,7 +199,7 @@ instance (Monoid m, Ord m) => RefinementInterface (SlowMonoidValued m) where
let
toS
=
foldl'
(
flip
SumBag
.
insert
)
SumBag
.
empty
labels
let
toS
=
foldl'
(
flip
SumBag
.
insert
)
SumBag
.
empty
labels
toCWithoutS
=
foldl'
(
flip
SumBag
.
delete
)
counts
labels
toCWithoutS
=
foldl'
(
flip
SumBag
.
delete
)
counts
labels
sumS
=
fold
toS
sumS
=
fold
toS
sumCWithoutS
=
fold
toS
sumCWithoutS
=
fold
to
CWithout
S
f3
=
(
sumRest
,
sumCWithoutS
,
sumS
)
f3
=
(
sumRest
,
sumCWithoutS
,
sumS
)
w1
=
(
sumRest
<>
sumCWithoutS
,
toS
)
w1
=
(
sumRest
<>
sumCWithoutS
,
toS
)
w2
=
(
sumRest
<>
sumS
,
toCWithoutS
)
w2
=
(
sumRest
<>
sumS
,
toCWithoutS
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment