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

Add a CofreeConvertible protocol.

Browse Source
This commit is contained in:
Rob Rix 2015-10-15 15:31:51 -04:00
parent 24c66eb1ff
commit 8d93a77b86
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
prototype/Doubt/Cofree.swift
View File

@ -112,4 +112,15 @@ extension Cofree where B: Categorizable {
} }
// MARK: - CofreeConvertible
public protocol CofreeConvertible {
typealias Leaf
typealias Annotation
init(cofree: Cofree<Leaf, Annotation>)
var cofree: Cofree<Leaf, Annotation> { get }
}
import Prelude import Prelude