Skip to content

Commit b6356c1

Browse files
CodaFiCodaFi
committed
Switch to Swiftz
1 parent bb87b18 commit b6356c1

19 files changed

+80
-77
lines changed

‎.gitmodules

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
[submodule "External/Basis"]
2-
path = External/Basis
3-
url = https://github.com/typelift/Basis.git
1+
[submodule "Carthage/Checkouts/Swiftz"]
2+
path = Carthage/Checkouts/Swiftz
3+
url = https://github.com/typelift/Swiftz.git

‎Cartfile

Whitespace-only changes.

‎Cartfile.private

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
github "typelift/Swiftz" ~> 0.1.0
2+

‎Cartfile.resolved

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
github "typelift/Swiftz" "v0.1.0"

‎Carthage/Checkouts/Swiftz

Submodule Swiftz added at 4bdcb8c

‎External/Basis

-1
This file was deleted.

‎SwiftCheck-iOS.xcodeproj/project.pbxproj

+31-31
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,12 @@
1717
841FAE8C19FB1CEA00AF4EA2 /* State.swift in Sources */ = {isa = PBXBuildFile; fileRef = 841FAE5419FB1BDB00AF4EA2 /* State.swift */; };
1818
841FAE8D19FB1CEA00AF4EA2 /* Test.swift in Sources */ = {isa = PBXBuildFile; fileRef = 841FAE5619FB1BDB00AF4EA2 /* Test.swift */; };
1919
841FAE8F19FB1CF000AF4EA2 /* SwiftCheck.h in Headers */ = {isa = PBXBuildFile; fileRef = 841FAE5519FB1BDB00AF4EA2 /* SwiftCheck.h */; settings = {ATTRIBUTES = (Public, ); }; };
20-
841FAE9B19FB1D0A00AF4EA2 /* Basis.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 841FAE9619FB1CFE00AF4EA2 /* Basis.framework */; };
2120
84572C291A6DBAB600241F68 /* Testable.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C281A6DBAB600241F68 /* Testable.swift */; };
2221
84572C311A6DC21100241F68 /* Check.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C301A6DC21100241F68 /* Check.swift */; };
2322
84572C381A6DC25000241F68 /* DiscardSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C321A6DC23100241F68 /* DiscardSpec.swift */; };
2423
84572C391A6DC25200241F68 /* PrimeSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C331A6DC23100241F68 /* PrimeSpec.swift */; };
2524
84572C3A1A6DC25500241F68 /* SimpleSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C341A6DC23100241F68 /* SimpleSpec.swift */; };
25+
84DD436D1A7703A200D492C6 /* Swiftz.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84DD43681A77038A00D492C6 /* Swiftz.framework */; };
2626
/* End PBXBuildFile section */
2727

2828
/* Begin PBXContainerItemProxy section */
@@ -33,26 +33,26 @@
3333
remoteGlobalIDString = 841FAE6B19FB1C7000AF4EA2;
3434
remoteInfo = SwiftCheck;
3535
};
36-
841FAE9519FB1CFE00AF4EA2 /* PBXContainerItemProxy */ = {
36+
84DD43671A77038A00D492C6 /* PBXContainerItemProxy */ = {
3737
isa = PBXContainerItemProxy;
38-
containerPortal = 841FAE9019FB1CFE00AF4EA2 /* Basis-iOS.xcodeproj */;
38+
containerPortal = 84DD43621A77038A00D492C6 /* Swiftz-iOS.xcodeproj */;
3939
proxyType = 2;
40-
remoteGlobalIDString = 84922C8419D2375F00AE9A7C;
41-
remoteInfo = Basis;
40+
remoteGlobalIDString = 84A88D981A70C280003D53CF;
41+
remoteInfo = Swiftz;
4242
};
43-
841FAE9719FB1CFE00AF4EA2 /* PBXContainerItemProxy */ = {
43+
84DD43691A77038A00D492C6 /* PBXContainerItemProxy */ = {
4444
isa = PBXContainerItemProxy;
45-
containerPortal = 841FAE9019FB1CFE00AF4EA2 /* Basis-iOS.xcodeproj */;
45+
containerPortal = 84DD43621A77038A00D492C6 /* Swiftz-iOS.xcodeproj */;
4646
proxyType = 2;
47-
remoteGlobalIDString = 84922C8F19D2375F00AE9A7C;
48-
remoteInfo = BasisTests;
47+
remoteGlobalIDString = 84A88D5C1A70C23D003D53CF;
48+
remoteInfo = "Swiftz-iOSTests";
4949
};
50-
841FAE9919FB1D0500AF4EA2 /* PBXContainerItemProxy */ = {
50+
84DD436B1A77039300D492C6 /* PBXContainerItemProxy */ = {
5151
isa = PBXContainerItemProxy;
52-
containerPortal = 841FAE9019FB1CFE00AF4EA2 /* Basis-iOS.xcodeproj */;
52+
containerPortal = 84DD43621A77038A00D492C6 /* Swiftz-iOS.xcodeproj */;
5353
proxyType = 1;
54-
remoteGlobalIDString = 84922C8319D2375F00AE9A7C;
55-
remoteInfo = Basis;
54+
remoteGlobalIDString = 84A88D971A70C280003D53CF;
55+
remoteInfo = Swiftz;
5656
};
5757
/* End PBXContainerItemProxy section */
5858

@@ -70,20 +70,20 @@
7070
841FAE6319FB1C0A00AF4EA2 /* Info.plist */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = text.plist.xml; name = Info.plist; path = SwiftCheckTests/Info.plist; sourceTree = SOURCE_ROOT; };
7171
841FAE6C19FB1C7000AF4EA2 /* SwiftCheck.framework */ = {isa = PBXFileReference; explicitFileType = wrapper.framework; includeInIndex = 0; path = SwiftCheck.framework; sourceTree = BUILT_PRODUCTS_DIR; };
7272
841FAE7619FB1C7100AF4EA2 /* SwiftCheckTests.xctest */ = {isa = PBXFileReference; explicitFileType = wrapper.cfbundle; includeInIndex = 0; path = SwiftCheckTests.xctest; sourceTree = BUILT_PRODUCTS_DIR; };
73-
841FAE9019FB1CFE00AF4EA2 /* Basis-iOS.xcodeproj */ = {isa = PBXFileReference; lastKnownFileType = "wrapper.pb-project"; name = "Basis-iOS.xcodeproj"; path = "External/Basis/Basis-iOS.xcodeproj"; sourceTree = "<group>"; };
7473
84572C281A6DBAB600241F68 /* Testable.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; name = Testable.swift; path = SwiftCheck/Testable.swift; sourceTree = SOURCE_ROOT; };
7574
84572C301A6DC21100241F68 /* Check.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; name = Check.swift; path = SwiftCheck/Check.swift; sourceTree = SOURCE_ROOT; };
7675
84572C321A6DC23100241F68 /* DiscardSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; name = DiscardSpec.swift; path = SwiftCheckTests/DiscardSpec.swift; sourceTree = SOURCE_ROOT; };
7776
84572C331A6DC23100241F68 /* PrimeSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; name = PrimeSpec.swift; path = SwiftCheckTests/PrimeSpec.swift; sourceTree = SOURCE_ROOT; };
7877
84572C341A6DC23100241F68 /* SimpleSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; name = SimpleSpec.swift; path = SwiftCheckTests/SimpleSpec.swift; sourceTree = SOURCE_ROOT; };
78+
84DD43621A77038A00D492C6 /* Swiftz-iOS.xcodeproj */ = {isa = PBXFileReference; lastKnownFileType = "wrapper.pb-project"; name = "Swiftz-iOS.xcodeproj"; path = "Carthage/Checkouts/Swiftz/Swiftz-iOS.xcodeproj"; sourceTree = "<group>"; };
7979
/* End PBXFileReference section */
8080

8181
/* Begin PBXFrameworksBuildPhase section */
8282
841FAE6819FB1C7000AF4EA2 /* Frameworks */ = {
8383
isa = PBXFrameworksBuildPhase;
8484
buildActionMask = 2147483647;
8585
files = (
86-
841FAE9B19FB1D0A00AF4EA2 /* Basis.framework in Frameworks */,
86+
84DD436D1A7703A200D492C6 /* Swiftz.framework in Frameworks */,
8787
);
8888
runOnlyForDeploymentPostprocessing = 0;
8989
};
@@ -101,7 +101,7 @@
101101
841FAE2719FB1BA800AF4EA2 = {
102102
isa = PBXGroup;
103103
children = (
104-
841FAE9019FB1CFE00AF4EA2 /* Basis-iOS.xcodeproj */,
104+
84DD43621A77038A00D492C6 /* Swiftz-iOS.xcodeproj */,
105105
841FAE5519FB1BDB00AF4EA2 /* SwiftCheck.h */,
106106
841FAE3319FB1BA800AF4EA2 /* SwiftCheck-iOS */,
107107
841FAE4019FB1BA800AF4EA2 /* SwiftCheck-iOSTests */,
@@ -163,11 +163,11 @@
163163
name = "Supporting Files";
164164
sourceTree = "<group>";
165165
};
166-
841FAE9119FB1CFE00AF4EA2 /* Products */ = {
166+
84DD43631A77038A00D492C6 /* Products */ = {
167167
isa = PBXGroup;
168168
children = (
169-
841FAE9619FB1CFE00AF4EA2 /* Basis.framework */,
170-
841FAE9819FB1CFE00AF4EA2 /* BasisTests.xctest */,
169+
84DD43681A77038A00D492C6 /* Swiftz.framework */,
170+
84DD436A1A77038A00D492C6 /* Swiftz-iOSTests.xctest */,
171171
);
172172
name = Products;
173173
sourceTree = "<group>";
@@ -198,7 +198,7 @@
198198
buildRules = (
199199
);
200200
dependencies = (
201-
841FAE9A19FB1D0500AF4EA2 /* PBXTargetDependency */,
201+
84DD436C1A77039300D492C6 /* PBXTargetDependency */,
202202
);
203203
name = SwiftCheck;
204204
productName = SwiftCheck;
@@ -252,8 +252,8 @@
252252
projectDirPath = "";
253253
projectReferences = (
254254
{
255-
ProductGroup = 841FAE9119FB1CFE00AF4EA2 /* Products */;
256-
ProjectRef = 841FAE9019FB1CFE00AF4EA2 /* Basis-iOS.xcodeproj */;
255+
ProductGroup = 84DD43631A77038A00D492C6 /* Products */;
256+
ProjectRef = 84DD43621A77038A00D492C6 /* Swiftz-iOS.xcodeproj */;
257257
},
258258
);
259259
projectRoot = "";
@@ -265,18 +265,18 @@
265265
/* End PBXProject section */
266266

267267
/* Begin PBXReferenceProxy section */
268-
841FAE9619FB1CFE00AF4EA2 /* Basis.framework */ = {
268+
84DD43681A77038A00D492C6 /* Swiftz.framework */ = {
269269
isa = PBXReferenceProxy;
270270
fileType = wrapper.framework;
271-
path = Basis.framework;
272-
remoteRef = 841FAE9519FB1CFE00AF4EA2 /* PBXContainerItemProxy */;
271+
path = Swiftz.framework;
272+
remoteRef = 84DD43671A77038A00D492C6 /* PBXContainerItemProxy */;
273273
sourceTree = BUILT_PRODUCTS_DIR;
274274
};
275-
841FAE9819FB1CFE00AF4EA2 /* BasisTests.xctest */ = {
275+
84DD436A1A77038A00D492C6 /* Swiftz-iOSTests.xctest */ = {
276276
isa = PBXReferenceProxy;
277277
fileType = wrapper.cfbundle;
278-
path = BasisTests.xctest;
279-
remoteRef = 841FAE9719FB1CFE00AF4EA2 /* PBXContainerItemProxy */;
278+
path = "Swiftz-iOSTests.xctest";
279+
remoteRef = 84DD43691A77038A00D492C6 /* PBXContainerItemProxy */;
280280
sourceTree = BUILT_PRODUCTS_DIR;
281281
};
282282
/* End PBXReferenceProxy section */
@@ -334,10 +334,10 @@
334334
target = 841FAE6B19FB1C7000AF4EA2 /* SwiftCheck */;
335335
targetProxy = 841FAE7819FB1C7100AF4EA2 /* PBXContainerItemProxy */;
336336
};
337-
841FAE9A19FB1D0500AF4EA2 /* PBXTargetDependency */ = {
337+
84DD436C1A77039300D492C6 /* PBXTargetDependency */ = {
338338
isa = PBXTargetDependency;
339-
name = Basis;
340-
targetProxy = 841FAE9919FB1D0500AF4EA2 /* PBXContainerItemProxy */;
339+
name = Swiftz;
340+
targetProxy = 84DD436B1A77039300D492C6 /* PBXContainerItemProxy */;
341341
};
342342
/* End PBXTargetDependency section */
343343

‎SwiftCheck.xcodeproj/project.pbxproj

+31-31
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@
2222
84572C211A6DBA1C00241F68 /* DiscardSpec.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C201A6DBA1C00241F68 /* DiscardSpec.swift */; };
2323
84572C251A6DBAA800241F68 /* Check.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C241A6DBAA800241F68 /* Check.swift */; };
2424
84572C2B1A6DBABA00241F68 /* Testable.swift in Sources */ = {isa = PBXBuildFile; fileRef = 84572C2A1A6DBABA00241F68 /* Testable.swift */; };
25-
84BFE0EC19F6FCD4002A8ECE /* Basis.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84BFE0E719F6FCC1002A8ECE /* Basis.framework */; };
25+
84DD43701A7703C600D492C6 /* Swiftz.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = 84DD435F1A77038900D492C6 /* Swiftz.framework */; };
2626
/* End PBXBuildFile section */
2727

2828
/* Begin PBXContainerItemProxy section */
@@ -33,26 +33,26 @@
3333
remoteGlobalIDString = 844FCC8C198B320500EB242A;
3434
remoteInfo = SwiftCheck;
3535
};
36-
84BFE0E619F6FCC1002A8ECE /* PBXContainerItemProxy */ = {
36+
84DD435E1A77038900D492C6 /* PBXContainerItemProxy */ = {
3737
isa = PBXContainerItemProxy;
38-
containerPortal = 84BFE0E119F6FCC1002A8ECE /* Basis.xcodeproj */;
38+
containerPortal = 84DD43591A77038800D492C6 /* Swiftz.xcodeproj */;
3939
proxyType = 2;
40-
remoteGlobalIDString = 84C9967119CE89F30046906D;
41-
remoteInfo = Basis;
40+
remoteGlobalIDString = 84A88F981A71DF7F003D53CF;
41+
remoteInfo = Swiftz;
4242
};
43-
84BFE0E819F6FCC1002A8ECE /* PBXContainerItemProxy */ = {
43+
84DD43601A77038900D492C6 /* PBXContainerItemProxy */ = {
4444
isa = PBXContainerItemProxy;
45-
containerPortal = 84BFE0E119F6FCC1002A8ECE /* Basis.xcodeproj */;
45+
containerPortal = 84DD43591A77038800D492C6 /* Swiftz.xcodeproj */;
4646
proxyType = 2;
47-
remoteGlobalIDString = 84C9967C19CE89F40046906D;
48-
remoteInfo = BasisTests;
47+
remoteGlobalIDString = 84A88FA31A71DF7F003D53CF;
48+
remoteInfo = SwiftzTests;
4949
};
50-
84BFE0EA19F6FCD0002A8ECE /* PBXContainerItemProxy */ = {
50+
84DD436E1A7703B200D492C6 /* PBXContainerItemProxy */ = {
5151
isa = PBXContainerItemProxy;
52-
containerPortal = 84BFE0E119F6FCC1002A8ECE /* Basis.xcodeproj */;
52+
containerPortal = 84DD43591A77038800D492C6 /* Swiftz.xcodeproj */;
5353
proxyType = 1;
54-
remoteGlobalIDString = 84C9967019CE89F30046906D;
55-
remoteInfo = Basis;
54+
remoteGlobalIDString = 84A88F971A71DF7F003D53CF;
55+
remoteInfo = Swiftz;
5656
};
5757
/* End PBXContainerItemProxy section */
5858

@@ -75,15 +75,15 @@
7575
84572C201A6DBA1C00241F68 /* DiscardSpec.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = DiscardSpec.swift; sourceTree = "<group>"; };
7676
84572C241A6DBAA800241F68 /* Check.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Check.swift; sourceTree = "<group>"; };
7777
84572C2A1A6DBABA00241F68 /* Testable.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Testable.swift; sourceTree = "<group>"; };
78-
84BFE0E119F6FCC1002A8ECE /* Basis.xcodeproj */ = {isa = PBXFileReference; lastKnownFileType = "wrapper.pb-project"; name = Basis.xcodeproj; path = External/Basis/Basis.xcodeproj; sourceTree = "<group>"; };
78+
84DD43591A77038800D492C6 /* Swiftz.xcodeproj */ = {isa = PBXFileReference; lastKnownFileType = "wrapper.pb-project"; name = Swiftz.xcodeproj; path = Carthage/Checkouts/Swiftz/Swiftz.xcodeproj; sourceTree = "<group>"; };
7979
/* End PBXFileReference section */
8080

8181
/* Begin PBXFrameworksBuildPhase section */
8282
844FCC89198B320500EB242A /* Frameworks */ = {
8383
isa = PBXFrameworksBuildPhase;
8484
buildActionMask = 2147483647;
8585
files = (
86-
84BFE0EC19F6FCD4002A8ECE /* Basis.framework in Frameworks */,
86+
84DD43701A7703C600D492C6 /* Swiftz.framework in Frameworks */,
8787
);
8888
runOnlyForDeploymentPostprocessing = 0;
8989
};
@@ -101,7 +101,7 @@
101101
844FCC83198B320500EB242A = {
102102
isa = PBXGroup;
103103
children = (
104-
84BFE0E119F6FCC1002A8ECE /* Basis.xcodeproj */,
104+
84DD43591A77038800D492C6 /* Swiftz.xcodeproj */,
105105
844FCC92198B320500EB242A /* SwiftCheck.h */,
106106
844FCC8F198B320500EB242A /* SwiftCheck */,
107107
844FCC9C198B320500EB242A /* SwiftCheckTests */,
@@ -163,11 +163,11 @@
163163
name = "Supporting Files";
164164
sourceTree = "<group>";
165165
};
166-
84BFE0E219F6FCC1002A8ECE /* Products */ = {
166+
84DD435A1A77038800D492C6 /* Products */ = {
167167
isa = PBXGroup;
168168
children = (
169-
84BFE0E719F6FCC1002A8ECE /* Basis.framework */,
170-
84BFE0E919F6FCC1002A8ECE /* BasisTests.xctest */,
169+
84DD435F1A77038900D492C6 /* Swiftz.framework */,
170+
84DD43611A77038900D492C6 /* SwiftzTests.xctest */,
171171
);
172172
name = Products;
173173
sourceTree = "<group>";
@@ -198,7 +198,7 @@
198198
buildRules = (
199199
);
200200
dependencies = (
201-
84BFE0EB19F6FCD0002A8ECE /* PBXTargetDependency */,
201+
84DD436F1A7703B200D492C6 /* PBXTargetDependency */,
202202
);
203203
name = SwiftCheck;
204204
productName = SwiftCheck;
@@ -253,8 +253,8 @@
253253
projectDirPath = "";
254254
projectReferences = (
255255
{
256-
ProductGroup = 84BFE0E219F6FCC1002A8ECE /* Products */;
257-
ProjectRef = 84BFE0E119F6FCC1002A8ECE /* Basis.xcodeproj */;
256+
ProductGroup = 84DD435A1A77038800D492C6 /* Products */;
257+
ProjectRef = 84DD43591A77038800D492C6 /* Swiftz.xcodeproj */;
258258
},
259259
);
260260
projectRoot = "";
@@ -266,18 +266,18 @@
266266
/* End PBXProject section */
267267

268268
/* Begin PBXReferenceProxy section */
269-
84BFE0E719F6FCC1002A8ECE /* Basis.framework */ = {
269+
84DD435F1A77038900D492C6 /* Swiftz.framework */ = {
270270
isa = PBXReferenceProxy;
271271
fileType = wrapper.framework;
272-
path = Basis.framework;
273-
remoteRef = 84BFE0E619F6FCC1002A8ECE /* PBXContainerItemProxy */;
272+
path = Swiftz.framework;
273+
remoteRef = 84DD435E1A77038900D492C6 /* PBXContainerItemProxy */;
274274
sourceTree = BUILT_PRODUCTS_DIR;
275275
};
276-
84BFE0E919F6FCC1002A8ECE /* BasisTests.xctest */ = {
276+
84DD43611A77038900D492C6 /* SwiftzTests.xctest */ = {
277277
isa = PBXReferenceProxy;
278278
fileType = wrapper.cfbundle;
279-
path = BasisTests.xctest;
280-
remoteRef = 84BFE0E819F6FCC1002A8ECE /* PBXContainerItemProxy */;
279+
path = SwiftzTests.xctest;
280+
remoteRef = 84DD43601A77038900D492C6 /* PBXContainerItemProxy */;
281281
sourceTree = BUILT_PRODUCTS_DIR;
282282
};
283283
/* End PBXReferenceProxy section */
@@ -335,10 +335,10 @@
335335
target = 844FCC8C198B320500EB242A /* SwiftCheck */;
336336
targetProxy = 844FCC9A198B320500EB242A /* PBXContainerItemProxy */;
337337
};
338-
84BFE0EB19F6FCD0002A8ECE /* PBXTargetDependency */ = {
338+
84DD436F1A7703B200D492C6 /* PBXTargetDependency */ = {
339339
isa = PBXTargetDependency;
340-
name = Basis;
341-
targetProxy = 84BFE0EA19F6FCD0002A8ECE /* PBXContainerItemProxy */;
340+
name = Swiftz;
341+
targetProxy = 84DD436E1A7703B200D492C6 /* PBXContainerItemProxy */;
342342
};
343343
/* End PBXTargetDependency section */
344344

‎SwiftCheck/Arbitrary.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2014 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010
import Darwin
1111

1212
public protocol Arbitrary : Printable {

‎SwiftCheck/Check.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2015 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010

1111
public var property : QuickCheck = QuickCheck()
1212

‎SwiftCheck/Combinators.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
//
88

99
import Foundation
10-
import Basis
10+
import Swiftz
1111

1212
/// Shakes up the internal Random Number generator for a given Generator with a seed.
1313
public func variant<A, S : IntegerType>(seed: S)(m: Gen<A>) -> Gen<A> {

‎SwiftCheck/Gen.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2014 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010

1111
public struct Gen<A> {
1212
var unGen: StdGen -> Int -> A

‎SwiftCheck/Property.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2014 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010

1111
public func protectResults(rs: Rose<TestResult>) -> Rose<TestResult> {
1212
return onRose({ x in

‎SwiftCheck/Random.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2014 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010

1111
public protocol RandonGen {
1212
func next() -> (Int, Self)

‎SwiftCheck/Rose.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2014 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010

1111
public enum Rose<A> {
1212
case MkRose(Box<A>, @autoclosure() -> [Rose<A>])

‎SwiftCheck/Test.swift

+1-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
// Copyright (c) 2014 Robert Widmann. All rights reserved.
77
//
88

9-
import Basis
9+
import Swiftz
1010

1111
public struct Arguments {
1212
let replay : Optional<(StdGen, Int)>

0 commit comments

Comments
 (0)