Build Logs
theiterators/sealed-monad • 3.8.1-RC1:2026-01-13
Errors
0
Warnings
4
Total Lines
395
1##################################
2Clonning https://github.com/theiterators/sealed-monad.git into /build/repo using revision v2.0.0
3##################################
4Note: switching to 'b4a5ef80e5108265f37ca327006520aaee09dc68'.
5
6You are in 'detached HEAD' state. You can look around, make experimental
7changes and commit them, and you can discard any commits you make in this
8state without impacting any branches by switching back to a branch.
9
10If you want to create a new branch to retain commits you create, you may
11do so (now or later) by using -c with the switch command. Example:
12
13 git switch -c <new-branch-name>
14
15Or undo this operation with:
16
17 git switch -
18
19Turn off this advice by setting config variable advice.detachedHead to false
20
21Would override fixed Scala version: 3.3.4
22----
23Preparing build for 3.8.1-RC1
24Scala binary version found: 3.8
25Implicitly using source version 3.8
26Scala binary version found: 3.8
27Implicitly using source version 3.8
28Would try to apply common scalacOption (best-effort, sbt/mill only):
29Append: ,REQUIRE:-source:3.8
30Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e
31
32Try apply source patch:
33Path: build.sbt
34Pattern: val scala_3 = "3.3.4"
35Replacement: val scala_3 = "3.8.1-RC1"
36Starting compilation server
37Compiling project (Scala 3.7.3, JVM (17))
38Compiled project (Scala 3.7.3, JVM (17))
39Successfully applied pattern 'val scala_3 = "3.3.4"' in build.sbt
40----
41Starting build for 3.8.1-RC1
42Execute tests: true
43sbt project found:
44Sbt version 1.10.2 is not supported, minimal supported version is 1.11.5
45Enforcing usage of sbt in version 1.11.5
46No prepare script found for project theiterators/sealed-monad
47##################################
48Scala version: 3.8.1-RC1
49Targets: pl.iterators%sealed-monad
50Project projectConfig: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val scala_3 = \"3.3.4\"","replaceWith":"val scala_3 = \"<SCALA_VERSION>\""}]}
51##################################
52Using extra scalacOptions: ,REQUIRE:-source:3.8
53Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e
54[sbt_options] declare -a sbt_options=()
55[process_args] java_version = '17'
56[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'
57# Executing command line:
58java
59-Dfile.encoding=UTF-8
60-Dcommunitybuild.scala=3.8.1-RC1
61-Dcommunitybuild.project.dependencies.add=
62-Xmx7G
63-Xms4G
64-Xss8M
65-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt
66-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8
67-jar
68/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar
69"setCrossScalaVersions 3.8.1-RC1"
70"++3.8.1-RC1 -v"
71"mapScalacOptions ",REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""
72"set every credentials := Nil"
73"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"
74"removeScalacOptionsStartingWith -P:wartremover"
75
76moduleMappings
77"runBuild 3.8.1-RC1 """{"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val scala_3 = \"3.3.4\"","replaceWith":"val scala_3 = \"<SCALA_VERSION>\""}]}""" pl.iterators%sealed-monad"
78
79[info] welcome to sbt 1.11.5 (Eclipse Adoptium Java 17.0.8)
80[info] loading settings for project repo-build from akka.sbt, plugins.sbt...
81[info] loading project definition from /build/repo/project
82[info] compiling 2 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...
83[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...
84[info] Compilation completed in 9.382s.
85[info] done compiling
86[info] loading settings for project sealedMonad from build.sbt...
87[info] resolving key references (10216 settings) ...
88[info] set scmInfo to https://github.com/theiterators/sealed-monad
89[info] set current project to sealedMonad (in build file:/build/repo/)
90Execute setCrossScalaVersions: 3.8.1-RC1
91OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in sealedMonadNative/crossScalaVersions
92OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in sealedMonadJS/crossScalaVersions
93OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in sealedMonadJVM/crossScalaVersions
94OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in sealedMonad/crossScalaVersions
95OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in examples/crossScalaVersions
96OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in benchmarks/crossScalaVersions
97OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in docs/crossScalaVersions
98OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in core/crossScalaVersions
99OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in coreNative/crossScalaVersions
100OpenCB::Changing crossVersion 3.8.1-RC1 -> 3.8.1-RC1 in coreJS/crossScalaVersions
101[info] set scmInfo to https://github.com/theiterators/sealed-monad
102[info] set current project to sealedMonad (in build file:/build/repo/)
103[info] Setting Scala version to 3.8.1-RC1 on 10 projects.
104[info] Switching Scala version on:
105[info] benchmarks (2.13.15, 3.8.1-RC1)
106[info] sealedMonadNative (2.13.15, 3.8.1-RC1)
107[info] examples (2.13.15, 3.8.1-RC1)
108[info] * sealedMonad (2.13.15, 3.8.1-RC1)
109[info] coreNative (2.13.15, 3.8.1-RC1)
110[info] docs (2.13.15, 3.8.1-RC1)
111[info] sealedMonadJS (2.13.15, 3.8.1-RC1)
112[info] coreJS (2.13.15, 3.8.1-RC1)
113[info] sealedMonadJVM (2.13.15, 3.8.1-RC1)
114[info] core (2.13.15, 3.8.1-RC1)
115[info] Excluding projects:
116[info] Reapplying settings...
117[info] set scmInfo to https://github.com/theiterators/sealed-monad
118[info] set current project to sealedMonad (in build file:/build/repo/)
119Execute mapScalacOptions: ,REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e
120[info] Reapplying settings...
121[info] set scmInfo to https://github.com/theiterators/sealed-monad
122[info] set current project to sealedMonad (in build file:/build/repo/)
123[info] Defining Global / credentials, benchmarks / credentials and 8 others.
124[info] The new values will be used by Compile / scalafmtOnly, IntegrationTest / scalafmtOnly and 97 others.
125[info] Run `last` for details.
126[info] Reapplying settings...
127[info] set scmInfo to https://github.com/theiterators/sealed-monad
128[info] set current project to sealedMonad (in build file:/build/repo/)
129Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}
130[info] Reapplying settings...
131OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:
132
133 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)
134 Did you mean sealedMonadJVM / allExcludeDependencies ?
135 , retry without global scopes
136[info] Reapplying settings...
137[info] set scmInfo to https://github.com/theiterators/sealed-monad
138[info] set current project to sealedMonad (in build file:/build/repo/)
139Execute removeScalacOptionsStartingWith: -P:wartremover
140[info] Reapplying settings...
141[info] set scmInfo to https://github.com/theiterators/sealed-monad
142[info] set current project to sealedMonad (in build file:/build/repo/)
143[success] Total time: 0 s, completed Jan 13, 2026, 7:18:32 PM
144Build config: {"projects":{"exclude":[],"overrides":{}},"java":{"version":"17"},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[{"path":"build.sbt","pattern":"val scala_3 = \"3.3.4\"","replaceWith":"val scala_3 = \"<SCALA_VERSION>\""}]}
145Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(),Map()),Full,List()))
146Starting build...
147Projects: Set(core)
148Starting build for ProjectRef(file:/build/repo/,core) (sealed-monad)... [0/1]
149OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global
150OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'
151OpenCB::Filter out '-feature', matches setting pattern '^-?-feature'
152Compile scalacOptions: -unchecked, -language:implicitConversions, -Ykind-projector:underscores, -encoding, utf8, -Wconf:msg=can be rewritten automatically under:s, -source:3.8
153[info] scalafmt: Formatting 10 Scala sources (/build/repo/sealedmonad/.jvm)...
154[info] scalafmt: Formatting 3 Scala sources (/build/repo/sealedmonad/.jvm)...
155[info] compiling 3 Scala sources to /build/repo/sealedmonad/.jvm/target/scala-3.8.1-RC1/classes ...
156[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.
157[warn] one warning found
158[info] done compiling
159[info] compiling 12 Scala sources to /build/repo/sealedmonad/.jvm/target/scala-3.8.1-RC1/test-classes ...
160[warn] Option -Ykind-projector is deprecated: Use -Xkind-projector instead.
161[warn] one warning found
162[info] done compiling
163right
164[info] + Sealed.scala.Sealed.scala:443: ensureNotOrF.example at line 461: (for { x <- sealedNone.ensureNotOrF(num => num == 1, _ => Id ...: OK, proved property.
165[info] + Sealed.scala.Sealed.scala:537: flatTapWhenNot.example at line 548: (for { x <- sealedSome.flatTapWhenNot(num => num == 2, _ => ...: OK, proved property.
166[info] + Sealed.scala.Sealed.scala:356: ensureNotF.example at line 373: (for { x <- sealedNone.ensureNotF(num => num == 1, Id(Transf ...: OK, proved property.
167[info] + Sealed.scala.Sealed.scala:158: attempt.example at line 172: (for { x <- sealedSome.map(_ => 2).attempt(num => Either.con ...: OK, proved property.
168[info] + Sealed.scala.Sealed.scala:314: ensureF.example at line 328: (for { x <- sealedSome.ensureF(num => num == 2, Id(Transform ...: OK, proved property.
169[info] + Sealed.scala.Sealed.scala:443: ensureNotOrF.example at line 458: (for { x <- sealedSome.ensureNotOrF(num => num == 2, _ => Id ...: OK, proved property.
170[info] + Sealed.scala.Sealed.scala:39: leftSemiflatMap.example at line 51: (for { x <- sealedSome.leftSemiflatMap(_ => Id(Transformed(2 ...: OK, proved property.
171[info] + Sealed.scala.Sealed.scala:204: foldM.example at line 219: (for { x <- sealedNone.foldM((adt: Response) => Reached.seal ...: OK, proved property.
172[info] + Sealed.scala.Sealed.scala:158: attempt.example at line 175: (for { x <- sealedNone.attempt(num => Either.cond(num == 1, ...: OK, proved property.
173[info] + Sealed.scala.Sealed.scala:537: flatTapWhenNot.example at line 555: (for { x <- sealedNone.flatTapWhenNot(num => num == 2, _ => ...: OK, proved property.
174[info] + Sealed.scala.Sealed.scala:58: leftSemiflatTap.example at line 69: (for { x <- sealedSome.leftSemiflatTap(_ => Id(println("left ...: OK, proved property.
175[info] + Sealed.scala.Sealed.scala:314: ensureF.example at line 331: (for { x <- sealedNone.ensureF(num => num == 1, Id(Transform ...: OK, proved property.
176[info] + Sealed.scala.Sealed.scala:631: unit.example at line 637: Sealed.unit[Option].run: OK, proved property.
177[info] + Sealed.scala.Sealed.scala:22: semiflatMap.example at line 33: (for { x <- sealedSome.semiflatMap(_ => Id(42)) } yield Valu ...: OK, proved property.
178[info] + Sealed.scala.Sealed.scala:134: completeWith.example at line 146: (for { x <- sealedSome.completeWith(_ => Id(Transformed(2))) ...: OK, proved property.
179right
180[info] + Sealed.scala.Sealed.scala:489: flatTap.example at line 500: (for { x <- sealedSome.flatTap(_ => Id(println("right"))) } ...: OK, proved property.
181left
182[info] + Sealed.scala.Sealed.scala:89: biSemiflatTap.example at line 104: (for { x <- sealedNone.biSemiflatTap(_ => Id(println("left") ...: OK, proved property.
183[info] + Sealed.scala.Sealed.scala:399: ensureOrF.example at line 417: (for { x <- sealedNone.ensureOrF(num => num == 1, _ => Id(Tr ...: OK, proved property.
184[info] + Sealed.scala.Sealed.scala:338: ensureNot.example at line 350: (for { x <- sealedSome.ensureNot(num => num == 1, ConditionN ...: OK, proved property.
185[info] + Sealed.scala.Sealed.scala:356: ensureNotF.example at line 368: (for { x <- sealedSome.ensureNotF(num => num == 1, Id(Transf ...: OK, proved property.
186[info] + Sealed.scala.Sealed.scala:379: ensureOr.example at line 392: (for { x <- sealedSome.ensureOr(num => num == 2, num => Unwa ...: OK, proved property.
187[info] + Sealed.scala.Sealed.scala:181: attemptF.example at line 193: (for { x <- sealedSome.attemptF(num => Id(Either.cond(num == ...: OK, proved property.
188left
189[info] + Sealed.scala.Sealed.scala:489: flatTap.example at line 504: (for { x <- sealedNone.flatTap(_ => Id(println("left"))) } y ...: OK, proved property.
190[info] + Sealed.scala.Sealed.scala:58: leftSemiflatTap.example at line 72: (for { x <- sealedNone.leftSemiflatTap(_ => Id(println("left ...: OK, proved property.
191[info] + Sealed.scala.Sealed.scala:356: ensureNotF.example at line 370: (for { x <- sealedSome.ensureNotF(num => num == 2, Id(Transf ...: OK, proved property.
192[info] + Sealed.scala.Sealed.scala:424: ensureNotOr.example at line 437: (for { x <- sealedSome.ensureNotOr(num => num == 1, num => U ...: OK, proved property.
193[info] + Sealed.scala.Sealed.scala:511: flatTapWhen.example at line 529: (for { x <- sealedNone.flatTapWhen(num => num == 1, _ => Id( ...: OK, proved property.
194[info] + Sealed.scala.Sealed.scala:467: tap.example at line 482: (for { x <- sealedNone.flatTap(_ => println("left")) } yield ...: OK, proved property.
195[info] + Sealed.scala.Sealed.scala:204: foldM.example at line 216: (for { x <- sealedSome.foldM((adt: Response) => Reached.seal ...: OK, proved property.
196[info] + Sealed.scala.Sealed.scala:116: complete.example at line 128: (for { x <- sealedSome.complete(_ => Transformed(2)) } yield ...: OK, proved property.
197[info] + Sealed.scala.Sealed.scala:181: attemptF.example at line 195: (for { x <- sealedSome.map(_ => 2).attemptF(num => Id(Either ...: OK, proved property.
198right
199[info] + Sealed.scala.Sealed.scala:511: flatTapWhen.example at line 522: (for { x <- sealedSome.flatTapWhen(num => num == 1, _ => Id( ...: OK, proved property.
200[info] + Sealed.scala.Sealed.scala:443: ensureNotOrF.example at line 456: (for { x <- sealedSome.ensureNotOrF(num => num == 1, _ => Id ...: OK, proved property.
201right
202[info] + Sealed.scala.Sealed.scala:467: tap.example at line 478: (for { x <- sealedSome.tap(_ => println("right")) } yield Va ...: OK, proved property.
203[info] + Sealed.scala.Sealed.scala:296: ensure.example at line 308: (for { x <- sealedSome.ensure(num => num == 1, ConditionNotM ...: OK, proved property.
204[info] + Sealed.scala.Sealed.scala:537: flatTapWhenNot.example at line 551: (for { x <- sealedSome.flatTapWhenNot(num => num == 1, _ => ...: OK, proved property.
205[info] + Sealed.scala.Sealed.scala:181: attemptF.example at line 198: (for { x <- sealedNone.attemptF(num => Id(Either.cond(num == ...: OK, proved property.
206[info] + Sealed.scala.Sealed.scala:158: attempt.example at line 170: (for { x <- sealedSome.attempt(num => Either.cond(num == 1, ...: OK, proved property.
207[info] + Sealed.scala.Sealed.scala:314: ensureF.example at line 326: (for { x <- sealedSome.ensureF(num => num == 1, Id(Transform ...: OK, proved property.
208[info] + Sealed.scala.Sealed.scala:511: flatTapWhen.example at line 525: (for { x <- sealedSome.flatTapWhen(num => num == 2, _ => Id( ...: OK, proved property.
209[info] + Sealed.scala.Sealed.scala:562: run.example at line 573: sealedSome.run: OK, proved property.
210[info] + Sealed.scala.Sealed.scala:399: ensureOrF.example at line 414: (for { x <- sealedSome.ensureOrF(num => num == 2, _ => Id(Tr ...: OK, proved property.
211[info] + Sealed.scala.Sealed.scala:399: ensureOrF.example at line 412: (for { x <- sealedSome.ensureOrF(num => num == 1, _ => Id(Tr ...: OK, proved property.
212[info] + SealedSyntax.scala.SealedSyntax.scala:423: rethrow.example at line 433: (for {value <- sealedRight} yield Value(value)).run: OK, proved property.
213[info] + SealedSyntax.scala.SealedSyntax.scala:273: emptyOr.example at line 284: (for {value <- sealedSome} yield NotFound).run: OK, proved property.
214[info] + SealedSyntax.scala.SealedSyntax.scala:273: emptyOr.example at line 287: (for {value <- sealedNone} yield NotFound).run: OK, proved property.
215[info] + SealedSyntax.scala.SealedSyntax.scala:93: ensureNotF.example at line 107: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
216[info] + SealedSyntax.scala.SealedSyntax.scala:235: valueOr.example at line 248: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
217[info] + SealedSyntax.scala.SealedSyntax.scala:153: ensureNotOr.example at line 164: (for {value <- sealedSome} yield NotFound).run: OK, proved property.
218[info] + SealedSyntax.scala.SealedSyntax.scala:194: attempt.example at line 204: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
219[info] + SealedSyntax.scala.SealedSyntax.scala:53: ensureF.example at line 64: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
220[info] + SealedSyntax.scala.SealedSyntax.scala:133: ensureOrF.example at line 144: (for {value <- sealedSome} yield NotFound).run: OK, proved property.
221[info] + SealedSyntax.scala.SealedSyntax.scala:213: attemptF.example at line 223: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
222[info] + SealedSyntax.scala.SealedSyntax.scala:333: mergeF.example at line 342: List(Right(1): Either[String, Int]).mergeF[Response] { case ...: OK, proved property.
223[info] + SealedSyntax.scala.SealedSyntax.scala:254: valueOrF.example at line 267: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
224[info] + SealedSyntax.scala.SealedSyntax.scala:133: ensureOrF.example at line 147: (for {value <- sealedNone} yield NotFound).run: OK, proved property.
225[info] + SealedSyntax.scala.SealedSyntax.scala:254: valueOrF.example at line 264: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
226[info] + SealedSyntax.scala.SealedSyntax.scala:350: handleError.example at line 363: (for {value <- sealedLeft} yield NotFound).run: OK, proved property.
227[info] + SealedSyntax.scala.SealedSyntax.scala:316: merge.example at line 327: List(Left("it"): Either[String, Int]).merge[Response] { case ...: OK, proved property.
228[info] + SealedSyntax.scala.SealedSyntax.scala:93: ensureNotF.example at line 104: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
229[info] + SealedSyntax.scala.SealedSyntax.scala:153: ensureNotOr.example at line 167: (for {value <- sealedNone} yield NotFound).run: OK, proved property.
230[info] + SealedSyntax.scala.SealedSyntax.scala:33: ensure.example at line 44: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
231[info] + SealedSyntax.scala.SealedSyntax.scala:369: fromEither.example at line 385: (for {value <- sealedLeft} yield Value(value)).run: OK, proved property.
232[info] + SealedSyntax.scala.SealedSyntax.scala:293: emptyOrF.example at line 307: (for {value <- sealedNone} yield NotFound).run: OK, proved property.
233[info] + SealedSyntax.scala.SealedSyntax.scala:394: seal.example at line 400: 1.seal[Id].run: OK, proved property.
234[info] + SealedSyntax.scala.SealedSyntax.scala:173: ensureNotOrF.example at line 187: (for {value <- sealedNone} yield NotFound).run: OK, proved property.
235[info] + SealedSyntax.scala.SealedSyntax.scala:73: ensureNot.example at line 84: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
236[info] + SealedSyntax.scala.SealedSyntax.scala:316: merge.example at line 325: List(Right(1): Either[String, Int]).merge[Response] { case R ...: OK, proved property.
237[info] + SealedSyntax.scala.SealedSyntax.scala:53: ensureF.example at line 67: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
238[info] + SealedSyntax.scala.SealedSyntax.scala:113: ensureOr.example at line 124: (for {value <- sealedSome} yield NotFound).run: OK, proved property.
239[info] + SealedSyntax.scala.SealedSyntax.scala:194: attempt.example at line 207: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
240[info] + SealedSyntax.scala.SealedSyntax.scala:369: fromEither.example at line 382: (for {value <- sealedRight} yield Value(value)).run: OK, proved property.
241[info] + SealedSyntax.scala.SealedSyntax.scala:333: mergeF.example at line 344: List(Left("it"): Either[String, Int]).mergeF[Response] { cas ...: OK, proved property.
242[info] + SealedSyntax.scala.SealedSyntax.scala:73: ensureNot.example at line 87: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
243[info] + SealedSyntax.scala.SealedSyntax.scala:213: attemptF.example at line 226: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
244[info] + SealedSyntax.scala.SealedSyntax.scala:406: liftSealed.example at line 414: 1.liftSealed[Id, Response].map(Value(_)).run: OK, proved property.
245[info] + SealedSyntax.scala.SealedSyntax.scala:173: ensureNotOrF.example at line 184: (for {value <- sealedSome} yield NotFound).run: OK, proved property.
246[info] + SealedSyntax.scala.SealedSyntax.scala:17: seal.example at line 27: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
247[info] + SealedSyntax.scala.SealedSyntax.scala:33: ensure.example at line 47: (for {value <- sealedNone} yield Value(value)).run: OK, proved property.
248[info] + SealedSyntax.scala.SealedSyntax.scala:350: handleError.example at line 360: (for {value <- sealedRight} yield Value(value)).run: OK, proved property.
249[info] + SealedSyntax.scala.SealedSyntax.scala:235: valueOr.example at line 245: (for {value <- sealedSome} yield Value(value)).run: OK, proved property.
250[info] + SealedSyntax.scala.SealedSyntax.scala:113: ensureOr.example at line 127: (for {value <- sealedNone} yield NotFound).run: OK, proved property.
251[info] + SealedSyntax.scala.SealedSyntax.scala:293: emptyOrF.example at line 304: (for {value <- sealedSome} yield NotFound).run: OK, proved property.
252[info] SealedMonadSpecs:
253[info] - Sealed.monad.ap consistent with product + map
254[info] - Sealed.monad.applicative homomorphism
255[info] - Sealed.monad.applicative identity
256[info] - Sealed.monad.applicative interchange
257[info] - Sealed.monad.applicative map
258[info] - Sealed.monad.applicative unit
259[info] - Sealed.monad.apply composition
260[info] - Sealed.monad.covariant composition
261[info] - Sealed.monad.covariant identity
262[info] - Sealed.monad.flatMap associativity
263[info] - Sealed.monad.flatMap consistent apply
264[info] - Sealed.monad.flatMap from tailRecM consistency
265[info] - Sealed.monad.flatMapOrKeep flatMap coherence
266[info] - Sealed.monad.invariant composition
267[info] - Sealed.monad.invariant identity
268[info] - Sealed.monad.map flatMap coherence
269[info] - Sealed.monad.map2/map2Eval consistency
270[info] - Sealed.monad.map2/product-map consistency
271[info] - Sealed.monad.mapOrKeepToMapEquivalence
272[info] - Sealed.monad.monad left identity
273[info] - Sealed.monad.monad right identity
274[info] - Sealed.monad.monoidal left identity
275[info] - Sealed.monad.monoidal right identity
276[info] - Sealed.monad.mproduct consistent flatMap
277[info] - Sealed.monad.productL consistent map2
278[info] - Sealed.monad.productR consistent map2
279[info] - Sealed.monad.replicateA_ consistent with replicateA.void
280[info] - Sealed.monad.semigroupal associativity
281[info] - Sealed.monad.tailRecM consistent flatMap
282[info] - Sealed.monad.tailRecM stack safety
283[info] SealedSpecs:
284[info] - Sealed.combinators.attempt left consistent with complete
285[info] - Sealed.combinators.attempt right consistent with map
286[info] - Sealed.combinators.attemptF consistent with attempt + unit
287[info] - Sealed.combinators.complete consistent with result + flatMap
288[info] - Sealed.combinators.completeWith consistent with complete + unit
289[info] - Sealed.combinators.either identity
290[info] - Sealed.combinators.ensure consistent with ensureNot
291[info] - Sealed.combinators.ensure consistent with rethrow
292[info] - Sealed.combinators.ensure false consistent with complete
293[info] - Sealed.combinators.ensure true identity
294[info] - Sealed.combinators.ensureF consistent with attemptF
295[info] - Sealed.combinators.ensureF consistent with ensure
296[info] - Sealed.combinators.ensureF false consistent with completeWith
297[info] - Sealed.combinators.ensureF true identity
298[info] - Sealed.combinators.ensureNotOrF false consistent with completeWith
299[info] - Sealed.combinators.ensureNotOrF true identity
300[info] - Sealed.combinators.ensureOrF consistent with ensureF
301[info] - Sealed.combinators.ensureOrF false consistent with completeWith
302[info] - Sealed.combinators.ensureOrF true identity
303[info] - Sealed.combinators.foldM consistent with flatMap
304[info] - Sealed.combinators.handleError
305[info] - Sealed.combinators.inspect does not change instance
306[info] - Sealed.combinators.leftSemiflatMap elimination
307[info] - Sealed.combinators.map stack-safety
308[info] - Sealed.combinators.result biSemiflatMap coherent with result leftsemiFlatMap + semiflatMap
309[info] - Sealed.combinators.result complete short-circuits
310[info] - Sealed.combinators.result flatMap short-circuits
311[info] - Sealed.combinators.result map short-circuits
312[info] - Sealed.combinators.result semiflatMap short-circuits
313[info] - Sealed.combinators.rethrow left consistent with complete
314[info] - Sealed.combinators.rethrow right does not change value
315[info] - Sealed.combinators.semiflatMap consistent with flatMap
316[info] - Sealed.combinators.semiflatMap stack-safety
317[info] - Sealed.combinators.value biSemiflatMap coherent with value leftsemiFlatMap + semiflatMap
318[info] - Sealed.combinators.value map
319[info] - Sealed.combinators.valueOr
320[info] - inspect side effect not invoked
321[info] - inspect side effect invoked
322[info] - inspect with valueOr with None side effect invoked
323[info] - inspect with valueOr with None side effect not invoked
324[info] - inspect with valueOr with Some side effect invoked
325[info] - inspect with valueOr with Some side effect not invoked
326[info] - inspect with positive ensure side effect invoked
327[info] - inspect with positive ensure side effect not invoked
328[info] - inspect with negative ensure negative side effect invoked
329[info] - inspect with negative ensure negative side effect not invoked
330[info] - inspect with Some valueOr with negative ensure negative side effect invoked
331[info] - inspect with Some valueOr with negative ensure negative side effect not invoked
332[info] - inspectF side effect not invoked
333[info] - inspectF side effect invoked
334[info] - inspectF with valueOr with None side effect invoked
335[info] - inspectF with valueOr with None side effect not invoked
336[info] - inspectF with valueOr with Some side effect invoked
337[info] - inspectF with valueOr with Some side effect not invoked
338[info] - inspectF with positive ensure side effect invoked
339[info] - inspectF with positive ensure side effect not invoked
340[info] - inspectF with negative ensure negative side effect invoked
341[info] - inspectF with negative ensure negative side effect not invoked
342[info] - inspectF with Some valueOr with negative ensure negative side effect invoked
343[info] - inspectF with Some valueOr with negative ensure negative side effect not invoked
344[info] - tap side effect invoked
345[info] - tapWhenPositive side effect invoked
346[info] - tapWhenNegative side effect not invoked
347[info] - tap with valueOr with Some side effect invoked
348[info] - tapWhenPositive with valueOr with Some side effect invoked
349[info] - tapWhenNegative with valueOr with Some side effect not invoked
350[info] - tap with valueOr with None side effect not invoked
351[info] - tapWhenNPositive with valueOr with None side effect not invoked
352[info] - tapWhenNegative with valueOr with None side effect not invoked
353[info] - tap with positive ensure side effect invoked
354[info] - tapWhenPositive with positive ensure side effect invoked
355[info] - tapWhenNegative with positive ensure side effect not invoked
356[info] - tap with negative ensure side effect invoked
357[info] - tapWhenPositive with negative ensure side effect invoked
358[info] - tapWhenNegative with negative ensure side effect not invoked
359[info] - do not invoke leftSemiflatTap on value
360[info] - do not invoke leftSemiflatTap on Some(_).valueOr
361[info] - invoke leftSemiflatTap on None.valueOr
362[info] - do not invoke leftSemiflatTap on positive ensure check
363[info] - invoke leftSemiflatTap on negative ensure check
364[info] - do not invoke left function of biSemiflatTap on value
365[info] - do not invoke left function of biSemiflatTap on Some(_).valueOr
366[info] - invoke left function of biSemiflatTap on None.valueOr
367[info] - do not invoke left function of biSemiflatTap on positive ensure check
368[info] - invoke left function of biSemiflatTap on negative ensure check
369[info] - invoke right function of biSemiflatTap on value
370[info] - invoke right function of biSemiflatTap on Some(_).valueOr
371[info] - do not invoke right function of biSemiflatTap on None.valueOr
372[info] - invoke right function of biSemiflatTap on positive ensure check
373[info] - do not invoke right function of biSemiflatTap on negative ensure check
374
375************************
376Build summary:
377[{
378 "module": "sealed-monad",
379 "compile": {"status": "ok", "tookMs": 12424, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
380 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},
381 "test-compile": {"status": "ok", "tookMs": 13064, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},
382 "test": {"status": "ok", "tookMs": 1604, "passed": 203, "failed": 0, "ignored": 0, "skipped": 0, "total": 203, "byFramework": [{"framework": "unknown", "stats": {"passed": 203, "failed": 0, "ignored": 0, "skipped": 0, "total": 203}}]},
383 "publish": {"status": "skipped", "tookMs": 0},
384 "metadata": {
385 "crossScalaVersions": ["2.13.15", "3.3.4"]
386}
387}]
388************************
389[success] Total time: 29 s, completed Jan 13, 2026, 7:19:01 PM
390[0JChecking patch project/plugins.sbt...
391Checking patch project/build.properties...
392Checking patch build.sbt...
393Applied patch project/plugins.sbt cleanly.
394Applied patch project/build.properties cleanly.
395Applied patch build.sbt cleanly.