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

Remove Term catamorphism/paramorphism 😢

Browse Source
This commit is contained in:
Rob Rix 2015-10-23 18:27:16 -04:00
parent aaa1a9d25a
commit b3f0d16fc8
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
prototype/UI/index.html
View File

@ -80,16 +80,6 @@
return this;
}
// forall a. Term -> (Syntax a -> a) -> a
Term.prototype.cata = function(transform) {
return transform(this.unwrap.map(function(term) { term.cata(transform) }))
}
// forall a. Term -> (Syntax (Term, a) -> a) -> a
Term.prototype.para = function(transform) {
return transform(this.unwrap.map(function(term) { [ term, term.para(transform) ] }))
}
function toDOM(model, stateName, source) {
var element;