Swift Package IndexBuild Information
Failed to build Bow, reference master (a8c1a7), with Swift 6.0 for Linux on 26 Nov 2024 16:09:07 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-1":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures 2>&1Build Log
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
194 | }
195 |
196 | private class CoflatMap<F: Comonad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
197 | internal init(f: @escaping (CoyonedaOf<F, A>) -> B) {
198 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:216:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
214 | }
215 |
216 | private class Extract<F: Comonad, A>: CokleisliK<CoyonedaFPartial<F, A>, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
217 | internal override init() {}
218 |
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:236:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
234 | }
235 |
236 | private class FoldLeft<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
237 | internal init(b: B, f: @escaping (B, A) -> B) {
238 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:260:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
258 | }
259 |
260 | private class FoldRight<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Eval<B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
261 | internal init(b: Eval<B>, f: @escaping (A, Eval<B>) -> Eval<B>) {
262 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:287:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
285 | }
286 |
287 | private class TraverseF<F: Traverse, G: Applicative, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Kind<G, CoyonedaOf<F, B>>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
288 | internal init(f: @escaping (A) -> Kind<G, B>) {
289 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:25: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
47 | ///
48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
| `- note: 'F' previously declared here
50 | internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
51 |
:
88 | }
89 |
90 | private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
91 | public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
92 | fa^.pivot.map(fa^.f.invoke)
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:37: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
47 | ///
48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
| `- note: 'A' previously declared here
50 | internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
51 |
:
88 | }
89 |
90 | private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
91 | public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
92 | fa^.pivot.map(fa^.f.invoke)
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:115:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
113 | }
114 |
115 | private class Map<F, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
116 | internal init(f: @escaping (A) -> B) {
117 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:159:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
157 | }
158 |
159 | private class FlatMap<F: Monad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
160 | internal init(f: @escaping (A) -> CoyonedaOf<F, B>) {
161 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:196:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
194 | }
195 |
196 | private class CoflatMap<F: Comonad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
197 | internal init(f: @escaping (CoyonedaOf<F, A>) -> B) {
198 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:216:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
214 | }
215 |
216 | private class Extract<F: Comonad, A>: CokleisliK<CoyonedaFPartial<F, A>, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
217 | internal override init() {}
218 |
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:236:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
234 | }
235 |
236 | private class FoldLeft<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
237 | internal init(b: B, f: @escaping (B, A) -> B) {
238 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:260:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
258 | }
259 |
260 | private class FoldRight<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Eval<B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
261 | internal init(b: Eval<B>, f: @escaping (A, Eval<B>) -> Eval<B>) {
262 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:287:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
285 | }
286 |
287 | private class TraverseF<F: Traverse, G: Applicative, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Kind<G, CoyonedaOf<F, B>>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
288 | internal init(f: @escaping (A) -> Kind<G, B>) {
289 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:25: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
47 | ///
48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
| `- note: 'F' previously declared here
50 | internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
51 |
:
88 | }
89 |
90 | private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
91 | public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
92 | fa^.pivot.map(fa^.f.invoke)
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:37: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
47 | ///
48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
| `- note: 'A' previously declared here
50 | internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
51 |
:
88 | }
89 |
90 | private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
91 | public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
92 | fa^.pivot.map(fa^.f.invoke)
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:115:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
113 | }
114 |
115 | private class Map<F, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
116 | internal init(f: @escaping (A) -> B) {
117 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:159:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
157 | }
158 |
159 | private class FlatMap<F: Monad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
160 | internal init(f: @escaping (A) -> CoyonedaOf<F, B>) {
161 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:196:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
194 | }
195 |
196 | private class CoflatMap<F: Comonad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
197 | internal init(f: @escaping (CoyonedaOf<F, A>) -> B) {
198 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:216:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
214 | }
215 |
216 | private class Extract<F: Comonad, A>: CokleisliK<CoyonedaFPartial<F, A>, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
217 | internal override init() {}
218 |
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:236:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
234 | }
235 |
236 | private class FoldLeft<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
237 | internal init(b: B, f: @escaping (B, A) -> B) {
238 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:260:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
258 | }
259 |
260 | private class FoldRight<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Eval<B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
261 | internal init(b: Eval<B>, f: @escaping (A, Eval<B>) -> Eval<B>) {
262 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:287:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
285 | }
286 |
287 | private class TraverseF<F: Traverse, G: Applicative, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Kind<G, CoyonedaOf<F, B>>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
288 | internal init(f: @escaping (A) -> Kind<G, B>) {
289 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:25: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
47 | ///
48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
| `- note: 'F' previously declared here
50 | internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
51 |
:
88 | }
89 |
90 | private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
91 | public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
92 | fa^.pivot.map(fa^.f.invoke)
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:90:37: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
47 | ///
48 | /// Coyoneda can be viewed as the arguments that we need for the `map` function.
49 | public final class Coyoneda<F, A>: CoyonedaOf<F, A> {
| `- note: 'A' previously declared here
50 | internal let coyonedaF: Exists<CoyonedaFPartial<F, A>>
51 |
:
88 | }
89 |
90 | private class Lower<F: Functor, A>: CokleisliK<CoyonedaFPartial<F, A>, Kind<F, A>> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
91 | public override func invoke<T>(_ fa: CoyonedaFOf<F, A, T>) -> Kind<F, A> {
92 | fa^.pivot.map(fa^.f.invoke)
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:115:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
113 | }
114 |
115 | private class Map<F, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
116 | internal init(f: @escaping (A) -> B) {
117 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:159:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
157 | }
158 |
159 | private class FlatMap<F: Monad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
160 | internal init(f: @escaping (A) -> CoyonedaOf<F, B>) {
161 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:196:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
194 | }
195 |
196 | private class CoflatMap<F: Comonad, A, B>: CokleisliK<CoyonedaFPartial<F, A>, CoyonedaOf<F, B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
197 | internal init(f: @escaping (CoyonedaOf<F, A>) -> B) {
198 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:216:27: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
214 | }
215 |
216 | private class Extract<F: Comonad, A>: CokleisliK<CoyonedaFPartial<F, A>, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
217 | internal override init() {}
218 |
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:236:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
234 | }
235 |
236 | private class FoldLeft<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
237 | internal init(b: B, f: @escaping (B, A) -> B) {
238 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:260:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
258 | }
259 |
260 | private class FoldRight<F: Foldable, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Eval<B>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
261 | internal init(b: Eval<B>, f: @escaping (A, Eval<B>) -> Eval<B>) {
262 | self.b = b
/host/spi-builder-workspace/Sources/Bow/Data/Coyoneda.swift:287:29: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
39 |
40 | /// Partial application of the Coyoneda type constructor, omitting the last parameter.
41 | public final class CoyonedaPartial<F>: Kind<ForCoyoneda, F> {}
| `- note: 'F' previously declared here
42 |
43 | /// Higher Kinded Type alias to improve readability.
:
285 | }
286 |
287 | private class TraverseF<F: Traverse, G: Applicative, A, B>: CokleisliK<CoyonedaFPartial<F, A>, Kind<G, CoyonedaOf<F, B>>> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
288 | internal init(f: @escaping (A) -> Kind<G, B>) {
289 | self.f = f
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:28: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'F' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Arrow/CokleisliK.swift:58:34: warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
4 | /// that is polymorphic on A, where F and B are fixed.
5 | /// Subclasses of `CokleisliK` need to implement `invoke`.
6 | open class CokleisliK<F, B> {
| `- note: 'B' previously declared here
7 | /// Initializer
8 | public init() {}
:
56 | }
57 |
58 | private class Composed<F, T, B>: CokleisliK<F, B> {
| `- warning: generic parameter 'B' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
59 | private let f: CokleisliK<F, T>
60 | private let g: Function1<T, B>
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
33 | /// - A MonadWriter from a ComonadTraced
34 | /// - A MonadState from a ComonadStore
35 | public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
| `- note: 'A' previously declared here
36 | internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
37 |
:
109 | /// - wa: Comonadic space to explore.
110 | /// - Returns: A new Comonadic space resulting from the exploration.
111 | static func select<A, B>(
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
112 | _ co: Co<W, (A) -> B>,
113 | _ wa: Kind<W, A>) -> Kind<W, B> {
/host/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
266 | }
267 |
268 | public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
| `- note: 'A' previously declared here
269 | func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
270 | { a in
271 | g((x, a))
[280/429] Compiling BowGeneric Generic.swift
[281/430] Compiling BowRecursionSchemes Recursion.swift
[282/430] Compiling BowRecursionSchemes Birecursive.swift
[283/430] Compiling BowRecursionSchemes Corecursive.swift
[284/430] Compiling BowRecursionSchemes Recursive.swift
[285/430] Emitting module BowRecursionSchemes
[286/430] Compiling BowRecursionSchemes Fix.swift
[287/430] Compiling BowRecursionSchemes Mu.swift
[288/430] Compiling BowRecursionSchemes Nu.swift
[289/431] Emitting module BowFree
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'F' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:35: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'A' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
[290/431] Compiling BowGeneric Product.swift
[291/431] Compiling BowGenerators Tree+Gen.swift
[292/431] Compiling BowGenerators Id+Gen.swift
[293/433] Compiling BowGenerators Try+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[294/433] Compiling BowGenerators Validated+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[295/433] Compiling BowGenerators Yoneda+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[296/433] Compiling BowGenerators Zipper+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
[297/437] Compiling BowGenerators EitherT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[298/437] Compiling BowGenerators EnvT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[299/437] Compiling BowGenerators OptionT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[300/437] Compiling BowGenerators StateT+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
[302/437] Compiling BowFree Program.swift
[303/437] Compiling BowFree FunctionK+Free.swift
[304/437] Compiling BowFree Free.swift
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:23: warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'F' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'F' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
/host/spi-builder-workspace/Sources/BowFree/Free.swift:16:35: warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
12 |
13 | /// Free is a type that, given any Functor, is able to provide a Monad instance, that can be interpreted into a more restrictive one.
14 | public final class Free<F: Functor, A>: FreeOf<F, A> {
| `- note: 'A' previously declared here
15 | /// Internal representation of a Free value
16 | public enum _Free<F: Functor, A> {
| `- warning: generic parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode
17 | case pure(A)
18 | case free(Kind<F, Free<F, A>>)
[305/437] Compiling BowGenerators Function0+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[306/437] Compiling BowGenerators Function1+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[307/437] Compiling BowGenerators Kleisli+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[308/437] Compiling BowGenerators LazyFunction1+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[309/437] Compiling BowFree Cofree.swift
[310/437] Compiling BowGenerators ArrayK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
[311/438] Compiling RxSwift SynchronizedUnsubscribeType.swift
[312/438] Compiling RxSwift TailRecursiveSink.swift
[313/438] Compiling RxSwift Take.swift
[314/438] Compiling RxSwift TakeLast.swift
[315/438] Compiling RxSwift TakeUntil.swift
[316/438] Compiling RxSwift TakeWhile.swift
[317/438] Compiling RxSwift Throttle.swift
[318/438] Compiling RxSwift Timeout.swift
[319/438] Compiling RxSwift Timer.swift
[320/438] Compiling RxSwift ToArray.swift
[321/438] Compiling RxSwift Using.swift
[322/438] Compiling RxSwift VirtualTimeConverterType.swift
[323/438] Compiling RxSwift VirtualTimeScheduler.swift
[324/438] Compiling RxSwift Window.swift
[325/438] Compiling RxSwift WithLatestFrom.swift
[326/438] Compiling RxSwift Zip+Collection.swift
[327/438] Compiling RxSwift Zip+arity.swift
[328/438] Compiling RxSwift Zip.swift
[330/438] Emitting module BowGenerators
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function0: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function0' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function0<A>> {
8 | A.arbitrary.map { a in Function0 { a } }
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Function1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Function1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Kleisli' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Kleisli<F, D, A>> {
8 | Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Arrow/LazyFunction1+Gen.swift:6:1: warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension LazyFunction1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
| |- warning: extension declares a conformance of imported type 'LazyFunction1' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<LazyFunction1<I, O>> {
8 | ArrowOf<I, O>.arbitrary.map { arrow in
/host/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension ArrayK: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'ArrayK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<ArrayK<A>> {
8 | Array.arbitrary.map(ArrayK.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Tree+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 |
5 | // MARK: Generator for Property-based Testing
6 | extension Tree: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Tree' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Tree<A>> {
8 | Gen.sized { gen(size: UInt($0)) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Try: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Try' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Try<A>> {
8 | let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/host/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Validated' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Validated<E, A>> {
8 | let invalid = E.arbitrary.map(Validated.invalid)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Yoneda+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Yoneda
5 |
6 | extension Yoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Yoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Yoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Zipper: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Zipper' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Zipper<A>> {
8 | Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherT<F, A, B>> {
8 | Gen.from(EitherTPartial.generate >>> EitherT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EnvT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EnvT<E, W, A>> {
8 | Gen.from(EnvTPartial.generate >>> EnvT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'OptionT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<OptionT<F, A>> {
8 | Gen.from(OptionTPartial.generate >>> OptionT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StateT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StateT<F, S, A>> {
8 | Gen.from(StateTPartial.generate >>> StateT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'StoreT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<StoreT<S, W, A>> {
8 | Gen.from(StoreTPartial.generate >>> StoreT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'TracedT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<TracedT<M, W, A>> {
8 | Gen.from(TracedTPartial.generate >>> TracedT.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Propery-based Testing
5 |
6 | extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'WriterT' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<WriterT<F, W, A>> {
8 | Gen.from(WriterTPartial.generate >>> WriterT.fix)
[331/438] Compiling BowGenerators Either+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[332/438] Compiling BowGenerators EitherK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[333/438] Compiling BowGenerators Endo+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[334/438] Compiling BowGenerators Eval+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
[335/438] Compiling BowGenerators Exists+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Either' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Either<A, B>> {
8 | let left = A.arbitrary.map(Either<A, B>.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'EitherK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<EitherK<F, G, A>> {
8 | Gen.from(EitherKPartial.generate >>> EitherK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
| |- warning: extension declares a conformance of imported type 'Endo' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Endo<A>> {
8 | ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/host/spi-builder-workspace/Tests/BowGenerators/Data/Exists+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Exists
5 |
6 | extension Exists: Arbitrary where F: ArbitraryK {
| |- warning: extension declares a conformance of imported type 'Exists' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Exists<F>> {
8 | Gen.one(of: [
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[337/438] Compiling BowEffects MonadDefer.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[338/438] Compiling BowEffects UnsafeRun.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[339/438] Compiling BowGenerators NonEmptyArray+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[340/438] Compiling BowGenerators Option+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Id: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Id' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Id<A>> {
8 | A.arbitrary.map(Id.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Ior' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Ior<A, B>> {
8 | let left = A.arbitrary.map(Ior.left)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Moore' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Moore<E, V>> {
8 | Gen.from(MoorePartial.generate >>> Moore.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension NonEmptyArray: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'NonEmptyArray' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<NonEmptyArray<A>> {
8 | Array.arbitrary
/host/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Option: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Option' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Option<A>> {
8 | let none = Gen.pure(Option<A>.none())
[341/438] Compiling BowGenerators Co+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[342/438] Compiling BowGenerators Const+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[343/438] Compiling BowGenerators CoyonedaGen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[344/438] Compiling BowGenerators Day+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
[345/438] Compiling BowGenerators DictionaryK+Gen.swift
/host/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Const: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Const' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Const<A, T>> {
8 | A.arbitrary.map(Const.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/CoyonedaGen.swift:6:1: warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Instance of Arbitrary for Coyoneda
5 |
6 | extension Coyoneda: Arbitrary where F: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Coyoneda' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Coyoneda<F, A>> {
8 | KindOf<F, A>.arbitrary.map { fa in
/host/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
| |- warning: extension declares a conformance of imported type 'DictionaryK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<DictionaryK<K, A>> {
8 | Dictionary.arbitrary.map(DictionaryK.init)
/host/spi-builder-workspace/Tests/BowGenerators/Data/PairK+Gen.swift:6:1: warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension PairK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'PairK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<PairK<F, G, A>> {
8 | Gen.from(PairKPartial.generate >>> PairK.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Sum' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Sum<F, G, V>> {
8 | Gen.from(SumPartial.generate >>> Sum.fix)
/host/spi-builder-workspace/Tests/BowGenerators/Data/Trampoline+Gen.swift:6:1: warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
4 | // MARK: Generator for Property-based Testing
5 |
6 | extension Trampoline: Arbitrary where A: Arbitrary {
| |- warning: extension declares a conformance of imported type 'Trampoline' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'Bow' introduce this conformance in the future
| `- note: add '@retroactive' to silence this warning
7 | public static var arbitrary: Gen<Trampoline<A>> {
8 | Gen.sized(arbitraryTrampoline)
BUILD FAILURE 6.0 linux