mirror of
https://github.com/github/semantic.git
synced 2024-12-20 05:11:44 +03:00
44 lines
1.3 KiB
Swift
44 lines
1.3 KiB
Swift
final class DiffTests: XCTestCase {
|
|
override static func setUp() {
|
|
sranddev()
|
|
}
|
|
|
|
typealias Term = RangedTerm.Term
|
|
typealias Diff = Free<String, Patch<Term>>
|
|
|
|
let interpreter = Interpreter<Term>(equal: ==, comparable: const(true), cost: Diff.sum(const(1)))
|
|
|
|
func testEqualTermsProduceIdentityDiffs() {
|
|
property("equal terms produce identity diffs") <- forAll { (term: RangedTerm) in
|
|
Diff.sum(const(1))(self.interpreter.run(term.term, term.term)) == 0
|
|
}
|
|
}
|
|
|
|
func testEqualityIsReflexive() {
|
|
property("equality is reflexive") <- forAll { (diff: RangedDiff) in
|
|
Free.equals(ifPure: Patch.equals(Cofree.equals(annotation: ==, leaf: ==)), ifRoll: ==)(diff.diff, diff.diff)
|
|
}
|
|
}
|
|
|
|
func testOriginalTermsAreRecoverable() {
|
|
let equal = Cofree<String, ()>.equals(annotation: const(true), leaf: ==)
|
|
property("before state is recoverable") <- forAll { (diff: RangedDiff) in
|
|
return diff.diff.map { $0.map { $0.map(const(())) } }.before.map {
|
|
equal($0, diff.a.map(const(())))
|
|
} ?? false
|
|
}
|
|
|
|
property("after state is recoverable") <- forAll { (diff: RangedDiff) in
|
|
return diff.diff.map { $0.map { $0.map(const(())) } }.after.map {
|
|
equal($0, diff.b.map(const(())))
|
|
} ?? false
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
@testable import Doubt
|
|
import Prelude
|
|
import SwiftCheck
|
|
import XCTest
|