github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-25 21:43:07 +03:00
Code Issues Projects Releases Wiki Activity

Convenience constructor for Interpreters with Categorizable annotations.

Browse Source
This commit is contained in:
Rob Rix 2015-10-15 15:43:18 -04:00
parent 1e53b446ab
commit 1690c71cb2
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
prototype/Doubt/Interpreter.swift
View File

@ -98,5 +98,11 @@ extension Interpreter where Term.LeafType: Equatable {
}
}
extension Interpreter where Term: CofreeType, Term.Annotation: Categorizable {
public init(equal: (Term, Term) -> Bool, cost: Diff -> Int) {
self.init(equal: equal, comparable: Interpreter.comparable { $0.extract.categories }, cost: cost)
}
}
import Prelude