github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Code Issues Projects Releases Wiki Activity

Reintroduce the CofreeType → Free convenience constructor.

Browse Source
This commit is contained in:
Rob Rix 2015-10-23 11:43:05 -04:00
parent 383b20bb31
commit aca676dd04
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
prototype/Doubt/Free.swift
View File

@ -13,6 +13,14 @@ public enum Free<Leaf, Annotation, Value>: CustomDebugStringConvertible {
indirect case Roll(Annotation, Syntax<Free, Leaf>) indirect case Roll(Annotation, Syntax<Free, Leaf>)
/// Construct a `Free` from a `CofreeType` with matching `Leaf` and `Annotation` types, copying the recursive structure of the term in via hylomorphism.
///
/// The resulting `Free` value will not have any `Pure` cases.
public init<Term: CofreeType where Term.Leaf == Leaf, Term.Annotation == Annotation>(_ term: Term) {
self = hylo(Free.Roll, Term.eliminate)(term)
}
public func analysis<C>(@noescape ifPure ifPure: Value -> C, @noescape ifRoll: (Annotation, Syntax<Free, Leaf>) -> C) -> C { public func analysis<C>(@noescape ifPure ifPure: Value -> C, @noescape ifRoll: (Annotation, Syntax<Free, Leaf>) -> C) -> C {
switch self { switch self {
case let .Pure(b): case let .Pure(b):