github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
Code Issues Projects Releases Wiki Activity

CofreeTypes have a static curried Wrap constructor function.

Browse Source
This commit is contained in:
Rob Rix 2015-10-22 18:04:19 -04:00
parent c6962c798d
commit 9ff1840e4a
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/Cofree.swift
View File

@ -121,6 +121,12 @@ public protocol CofreeType: TermType {
var extract: Annotation { get }
}
extension CofreeType {
public static func Wrap(annotation: Annotation)(syntax: Syntax<Self, Leaf>) -> Self {
return Self(annotation, syntax)
}
}
extension Cofree: CofreeType {}
extension CofreeType where Self.Annotation == Range<String.Index> {