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

Compute term sizes as node counts.

Browse Source
This commit is contained in:
Rob Rix 2016-04-11 13:54:46 -04:00
parent 4cce0deb34
commit 0b4696062d
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Term.hs
View File

@ -29,7 +29,4 @@ cata f (annotation :< syntax) = f annotation $ cata f <$> syntax
-- | Return the number of leaves in the node.
termSize :: Term a annotation -> Integer
termSize = cata size where
size _ (Leaf _) = 1
size _ (Indexed i) = sum i
size _ (Fixed f) = sum f
size _ (Keyed k) = sum k
size _ syntax = 1 + sum syntax