github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 17:04:47 +03:00
Code Issues Projects Releases Wiki Activity

Free.cata rethrows errors.

Browse Source
This commit is contained in:
Rob Rix 2015-10-28 11:58:13 -04:00
parent 9228031f5d
commit d7eb23d291
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
prototype/Doubt/Free.swift
View File

@ -56,10 +56,10 @@ public enum Free<Leaf, Annotation, Value>: CustomDebugStringConvertible {
/// While not every function on a given `Free` can be computed using `cata`, these guarantees of termination and complexity, as well as the brevity and focus on the operation being performed n times, make it a desirable scaffolding for any function which can.
///
/// For a lucid, in-depth tutorial on recursion schemes, I recommend [Patrick Thomson](https://twitter.com/importantshock)’s _[An Introduction to Recursion Schemes](http://patrickthomson.ghost.io/an-introduction-to-recursion-schemes/)_ and _[Recursion Schemes, Part 2: A Mob of Morphisms](http://patrickthomson.ghost.io/recursion-schemes-part-2/)_.
public func cata(@noescape transform: Syntax<Value, Leaf> -> Value) -> Value {
return analysis(
public func cata(@noescape transform: Syntax<Value, Leaf> throws -> Value) rethrows -> Value {
return try analysis(
ifPure: id,
ifRoll: { transform($1.map { $0.cata(transform) }) })
ifRoll: { try transform($1.map { try $0.cata(transform) }) })
}