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

Replace CofreeConvertible with CofreeType.

Browse Source
This commit is contained in:
Rob Rix 2015-10-15 15:42:24 -04:00
parent f8cd049280
commit 522757c121
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
prototype/Doubt/Cofree.swift
View File

@ -114,12 +114,12 @@ extension Cofree where B: Categorizable {
// MARK: - CofreeConvertible
public protocol CofreeConvertible {
typealias Leaf
public protocol CofreeType {
typealias Annotation
typealias Leaf
init(cofree: Cofree<Leaf, Annotation>)
var cofree: Cofree<Leaf, Annotation> { get }
var extract: Annotation { get }
var unwrap: Syntax<Self, Leaf> { get }
}