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

Define coiterate so as to reflect its symmetry with ana.

Browse Source
This commit is contained in:
Rob Rix 2015-10-22 17:09:00 -04:00
parent f0379f421b
commit 090406aafe
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prototype/Doubt/Cofree.swift
View File

@ -25,7 +25,7 @@ public enum Cofree<Leaf, Annotation> {
///
/// 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(annotate: Annotation -> Syntax<Annotation, Leaf>)(_ seed: Annotation) -> Cofree {
return .Unroll(seed, annotate(seed).map(coiterate(annotate)))
return (curry(Unroll)(seed) <<< { $0.map(coiterate(annotate)) } <<< annotate) <| seed
}
}