Build Information
Successful build of Bow, reference 0.8.0 (17ff76), with Swift 6.4 for macOS (SPM) on 16 Sep 2026 03:26:25 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-27.0.0-Release.Candidate.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 5.1.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/bow-swift/bow.git
Reference: 0.8.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/bow-swift/bow
* tag 0.8.0 -> FETCH_HEAD
HEAD is now at 17ff76f Swift playgrounds (#599)
Cloned https://github.com/bow-swift/bow.git
Revision (git rev-parse @):
17ff76f1e0427a67e221c0a20b96324d256c340f
SUCCESS checkout https://github.com/bow-swift/bow.git at 0.8.0
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.4
Building package at path: $PWD
https://github.com/bow-swift/bow.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-27.0.0-Release.Candidate.app xcrun swift build --arch arm64
Building for debugging...
[Computing dependencies]
[Constructing description]
[Pre-planning 1 / 940]
[Planning deferred tasks]
[137 / 303]
[140 / 306] Bow
[149 / 362]
[152 / 362]
[157 / 362]
[159 / 362] SwiftCheck
[163 / 405]
[168 / 405]
[170 / 405]
[172 / 405]
[176 / 405]
[180 / 405]
[182 / 405]
[185 / 405]
[186 / 405]
[198 / 405] RxSwift
[206 / 405] RxSwift
[208 / 405]
[211 / 405] Bow
[222 / 405] RxSwift
[226 / 405] RxSwift
[227 / 405]
[235 / 405] BowRecursionSchemes
[237 / 405]
[238 / 405] Bow-product
[239 / 405] Bow-product
[242 / 405]
[246 / 406] SwiftCheck
[248 / 406] SwiftCheck
[256 / 411] SwiftCheck
[264 / 411] RxRelay
[274 / 411] RxRelay
[281 / 413]
[282 / 414]
[285 / 418] BowRecursionSchemes
[290 / 457]
[302 / 457]
[309 / 468]
[320 / 512]
[344 / 512] BowOptics
[351 / 512] BowOptics
[354 / 512] BowOptics
[361 / 512] BowEffects
[369 / 512]
[378 / 512] RxCocoa
[381 / 512] RxCocoa
[384 / 512] BowOptics
[389 / 512] RxCocoa
[398 / 512]
[400 / 512] RxCocoa-product
[406 / 512]
[407 / 512] BowFree-product
[415 / 512] BowEffects
[422 / 512]
[423 / 513]
[429 / 514] BowFree
[433 / 514]
[437 / 514] BowRx
[441 / 518] BowRx
[451 / 518] RxCocoaRuntime
[464 / 529] BowGenerators
[464 / 529] BowRx
[476 / 533] BowRx-product
[476 / 533] BowGenerators
[479 / 533] BowFreeGenerators
[490 / 552] BowLaws
[506 / 552] BowRxGenerators
[523 / 552] BowLaws-product
[529 / 553]
[533 / 554] BowLaws
[536 / 554] BowOpticsLaws
[547 / 565] BowEffectsLaws
[561 / 565] BowOpticsLaws
[562 / 565] BowEffectsLaws
Build complete! (17.86 sec)
Fetching https://github.com/bow-swift/SwiftCheck.git
Fetching https://github.com/ReactiveX/RxSwift.git
[1/4531] Fetching swiftcheck
[2222/59059] Fetching swiftcheck, rxswift
Fetched https://github.com/ReactiveX/RxSwift.git (19.57s)
Fetched https://github.com/bow-swift/SwiftCheck.git (19.57s)
Computing version for https://github.com/bow-swift/SwiftCheck.git
Computed https://github.com/bow-swift/SwiftCheck.git at 0.12.1 (20.22s)
Computing version for https://github.com/ReactiveX/RxSwift.git
Computed https://github.com/ReactiveX/RxSwift.git at 5.1.3 (0.63s)
Creating working copy for https://github.com/ReactiveX/RxSwift.git
Working copy of https://github.com/ReactiveX/RxSwift.git resolved at 5.1.3
Creating working copy for https://github.com/bow-swift/SwiftCheck.git
Working copy of https://github.com/bow-swift/SwiftCheck.git resolved at 0.12.1
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m33 |[0;0m /// - A MonadWriter from a ComonadTraced
[0;36m34 |[0;0m /// - A MonadState from a ComonadStore
[0;36m35 |[0;0m public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m36 |[0;0m internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
[0;36m37 |[0;0m
[0;36m:[0;0m
[0;36m109 |[0;0m /// - wa: Comonadic space to explore.
[0;36m110 |[0;0m /// - Returns: A new Comonadic space resulting from the exploration.
[0;36m111 |[0;0m static func select<A, B>(
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m112 |[0;0m _ co: Co<W, (A) -> B>,
[0;36m113 |[0;0m _ wa: Kind<W, A>) -> Kind<W, B> {
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Functor.swift:123:22: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m121 |[0;0m /// - Parameter f: Function to be lifted.
[0;36m122 |[0;0m /// - Returns: Function in the context implementing this instance of `Functor`.
[0;36m123 |[0;0m static func lift<A, B>(_ f: @escaping (A) -> B) -> (Kind<F, A>) -> Kind<F, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m124 |[0;0m { fa in fa.map(f) }
[0;36m125 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m8 |[0;0m /// class ForOption {}
[0;36m9 |[0;0m /// class Option<A>: Kind<ForOption, A> {}
[0;36m10 |[0;0m open class Kind<F, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m11 |[0;0m /// Default initializer
[0;36m12 |[0;0m public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m185 |[0;0m /// - else: Computation that will be executed if this evaluates to `false`.
[0;36m186 |[0;0m /// - Returns: Composition of the computations.
[0;36m187 |[0;0m func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m188 |[0;0m F.ifS(self, then: t, else: e)
[0;36m189 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m8 |[0;0m /// class ForOption {}
[0;36m9 |[0;0m /// class Option<A>: Kind<ForOption, A> {}
[0;36m10 |[0;0m open class Kind<F, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m11 |[0;0m /// Default initializer
[0;36m12 |[0;0m public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Selective.swift:187:14: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m185 |[0;0m /// - else: Computation that will be executed if this evaluates to `false`.
[0;36m186 |[0;0m /// - Returns: Composition of the computations.
[0;36m187 |[0;0m func ifS<A>(then t: Kind<F, A>, else e: Kind<F, A>) -> Kind<F, A> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m188 |[0;0m F.ifS(self, then: t, else: e)
[0;36m189 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m8 |[0;0m /// class ForOption {}
[0;36m9 |[0;0m /// class Option<A>: Kind<ForOption, A> {}
[0;36m10 |[0;0m open class Kind<F, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m11 |[0;0m /// Default initializer
[0;36m12 |[0;0m public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Co.swift:111:24: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m33 |[0;0m /// - A MonadWriter from a ComonadTraced
[0;36m34 |[0;0m /// - A MonadState from a ComonadStore
[0;36m35 |[0;0m public class CoT<W: Comonad, M, A>: CoTOf<W, M, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m36 |[0;0m internal let cow: (Kind<W, (A) -> Kind<M, Any>>) -> Kind<M, Any>
[0;36m37 |[0;0m
[0;36m:[0;0m
[0;36m109 |[0;0m /// - wa: Comonadic space to explore.
[0;36m110 |[0;0m /// - Returns: A new Comonadic space resulting from the exploration.
[0;36m111 |[0;0m static func select<A, B>(
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m112 |[0;0m _ co: Co<W, (A) -> B>,
[0;36m113 |[0;0m _ wa: Kind<W, A>) -> Kind<W, B> {
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Data/Co.swift:269:16: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m266 |[0;0m }
[0;36m267 |[0;0m
[0;36m268 |[0;0m public static func listen<A>(_ fa: CoTOf<W, M, A>) -> CoTOf<W, M, (W.M, A)> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m269 |[0;0m func f<A>(_ x: W.M, _ g: @escaping ((W.M, A)) -> Kind<M, Any>) -> (A) -> Kind<M, Any> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m270 |[0;0m { a in
[0;36m271 |[0;0m g((x, a))
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Typeclasses/Functor.swift:123:22: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m121 |[0;0m /// - Parameter f: Function to be lifted.
[0;36m122 |[0;0m /// - Returns: Function in the context implementing this instance of `Functor`.
[0;36m123 |[0;0m static func lift<A, B>(_ f: @escaping (A) -> B) -> (Kind<F, A>) -> Kind<F, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m124 |[0;0m { fa in fa.map(f) }
[0;36m125 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/Bow/Syntax/HigherKinds.swift:10:20: [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m8 |[0;0m /// class ForOption {}
[0;36m9 |[0;0m /// class Option<A>: Kind<ForOption, A> {}
[0;36m10 |[0;0m open class Kind<F, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'A' previously declared here[0;0m
[0;36m11 |[0;0m /// Default initializer
[0;36m12 |[0;0m public init() {}
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:25:30: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m6 |[0;0m public typealias FreeOf<S, A> = Kind<FreePartial<S>, A>
[0;36m7 |[0;0m
[0;36m8 |[0;0m public class Free<S, A>: FreeOf<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m9 |[0;0m public static func liftF(_ fa: Kind<S, A>) -> Free<S, A> {
[0;36m10 |[0;0m return Suspend(fa)
[0;36m:[0;0m
[0;36m23 |[0;0m }
[0;36m24 |[0;0m
[0;36m25 |[0;0m public func transform<B, S, O>(_ f: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m26 |[0;0m fatalError("Free.transform must be implemented by subclass")
[0;36m27 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:84:39: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m71 |[0;0m }
[0;36m72 |[0;0m
[0;36m73 |[0;0m private class Pure<S, A>: Free<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m74 |[0;0m fileprivate let a: A
[0;36m75 |[0;0m
[0;36m:[0;0m
[0;36m82 |[0;0m }
[0;36m83 |[0;0m
[0;36m84 |[0;0m override public func transform<B, S, O>(_ f: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m85 |[0;0m return Free.fix(Free.pure(f(a)))
[0;36m86 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:100:39: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m87 |[0;0m }
[0;36m88 |[0;0m
[0;36m89 |[0;0m private class Suspend<S, A>: Free<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m90 |[0;0m fileprivate let a: Kind<S, A>
[0;36m91 |[0;0m
[0;36m:[0;0m
[0;36m98 |[0;0m }
[0;36m99 |[0;0m
[0;36m100 |[0;0m override public func transform<B, S, O>(_ f: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m101 |[0;0m return Free.fix(Free<O, A>.liftF(fs.invoke(a as! Kind<S, A>)).map(f))
[0;36m102 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:120:39: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m103 |[0;0m }
[0;36m104 |[0;0m
[0;36m105 |[0;0m private class FlatMapped<S, A, C>: Free<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m106 |[0;0m fileprivate let c: Free<S, C>
[0;36m107 |[0;0m fileprivate let f: (C) -> Free<S, A>
[0;36m:[0;0m
[0;36m118 |[0;0m }
[0;36m119 |[0;0m
[0;36m120 |[0;0m override public func transform<B, S, O>(_ fm: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m121 |[0;0m return FlatMapped<O, B, C>(c.transform(id, fs), { _ in Free.fix(self.c.flatMap(self.f)).transform(fm, fs) })
[0;36m122 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m147 |[0;0m /// - Parameter f: A function that provides a value or an error.
[0;36m148 |[0;0m /// - Returns: A computation that defers the execution of the provided value.
[0;36m149 |[0;0m static func delayOrRaise<A>(
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m150 |[0;0m _ queue: DispatchQueue,
[0;36m151 |[0;0m _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:25:30: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m6 |[0;0m public typealias FreeOf<S, A> = Kind<FreePartial<S>, A>
[0;36m7 |[0;0m
[0;36m8 |[0;0m public class Free<S, A>: FreeOf<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m9 |[0;0m public static func liftF(_ fa: Kind<S, A>) -> Free<S, A> {
[0;36m10 |[0;0m return Suspend(fa)
[0;36m:[0;0m
[0;36m23 |[0;0m }
[0;36m24 |[0;0m
[0;36m25 |[0;0m public func transform<B, S, O>(_ f: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m26 |[0;0m fatalError("Free.transform must be implemented by subclass")
[0;36m27 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:84:39: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m71 |[0;0m }
[0;36m72 |[0;0m
[0;36m73 |[0;0m private class Pure<S, A>: Free<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m74 |[0;0m fileprivate let a: A
[0;36m75 |[0;0m
[0;36m:[0;0m
[0;36m82 |[0;0m }
[0;36m83 |[0;0m
[0;36m84 |[0;0m override public func transform<B, S, O>(_ f: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m85 |[0;0m return Free.fix(Free.pure(f(a)))
[0;36m86 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:100:39: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m87 |[0;0m }
[0;36m88 |[0;0m
[0;36m89 |[0;0m private class Suspend<S, A>: Free<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m90 |[0;0m fileprivate let a: Kind<S, A>
[0;36m91 |[0;0m
[0;36m:[0;0m
[0;36m98 |[0;0m }
[0;36m99 |[0;0m
[0;36m100 |[0;0m override public func transform<B, S, O>(_ f: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m101 |[0;0m return Free.fix(Free<O, A>.liftF(fs.invoke(a as! Kind<S, A>)).map(f))
[0;36m102 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowFree/Free.swift:120:39: [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m103 |[0;0m }
[0;36m104 |[0;0m
[0;36m105 |[0;0m private class FlatMapped<S, A, C>: Free<S, A> {
[0;36m|[0;0m `- [1;39mnote: [1;39m'S' previously declared here[0;0m
[0;36m106 |[0;0m fileprivate let c: Free<S, C>
[0;36m107 |[0;0m fileprivate let f: (C) -> Free<S, A>
[0;36m:[0;0m
[0;36m118 |[0;0m }
[0;36m119 |[0;0m
[0;36m120 |[0;0m override public func transform<B, S, O>(_ fm: @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B> {
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'S' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m121 |[0;0m return FlatMapped<O, B, C>(c.transform(id, fs), { _ in Free.fix(self.c.flatMap(self.f)).transform(fm, fs) })
[0;36m122 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Typeclasses/Async.swift:149:30: [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m147 |[0;0m /// - Parameter f: A function that provides a value or an error.
[0;36m148 |[0;0m /// - Returns: A computation that defers the execution of the provided value.
[0;36m149 |[0;0m static func delayOrRaise<A>(
[0;36m|[0;0m `- [1;33mwarning: [1;39mgeneric parameter 'A' shadows generic parameter from outer scope with the same name; this is an error in the Swift 6 language mode[0;0m
[0;36m150 |[0;0m _ queue: DispatchQueue,
[0;36m151 |[0;0m _ f: @escaping () -> Either<F.E, A>) -> Kind<F, A> {
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:116:30: [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m114 |[0;0m
[0;36m115 |[0;0m return policy.initial
[0;36m116 |[0;0m .mapError { x in x as! E }
[0;36m|[0;0m | `- [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39m'x' is of type 'Never' which cannot be constructed because it is an enum with no cases[0;0m
[0;36m117 |[0;0m .flatMap(loop)^
[0;36m118 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/EnvIO.swift:164:34: [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m162 |[0;0m { e in orElse(e, nil).map(Either.left)^ },
[0;36m163 |[0;0m { a in policy.initial
[0;36m164 |[0;0m .mapError { x in x as! E }
[0;36m|[0;0m | `- [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39m'x' is of type 'Never' which cannot be constructed because it is an enum with no cases[0;0m
[0;36m165 |[0;0m .flatMap { s in loop(a, s) }^ })
[0;36m166 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:725:36: [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m723 |[0;0m Schedule(
[0;36m724 |[0;0m initial: EnvIO.never()^,
[0;36m725 |[0;0m extract: { _, never in never },
[0;36m|[0;0m | `- [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39m'$return_value' is of type 'Never' which cannot be constructed because it is an enum with no cases[0;0m
[0;36m726 |[0;0m update: { _, _ in EnvIO.never()^ })
[0;36m727 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Sources/BowEffects/Data/Schedule.swift:726:31: [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m724 |[0;0m initial: EnvIO.never()^,
[0;36m725 |[0;0m extract: { _, never in never },
[0;36m726 |[0;0m update: { _, _ in EnvIO.never()^ })
[0;36m|[0;0m | `- [1;33mwarning: [1;39mwill never be executed[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39m'_' is of type 'Never' which cannot be constructed because it is an enum with no cases[0;0m
[0;36m727 |[0;0m }
[0;36m728 |[0;0m }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Propery-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<WriterT<F, W, A>> {
[0;36m8 |[0;0m Gen.from(WriterTPartial.generate >>> WriterT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension ArrayK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<ArrayK<A>> {
[0;36m8 |[0;0m Array.arbitrary.map(ArrayK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Const: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Const<A, T>> {
[0;36m8 |[0;0m A.arbitrary.map(Const.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Function0: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Function0<A>> {
[0;36m8 |[0;0m A.arbitrary.map { a in Function0 { a } }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Function1<I, O>> {
[0;36m8 |[0;0m ArrowOf<I, O>.arbitrary.map { arrow in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Kleisli<F, D, A>> {
[0;36m8 |[0;0m Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function0+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Function0: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Function0<A>> {
[0;36m8 |[0;0m A.arbitrary.map { a in Function0 { a } }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Function1+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Function1: Arbitrary where I: CoArbitrary & Hashable, O: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Function1<I, O>> {
[0;36m8 |[0;0m ArrowOf<I, O>.arbitrary.map { arrow in
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Arrow/Kleisli+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Kleisli: Arbitrary where F: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Kleisli<F, D, A>> {
[0;36m8 |[0;0m Gen.from(KleisliPartial.generate >>> Kleisli.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/ArrayK+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension ArrayK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<ArrayK<A>> {
[0;36m8 |[0;0m Array.arbitrary.map(ArrayK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Const+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Const: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Const<A, T>> {
[0;36m8 |[0;0m A.arbitrary.map(Const.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<DictionaryK<K, A>> {
[0;36m8 |[0;0m Dictionary.arbitrary.map(DictionaryK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Either<A, B>> {
[0;36m8 |[0;0m let left = A.arbitrary.map(Either<A, B>.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<EitherK<F, G, A>> {
[0;36m8 |[0;0m Gen.from(EitherKPartial.generate >>> EitherK.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Endo<A>> {
[0;36m8 |[0;0m ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Id: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Id<A>> {
[0;36m8 |[0;0m A.arbitrary.map(Id.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Ior<A, B>> {
[0;36m8 |[0;0m let left = A.arbitrary.map(Ior.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Moore<E, V>> {
[0;36m8 |[0;0m Gen.from(MoorePartial.generate >>> Moore.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension NonEmptyArray: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<NonEmptyArray<A>> {
[0;36m8 |[0;0m Array.arbitrary
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Option: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Option<A>> {
[0;36m8 |[0;0m let none = Gen.pure(Option<A>.none())
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Sum<F, G, V>> {
[0;36m8 |[0;0m Gen.from(SumPartial.generate >>> Sum.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Try: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Try<A>> {
[0;36m8 |[0;0m let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Validated<E, A>> {
[0;36m8 |[0;0m let invalid = E.arbitrary.map(Validated.invalid)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Zipper: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Zipper<A>> {
[0;36m8 |[0;0m Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<EitherT<F, A, B>> {
[0;36m8 |[0;0m Gen.from(EitherTPartial.generate >>> EitherT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<EnvT<E, W, A>> {
[0;36m8 |[0;0m Gen.from(EnvTPartial.generate >>> EnvT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<OptionT<F, A>> {
[0;36m8 |[0;0m Gen.from(OptionTPartial.generate >>> OptionT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<StateT<F, S, A>> {
[0;36m8 |[0;0m Gen.from(StateTPartial.generate >>> StateT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<StoreT<S, W, A>> {
[0;36m8 |[0;0m Gen.from(StoreTPartial.generate >>> StoreT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<TracedT<M, W, A>> {
[0;36m8 |[0;0m Gen.from(TracedTPartial.generate >>> TracedT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/WriterT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Propery-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension WriterT: Arbitrary where F: ArbitraryK & Applicative, W: Arbitrary, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<WriterT<F, W, A>> {
[0;36m8 |[0;0m Gen.from(WriterTPartial.generate >>> WriterT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Id+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Id: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Id<A>> {
[0;36m8 |[0;0m A.arbitrary.map(Id.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Ior+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Ior: Arbitrary where A: Arbitrary, B: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Ior<A, B>> {
[0;36m8 |[0;0m let left = A.arbitrary.map(Ior.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Moore+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Moore: Arbitrary where E: CoArbitrary & Hashable, V: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Moore<E, V>> {
[0;36m8 |[0;0m Gen.from(MoorePartial.generate >>> Moore.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StateT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension StateT: Arbitrary where F: ArbitraryK & Applicative, S: Arbitrary, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<StateT<F, S, A>> {
[0;36m8 |[0;0m Gen.from(StateTPartial.generate >>> StateT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/StoreT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension StoreT: Arbitrary where S: CoArbitrary & Hashable & Arbitrary, W: Functor & ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<StoreT<S, W, A>> {
[0;36m8 |[0;0m Gen.from(StoreTPartial.generate >>> StoreT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/TracedT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension TracedT: Arbitrary where M: Arbitrary & Hashable & CoArbitrary, W: ArbitraryK & Functor, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<TracedT<M, W, A>> {
[0;36m8 |[0;0m Gen.from(TracedTPartial.generate >>> TracedT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/EitherK+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension EitherK: Arbitrary where F: ArbitraryK, G: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<EitherK<F, G, A>> {
[0;36m8 |[0;0m Gen.from(EitherKPartial.generate >>> EitherK.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Endo+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Endo: Arbitrary where A: CoArbitrary & Hashable & Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Endo<A>> {
[0;36m8 |[0;0m ArrowOf<A, A>.arbitrary.map { arrow in Endo(arrow.getArrow) }
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/NonEmptyArray+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension NonEmptyArray: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<NonEmptyArray<A>> {
[0;36m8 |[0;0m Array.arbitrary
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Option+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Option: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Option<A>> {
[0;36m8 |[0;0m let none = Gen.pure(Option<A>.none())
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Sum+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Sum: Arbitrary where F: ArbitraryK, G: ArbitraryK, V: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Sum<F, G, V>> {
[0;36m8 |[0;0m Gen.from(SumPartial.generate >>> Sum.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Try+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Try: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Try<A>> {
[0;36m8 |[0;0m let failure = Gen.pure(Try<A>.failure(TryError.illegalState))
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Validated+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Validated: Arbitrary where E: Arbitrary, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Validated<E, A>> {
[0;36m8 |[0;0m let invalid = E.arbitrary.map(Validated.invalid)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Zipper+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Zipper: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Zipper<A>> {
[0;36m8 |[0;0m Gen.zip([A].arbitrary, A.arbitrary, [A].arbitrary)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/DictionaryK+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension DictionaryK: Arbitrary where A: Arbitrary, K: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<DictionaryK<K, A>> {
[0;36m8 |[0;0m Dictionary.arbitrary.map(DictionaryK.init)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Data/Either+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension Either: Arbitrary where A: Arbitrary, B: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<Either<A, B>> {
[0;36m8 |[0;0m let left = A.arbitrary.map(Either<A, B>.left)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EitherT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension EitherT: Arbitrary where F: ArbitraryK, A: Arbitrary, B: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<EitherT<F, A, B>> {
[0;36m8 |[0;0m Gen.from(EitherTPartial.generate >>> EitherT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/EnvT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension EnvT: Arbitrary where E: Arbitrary, W: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<EnvT<E, W, A>> {
[0;36m8 |[0;0m Gen.from(EnvTPartial.generate >>> EnvT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowGenerators/Transformers/OptionT+Gen.swift:6:1: [1;33mwarning: [1;39mextension 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[0;0m
[0;36m4 |[0;0m // MARK: Generator for Property-based Testing
[0;36m5 |[0;0m
[0;36m6 |[0;0m extension OptionT: Arbitrary where F: ArbitraryK, A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension 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[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m7 |[0;0m public static var arbitrary: Gen<OptionT<F, A>> {
[0;36m8 |[0;0m Gen.from(OptionTPartial.generate >>> OptionT.fix)
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Instance of `ArbitraryK` for `Free`
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension FreePartial: ArbitraryK where S: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static func generate<A: Arbitrary>() -> Kind<FreePartial<S>, A> {
[0;36m10 |[0;0m return Free.liftF(S.generate())
/Users/admin/builder/spi-builder-workspace/Tests/BowFreeGenerators/Free+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Instance of `ArbitraryK` for `Free`
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension FreePartial: ArbitraryK where S: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'FreePartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowFree' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static func generate<A: Arbitrary>() -> Kind<FreePartial<S>, A> {
[0;36m10 |[0;0m return Free.liftF(S.generate())
/Users/admin/builder/spi-builder-workspace/Tests/BowEffectsGenerators/IO+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Instance of `ArbitraryK` for `IO`
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension IOPartial: ArbitraryK where E: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static func generate<A: Arbitrary>() -> Kind<IOPartial<E>, A> {
[0;36m10 |[0;0m let success = IO<E, A>.pure(A.arbitrary.generate)
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Generator for Property-based Testing
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension MaybeK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static var arbitrary: Gen<MaybeK<A>> {
[0;36m10 |[0;0m A.arbitrary.map { x in MaybeK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:16:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m14 |[0;0m // MARK: Instance of `ArbitraryK` for `MaybeK`
[0;36m15 |[0;0m
[0;36m16 |[0;0m extension MaybeKPartial: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m17 |[0;0m public static func generate<A: Arbitrary>() -> MaybeKOf<A> {
[0;36m18 |[0;0m MaybeK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Generator for Property-based Testing
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension ObservableK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static var arbitrary: Gen<ObservableK<A>> {
[0;36m10 |[0;0m A.arbitrary.map { x in ObservableK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:16:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m14 |[0;0m // MARK: Instance of `ArbitraryK` for `ObservableK`
[0;36m15 |[0;0m
[0;36m16 |[0;0m extension ObservableKPartial: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m17 |[0;0m public static func generate<A: Arbitrary>() -> ObservableKOf<A> {
[0;36m18 |[0;0m ObservableK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Generator for Property-based Testing
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension SingleK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static var arbitrary: Gen<SingleK<A>> {
[0;36m10 |[0;0m A.arbitrary.map { x in SingleK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:16:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m14 |[0;0m // MARK: Instance of `ArbitraryK` for `SingleK`
[0;36m15 |[0;0m
[0;36m16 |[0;0m extension SingleKPartial: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m17 |[0;0m public static func generate<A: Arbitrary>() -> SingleKOf<A> {
[0;36m18 |[0;0m SingleK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowEffectsGenerators/IO+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Instance of `ArbitraryK` for `IO`
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension IOPartial: ArbitraryK where E: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'IOPartial' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowEffects' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static func generate<A: Arbitrary>() -> Kind<IOPartial<E>, A> {
[0;36m10 |[0;0m let success = IO<E, A>.pure(A.arbitrary.generate)
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Generator for Property-based Testing
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension ObservableK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ObservableK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static var arbitrary: Gen<ObservableK<A>> {
[0;36m10 |[0;0m A.arbitrary.map { x in ObservableK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/ObservableK+Gen.swift:16:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m14 |[0;0m // MARK: Instance of `ArbitraryK` for `ObservableK`
[0;36m15 |[0;0m
[0;36m16 |[0;0m extension ObservableKPartial: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForObservableK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m17 |[0;0m public static func generate<A: Arbitrary>() -> ObservableKOf<A> {
[0;36m18 |[0;0m ObservableK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Generator for Property-based Testing
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension MaybeK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'MaybeK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static var arbitrary: Gen<MaybeK<A>> {
[0;36m10 |[0;0m A.arbitrary.map { x in MaybeK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/MaybeK+Gen.swift:16:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m14 |[0;0m // MARK: Instance of `ArbitraryK` for `MaybeK`
[0;36m15 |[0;0m
[0;36m16 |[0;0m extension MaybeKPartial: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForMaybeK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m17 |[0;0m public static func generate<A: Arbitrary>() -> MaybeKOf<A> {
[0;36m18 |[0;0m MaybeK.arbitrary.generate
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:8:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m6 |[0;0m // MARK: Generator for Property-based Testing
[0;36m7 |[0;0m
[0;36m8 |[0;0m extension SingleK: Arbitrary where A: Arbitrary {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'SingleK' to imported protocol 'Arbitrary'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m9 |[0;0m public static var arbitrary: Gen<SingleK<A>> {
[0;36m10 |[0;0m A.arbitrary.map { x in SingleK.pure(x)^ }
/Users/admin/builder/spi-builder-workspace/Tests/BowRxGenerators/SingleK+Gen.swift:16:1: [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m14 |[0;0m // MARK: Instance of `ArbitraryK` for `SingleK`
[0;36m15 |[0;0m
[0;36m16 |[0;0m extension SingleKPartial: ArbitraryK {
[0;36m|[0;0m |- [1;33mwarning: [1;39mextension declares a conformance of imported type 'ForSingleK' to imported protocol 'ArbitraryK'; this will not behave correctly if the owners of 'BowRx' introduce this conformance in the future[0;0m
[0;36m|[0;0m `- [1;39mnote: [1;39madd '@retroactive' to silence this warning[0;0m
[0;36m17 |[0;0m public static func generate<A: Arbitrary>() -> SingleKOf<A> {
[0;36m18 |[0;0m SingleK.arbitrary.generate
Build complete.
{
"dependencies" : [
{
"identity" : "swiftcheck",
"requirement" : {
"range" : [
{
"lower_bound" : "0.12.1",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/bow-swift/SwiftCheck.git"
},
{
"identity" : "rxswift",
"requirement" : {
"range" : [
{
"lower_bound" : "5.0.1",
"upper_bound" : "6.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/ReactiveX/RxSwift.git"
}
],
"manifest_display_name" : "Bow",
"name" : "Bow",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "Bow",
"targets" : [
"Bow"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowOptics",
"targets" : [
"BowOptics"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowRecursionSchemes",
"targets" : [
"BowRecursionSchemes"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowFree",
"targets" : [
"BowFree"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowEffects",
"targets" : [
"BowEffects"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowRx",
"targets" : [
"BowRx"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowLaws",
"targets" : [
"BowLaws"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowOpticsLaws",
"targets" : [
"BowOpticsLaws"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowEffectsLaws",
"targets" : [
"BowEffectsLaws"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowGenerators",
"targets" : [
"BowGenerators"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowFreeGenerators",
"targets" : [
"BowFreeGenerators"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowEffectsGenerators",
"targets" : [
"BowEffectsGenerators"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "BowRxGenerators",
"targets" : [
"BowRxGenerators"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "BowTests",
"module_type" : "SwiftTarget",
"name" : "BowTests",
"path" : "Tests/BowTests",
"sources" : [
"Arrow/Function0Test.swift",
"Arrow/Function1Test.swift",
"Arrow/KleisliTest.swift",
"Data/ArrayKTest.swift",
"Data/ArrayTest.swift",
"Data/CoTest.swift",
"Data/ConstTest.swift",
"Data/DayTest.swift",
"Data/DictionaryKTest.swift",
"Data/DictionaryTest.swift",
"Data/EitherKTest.swift",
"Data/EitherTest.swift",
"Data/EndoTest.swift",
"Data/EvalTest.swift",
"Data/IdTest.swift",
"Data/IorTest.swift",
"Data/MooreTest.swift",
"Data/NonEmptyArrayTest.swift",
"Data/OptionTest.swift",
"Data/PairingTest.swift",
"Data/ResultTest.swift",
"Data/SetKTest.swift",
"Data/SetTest.swift",
"Data/SumTest.swift",
"Data/TrampolineTest.swift",
"Data/TryTest.swift",
"Data/ValidatedTest.swift",
"Data/ZipperTest.swift",
"Instances/BoolInstancesTest.swift",
"Instances/NumberInstancesTest.swift",
"Instances/StringInstancesTest.swift",
"Syntax/BooleanFunctionsTest.swift",
"Syntax/CurryTest.swift",
"Syntax/MemoizationTest.swift",
"Syntax/PartialApplicationTest.swift",
"Syntax/PredefTest.swift",
"Syntax/ReverseTest.swift",
"Transformers/EitherTTest.swift",
"Transformers/EnvTTest.swift",
"Transformers/OptionTTest.swift",
"Transformers/StateTTest.swift",
"Transformers/StoreTTest.swift",
"Transformers/TracedTTest.swift",
"Transformers/WriterTTest.swift"
],
"target_dependencies" : [
"BowLaws"
],
"type" : "test"
},
{
"c99name" : "BowRxTests",
"module_type" : "SwiftTarget",
"name" : "BowRxTests",
"path" : "Tests/BowRxTests",
"sources" : [
"MaybeKTest.swift",
"ObservableKTest.swift",
"SingleKTest.swift"
],
"target_dependencies" : [
"BowRxGenerators",
"BowEffectsGenerators",
"BowEffectsLaws"
],
"type" : "test"
},
{
"c99name" : "BowRxGenerators",
"module_type" : "SwiftTarget",
"name" : "BowRxGenerators",
"path" : "Tests/BowRxGenerators",
"product_memberships" : [
"BowRxGenerators"
],
"sources" : [
"MaybeK+Gen.swift",
"ObservableK+Gen.swift",
"SingleK+Gen.swift"
],
"target_dependencies" : [
"BowRx",
"BowGenerators"
],
"type" : "library"
},
{
"c99name" : "BowRx",
"module_type" : "SwiftTarget",
"name" : "BowRx",
"path" : "Sources/BowRx",
"product_dependencies" : [
"RxSwift",
"RxCocoa"
],
"product_memberships" : [
"BowRx",
"BowRxGenerators"
],
"sources" : [
"MaybeK.swift",
"ObservableK.swift",
"SingleK.swift"
],
"target_dependencies" : [
"Bow",
"BowEffects"
],
"type" : "library"
},
{
"c99name" : "BowRecursionSchemesTests",
"module_type" : "SwiftTarget",
"name" : "BowRecursionSchemesTests",
"path" : "Tests/BowRecursionSchemesTests",
"sources" : [
"RecursionTest.swift"
],
"target_dependencies" : [
"BowRecursionSchemes",
"BowLaws"
],
"type" : "test"
},
{
"c99name" : "BowRecursionSchemes",
"module_type" : "SwiftTarget",
"name" : "BowRecursionSchemes",
"path" : "Sources/BowRecursionSchemes",
"product_memberships" : [
"BowRecursionSchemes"
],
"sources" : [
"Data/Fix.swift",
"Data/Mu.swift",
"Data/Nu.swift",
"Recursion.swift",
"Typeclasses/Birecursive.swift",
"Typeclasses/Corecursive.swift",
"Typeclasses/Recursive.swift"
],
"target_dependencies" : [
"Bow"
],
"type" : "library"
},
{
"c99name" : "BowOpticsTests",
"module_type" : "SwiftTarget",
"name" : "BowOpticsTests",
"path" : "Tests/BowOpticsTests",
"sources" : [
"FoldTest.swift",
"GetterTest.swift",
"IsoTest.swift",
"LensTest.swift",
"OptionalTest.swift",
"PrismTest.swift",
"SetterTest.swift",
"TestDomain.swift",
"TraversalTest.swift"
],
"target_dependencies" : [
"BowOpticsLaws"
],
"type" : "test"
},
{
"c99name" : "BowOpticsLaws",
"module_type" : "SwiftTarget",
"name" : "BowOpticsLaws",
"path" : "Tests/BowOpticsLaws",
"product_memberships" : [
"BowOpticsLaws"
],
"sources" : [
"IsoLaws.swift",
"LensLaws.swift",
"OptionalLaws.swift",
"PrismLaws.swift",
"SetterLaws.swift",
"TraversalLaws.swift"
],
"target_dependencies" : [
"BowOptics",
"BowLaws"
],
"type" : "library"
},
{
"c99name" : "BowOptics",
"module_type" : "SwiftTarget",
"name" : "BowOptics",
"path" : "Sources/BowOptics",
"product_memberships" : [
"BowOptics",
"BowOpticsLaws"
],
"sources" : [
"Auto/AutoFold.swift",
"Auto/AutoGetter.swift",
"Auto/AutoLens.swift",
"Auto/AutoOptics.swift",
"Auto/AutoOptional.swift",
"Auto/AutoPrism.swift",
"Auto/AutoSetter.swift",
"Auto/AutoTraversal.swift",
"BoundSetter.swift",
"DSL/At+Optics.swift",
"DSL/Each+Optics.swift",
"DSL/Index+Optics.swift",
"DSL/Kind+Optics.swift",
"Extensions/StateT+Optics.swift",
"Fold.swift",
"Getter.swift",
"Instances/ArrayKOpticsInstances.swift",
"Instances/ArrayOpticsInstances.swift",
"Instances/ConstOpticsInstances.swift",
"Instances/EitherKOpticsInstances.swift",
"Instances/EitherOpticsInstances.swift",
"Instances/IdOpticsInstances.swift",
"Instances/IorOpticsInstances.swift",
"Instances/NonEmptyArrayOpticsInstances.swift",
"Instances/OptionOpticsInstances.swift",
"Instances/StringOpticsInstances.swift",
"Instances/TryOpticsInstances.swift",
"Instances/ValidatedOpticsInstances.swift",
"Iso.swift",
"Lens.swift",
"Optional.swift",
"Prism.swift",
"STD/ArrayK+Optics.swift",
"STD/Either+Optics.swift",
"STD/Id+Optics.swift",
"STD/Ior+Optics.swift",
"STD/NonEmptyArray+Optics.swift",
"STD/Option+Optics.swift",
"STD/Result+Optics.swift",
"STD/String+Optics.swift",
"STD/Try+Optics.swift",
"STD/Validated+Optics.swift",
"Setter.swift",
"Traversal.swift",
"Tuple/Tuple10.swift",
"Tuple/Tuple2.swift",
"Tuple/Tuple3.swift",
"Tuple/Tuple4.swift",
"Tuple/Tuple5.swift",
"Tuple/Tuple6.swift",
"Tuple/Tuple7.swift",
"Tuple/Tuple8.swift",
"Tuple/Tuple9.swift",
"Typeclasses/At.swift",
"Typeclasses/Cons.swift",
"Typeclasses/Each.swift",
"Typeclasses/FilterIndex.swift",
"Typeclasses/Index.swift",
"Typeclasses/Snoc.swift"
],
"target_dependencies" : [
"Bow"
],
"type" : "library"
},
{
"c99name" : "BowLaws",
"module_type" : "SwiftTarget",
"name" : "BowLaws",
"path" : "Tests/BowLaws",
"product_memberships" : [
"BowLaws",
"BowOpticsLaws",
"BowEffectsLaws"
],
"sources" : [
"AlternativeLaws.swift",
"ApplicativeErrorLaws.swift",
"ApplicativeLaws.swift",
"BimonadLaws.swift",
"BindingOperatorOverload.swift",
"ComonadEnvLaws.swift",
"ComonadLaws.swift",
"ComonadStoreLaws.swift",
"ComonadTracedLaws.swift",
"ComparableLaws.swift",
"ContravariantLaws.swift",
"CustomStringConvertibleLaws.swift",
"DivideLaws.swift",
"DivisibleLaws.swift",
"EqualityFunctions.swift",
"EquatableKLaws.swift",
"EquatableLaws.swift",
"FoldableLaws.swift",
"FunctorFilterLaws.swift",
"FunctorLaws.swift",
"InvariantLaws.swift",
"MonadCombineLaws.swift",
"MonadErrorLaws.swift",
"MonadFilterLaws.swift",
"MonadLaws.swift",
"MonadStateLaws.swift",
"MonadWriterLaws.swift",
"MonoidKLaws.swift",
"MonoidLaws.swift",
"MonoidalLaws.swift",
"PropertyOperatorOverload.swift",
"SelectiveLaws.swift",
"SemigroupKLaws.swift",
"SemigroupLaws.swift",
"SemigroupalLaws.swift",
"SemiringLaws.swift",
"TraverseFilterLaws.swift",
"TraverseLaws.swift"
],
"target_dependencies" : [
"BowGenerators"
],
"type" : "library"
},
{
"c99name" : "BowGenericTests",
"module_type" : "SwiftTarget",
"name" : "BowGenericTests",
"path" : "Tests/BowGenericTests",
"sources" : [
"GenericTest.swift"
],
"target_dependencies" : [
"BowGeneric"
],
"type" : "test"
},
{
"c99name" : "BowGeneric",
"module_type" : "SwiftTarget",
"name" : "BowGeneric",
"path" : "Sources/BowGeneric",
"sources" : [
"Coproduct10.swift",
"Coproduct2.swift",
"Coproduct3.swift",
"Coproduct4.swift",
"Coproduct5.swift",
"Coproduct6.swift",
"Coproduct7.swift",
"Coproduct8.swift",
"Coproduct9.swift",
"Generic.swift",
"HList.swift",
"Product.swift"
],
"target_dependencies" : [
"Bow"
],
"type" : "library"
},
{
"c99name" : "BowGenerators",
"module_type" : "SwiftTarget",
"name" : "BowGenerators",
"path" : "Tests/BowGenerators",
"product_dependencies" : [
"SwiftCheck"
],
"product_memberships" : [
"BowLaws",
"BowOpticsLaws",
"BowEffectsLaws",
"BowGenerators",
"BowFreeGenerators",
"BowEffectsGenerators",
"BowRxGenerators"
],
"sources" : [
"Arrow/Function0+Gen.swift",
"Arrow/Function1+Gen.swift",
"Arrow/Kleisli+Gen.swift",
"Data/ArrayK+Gen.swift",
"Data/Co+Gen.swift",
"Data/Const+Gen.swift",
"Data/Day+Gen.swift",
"Data/DictionaryK+Gen.swift",
"Data/Either+Gen.swift",
"Data/EitherK+Gen.swift",
"Data/Endo+Gen.swift",
"Data/Eval+Gen.swift",
"Data/Id+Gen.swift",
"Data/Ior+Gen.swift",
"Data/Moore+Gen.swift",
"Data/NonEmptyArray+Gen.swift",
"Data/Option+Gen.swift",
"Data/Sum+Gen.swift",
"Data/Try+Gen.swift",
"Data/Validated+Gen.swift",
"Data/Zipper+Gen.swift",
"Transformers/EitherT+Gen.swift",
"Transformers/EnvT+Gen.swift",
"Transformers/OptionT+Gen.swift",
"Transformers/StateT+Gen.swift",
"Transformers/StoreT+Gen.swift",
"Transformers/TracedT+Gen.swift",
"Transformers/WriterT+Gen.swift",
"Typeclasses/ArbitraryK.swift"
],
"target_dependencies" : [
"Bow"
],
"type" : "library"
},
{
"c99name" : "BowFreeTests",
"module_type" : "SwiftTarget",
"name" : "BowFreeTests",
"path" : "Tests/BowFreeTests",
"sources" : [
"FreeTest.swift"
],
"target_dependencies" : [
"BowFreeGenerators",
"BowLaws"
],
"type" : "test"
},
{
"c99name" : "BowFreeGenerators",
"module_type" : "SwiftTarget",
"name" : "BowFreeGenerators",
"path" : "Tests/BowFreeGenerators",
"product_memberships" : [
"BowFreeGenerators"
],
"sources" : [
"Free+Gen.swift"
],
"target_dependencies" : [
"BowFree",
"BowGenerators"
],
"type" : "library"
},
{
"c99name" : "BowFree",
"module_type" : "SwiftTarget",
"name" : "BowFree",
"path" : "Sources/BowFree",
"product_memberships" : [
"BowFree",
"BowFreeGenerators"
],
"sources" : [
"Cofree.swift",
"Coyoneda.swift",
"Free.swift",
"Yoneda.swift"
],
"target_dependencies" : [
"Bow"
],
"type" : "library"
},
{
"c99name" : "BowEffectsTests",
"module_type" : "SwiftTarget",
"name" : "BowEffectsTests",
"path" : "Tests/BowEffectsTests",
"sources" : [
"EnvIOTest.swift",
"IOTest.swift"
],
"target_dependencies" : [
"BowEffectsGenerators",
"BowEffectsLaws"
],
"type" : "test"
},
{
"c99name" : "BowEffectsLaws",
"module_type" : "SwiftTarget",
"name" : "BowEffectsLaws",
"path" : "Tests/BowEffectsLaws",
"product_memberships" : [
"BowEffectsLaws"
],
"sources" : [
"AsyncLaws.swift",
"BracketLaws.swift",
"MonadDeferLaws.swift"
],
"target_dependencies" : [
"BowEffects",
"BowLaws"
],
"type" : "library"
},
{
"c99name" : "BowEffectsGenerators",
"module_type" : "SwiftTarget",
"name" : "BowEffectsGenerators",
"path" : "Tests/BowEffectsGenerators",
"product_memberships" : [
"BowEffectsGenerators"
],
"sources" : [
"IO+Gen.swift"
],
"target_dependencies" : [
"BowEffects",
"BowGenerators"
],
"type" : "library"
},
{
"c99name" : "BowEffects",
"module_type" : "SwiftTarget",
"name" : "BowEffects",
"path" : "Sources/BowEffects",
"product_memberships" : [
"BowEffects",
"BowRx",
"BowEffectsLaws",
"BowEffectsGenerators",
"BowRxGenerators"
],
"sources" : [
"Data/Array+TraverseConcurrent.swift",
"Data/Atomic.swift",
"Data/EnvIO.swift",
"Data/IO.swift",
"Data/Internal/Dictionary+Extensions.swift",
"Data/Internal/DispatchTimeInterval+Extensions.swift",
"Data/Internal/Queue.swift",
"Data/Ref.swift",
"Data/Resource.swift",
"Data/Schedule.swift",
"Foundation/ConsoleIO.swift",
"Foundation/FileManager+Common.swift",
"Foundation/FileManager+iOS+Mac.swift",
"Foundation/URLSession.swift",
"Typeclasses/Async.swift",
"Typeclasses/Bracket.swift",
"Typeclasses/Concurrent.swift",
"Typeclasses/ConcurrentEffect.swift",
"Typeclasses/ConcurrentTraverse.swift",
"Typeclasses/Effect.swift",
"Typeclasses/EffectComprehensions.swift",
"Typeclasses/MonadDefer.swift",
"Typeclasses/UnsafeRun.swift"
],
"target_dependencies" : [
"Bow"
],
"type" : "library"
},
{
"c99name" : "Bow",
"module_type" : "SwiftTarget",
"name" : "Bow",
"path" : "Sources/Bow",
"product_memberships" : [
"Bow",
"BowOptics",
"BowRecursionSchemes",
"BowFree",
"BowEffects",
"BowRx",
"BowLaws",
"BowOpticsLaws",
"BowEffectsLaws",
"BowGenerators",
"BowFreeGenerators",
"BowEffectsGenerators",
"BowRxGenerators"
],
"sources" : [
"Arrow/Cokleisli.swift",
"Arrow/Function0.swift",
"Arrow/Function1.swift",
"Arrow/FunctionK.swift",
"Arrow/Kleisli.swift",
"Data/Action.swift",
"Data/Array.swift",
"Data/ArrayK.swift",
"Data/Co.swift",
"Data/CoSum.swift",
"Data/Const.swift",
"Data/Coreader.swift",
"Data/Day.swift",
"Data/Dictionary.swift",
"Data/DictionaryK.swift",
"Data/Either.swift",
"Data/EitherK.swift",
"Data/Endo.swift",
"Data/Eval.swift",
"Data/Id.swift",
"Data/Ior.swift",
"Data/Moore.swift",
"Data/NonEmptyArray.swift",
"Data/Option.swift",
"Data/Pairing.swift",
"Data/Puller.swift",
"Data/Reader.swift",
"Data/Result.swift",
"Data/Set.swift",
"Data/SetK.swift",
"Data/Sum.swift",
"Data/Trampoline.swift",
"Data/Try.swift",
"Data/Validated.swift",
"Data/Zipper.swift",
"Instances/BoolInstances.swift",
"Instances/NumberInstances.swift",
"Instances/OptionInstances.swift",
"Instances/StringInstances.swift",
"Syntax/BooleanFunctions.swift",
"Syntax/Curry.swift",
"Syntax/HigherKinds.swift",
"Syntax/Memoization.swift",
"Syntax/PartialApplication.swift",
"Syntax/Predef.swift",
"Syntax/Reverse.swift",
"Transformers/EitherT.swift",
"Transformers/EnvT.swift",
"Transformers/OptionT.swift",
"Transformers/StateT.swift",
"Transformers/StoreT.swift",
"Transformers/TracedT.swift",
"Transformers/WriterT.swift",
"Typeclasses/Alternative.swift",
"Typeclasses/Applicative.swift",
"Typeclasses/ApplicativeError.swift",
"Typeclasses/Bimonad.swift",
"Typeclasses/Comonad.swift",
"Typeclasses/ComonadEnv.swift",
"Typeclasses/ComonadStore.swift",
"Typeclasses/ComonadTraced.swift",
"Typeclasses/ComonadTrans.swift",
"Typeclasses/Comparable.swift",
"Typeclasses/Contravariant.swift",
"Typeclasses/Decidable.swift",
"Typeclasses/Divide.swift",
"Typeclasses/Divisible.swift",
"Typeclasses/EquatableK.swift",
"Typeclasses/Foldable.swift",
"Typeclasses/Functor.swift",
"Typeclasses/FunctorFilter.swift",
"Typeclasses/Invariant.swift",
"Typeclasses/Monad.swift",
"Typeclasses/MonadCombine.swift",
"Typeclasses/MonadComprehensions/BindingExpression.swift",
"Typeclasses/MonadComprehensions/BindingOperator.swift",
"Typeclasses/MonadComprehensions/BoundVar.swift",
"Typeclasses/MonadComprehensions/MonadComprenhensions.swift",
"Typeclasses/MonadComprehensions/ReaderBindingExpression.swift",
"Typeclasses/MonadComprehensions/StateBindingExpression.swift",
"Typeclasses/MonadComprehensions/WriterBindingExpression.swift",
"Typeclasses/MonadError.swift",
"Typeclasses/MonadFilter.swift",
"Typeclasses/MonadReader.swift",
"Typeclasses/MonadState.swift",
"Typeclasses/MonadWriter.swift",
"Typeclasses/Monoid.swift",
"Typeclasses/MonoidK.swift",
"Typeclasses/Monoidal.swift",
"Typeclasses/NonEmptyReducible.swift",
"Typeclasses/Reducible.swift",
"Typeclasses/Selective.swift",
"Typeclasses/Semigroup.swift",
"Typeclasses/SemigroupK.swift",
"Typeclasses/Semigroupal.swift",
"Typeclasses/Semiring.swift",
"Typeclasses/Traverse.swift",
"Typeclasses/TraverseFilter.swift"
],
"type" : "library"
}
],
"tools_version" : "5.2"
}
Done.