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

Diff catamorphisms.

Browse Source
This commit is contained in:
Rob Rix 2015-10-23 20:27:12 -04:00
parent e152b0084c
commit 95cc7e7768
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/UI/index.html
View File

@ -211,6 +211,14 @@
});
}
}
// forall a. Diff a -> (Syntax a -> a) -> a
Diff.prototype.cata = function(transform) {
if (this.pure != null) { return this.pure; }
if (this.roll != null) {
return transform(this.roll.unwrap.map(function(diff) { return diff.cata(transform); }))
}
}
</script>
</head>
<body>