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

Define hylomorphism through Syntax.

Browse Source
This commit is contained in:
Rob Rix 2015-10-22 17:11:35 -04:00
parent f4966684a5
commit 521e253240
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
prototype/Doubt/Free.swift
View File

@ -120,6 +120,13 @@ extension Free {
}
// MARK: - Hylomorphism
public func hylo<A, B, Leaf>(down: Syntax<B, Leaf> -> B, _ up: A -> Syntax<A, Leaf>) -> A -> B {
return up >>> { $0.map(hylo(down, up)) } >>> down
}
extension Free where Value: PatchType, Value.Element == Cofree<Leaf, ()> {
public typealias Term = Value.Element