Fix AddonExecutionResult monoid identity

This commit is contained in:
Vít Šesták
2023-11-07 14:27:37 +01:00
parent a8b2081acd
commit b4a77c6a95
2 changed files with 12 additions and 1 deletions

View File

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

View File

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