github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity

Construct arbitrary unannotated leaves.

Browse Source
This commit is contained in:
Rob Rix 2015-10-16 14:26:32 -04:00
parent 412ea9cc04
commit 6a4e1dca39
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
prototype/DoubtTests/RangedTerm.swift
View File

@ -8,18 +8,14 @@ struct UnannotatedTerm {
let term: Term
}
extension RangedTerm: Arbitrary {
static var arbitrary: Gen<RangedTerm> {
func arbitrary(from: Int) -> Gen<Term> {
let leaf: Gen<Term> = String.arbitrary.fmap {
Cofree(($0, from..<Int($0.characters.count)), .Leaf($0))
}
extension UnannotatedTerm: Arbitrary {
static var arbitrary: Gen<UnannotatedTerm> {
let leaf: Gen<Term> = String.arbitrary.fmap { Term((), .Leaf($0)) }
return Gen.oneOf([
leaf,
])
}
return arbitrary(0).fmap {
RangedTerm(term: $0)
]).fmap {
UnannotatedTerm(term: $0)
}
}
}