Merge pull request #2363 from v6ak/feature/fix-addon-execution-result-monoid-identity

Fix AddonExecutionResult monoid identity
This commit is contained in:
eikek 2023-11-07 17:51:22 +01:00 committed by GitHub
commit f499770145
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 1 deletions

View File

@ -20,7 +20,7 @@ case class AddonExecutionResult(
object AddonExecutionResult {
val empty: AddonExecutionResult =
AddonExecutionResult(Nil, false)
AddonExecutionResult(Nil, pure = true)
def combine(a: AddonExecutionResult, b: AddonExecutionResult): AddonExecutionResult =
AddonExecutionResult(

View File

@ -136,4 +136,15 @@ class AddonExecutorTest extends CatsEffectSuite with Fixtures with TestLoggingCo
assertEquals(res.addonResults(1), AddonResult.success(testOut2))
}
}
test("AddonExecutionResult's monoid") {
assert(
AddonExecutionResult.executionResultMonoid
.combine(
AddonExecutionResult.empty,
AddonExecutionResult(Nil, true)
)
.pure
)
}
}