Add note on tuple monoids

This commit is contained in:
Chris Penner 2022-01-18 14:31:58 -06:00
parent 706f219b91
commit e356225573

View File

@ -405,6 +405,7 @@ toSlurpResult uf op requestedVars varsByStatus =
}
where
adds, duplicates, updates, termCtorColl, ctorTermColl, blocked, conflicts :: SlurpComponent v
-- Monoid instances only go up to 5-tuples :/
(adds, duplicates, updates, termCtorColl, (ctorTermColl, blocked, conflicts)) =
varsByStatus
& ifoldMap