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

Rename the introduction form for Cofree.

Browse Source
This commit is contained in:
Rob Rix 2015-10-22 18:43:08 -04:00
parent f8739e90b0
commit 6423d5817f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
prototype/Doubt/Cofree.swift
View File

@ -112,7 +112,7 @@ public protocol CofreeType: TermType {
}
extension CofreeType {
public static func Wrap(annotation: Annotation)(syntax: Syntax<Self, Leaf>) -> Self {
public static func Introduce(annotation: Annotation)(syntax: Syntax<Self, Leaf>) -> Self {
return Self(annotation, syntax)
}
@ -122,7 +122,7 @@ extension CofreeType {
///
/// As this is the dual of `Free.iterate`, it’s unsurprising that we have a similar guarantee: coiteration is linear in the size of the constructed tree.
public static func coiterate(unfold: Annotation -> Syntax<Annotation, Leaf>)(_ seed: Annotation) -> Self {
return (Wrap(seed) <<< { $0.map(coiterate(unfold)) } <<< unfold) <| seed
return (Introduce(seed) <<< { $0.map(coiterate(unfold)) } <<< unfold) <| seed
}
/// `Zip` two `CofreeType` values into a single `Cofree`, pairing their annotations.