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

duplicate() is just extend(id).

Browse Source
This commit is contained in:
Rob Rix 2015-10-14 10:24:16 -04:00
parent 5015238546
commit fa2bfcd367
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
prototype/Doubt/Cofree.swift
View File

@ -44,6 +44,9 @@ extension Cofree {
/// Returns a new `Cofree` constructed by recursively annotating each subtree with itself.
public var duplicate: Cofree<A, Cofree<A, B>> {
return .Unroll(self, unwrap.map { $0.duplicate })
return extend(id)
}
}
import Prelude