github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

🔥 the NFData instances for Term.

Browse Source
This commit is contained in:
Rob Rix 2017-09-08 17:32:24 +01:00
parent 0ce48d5248
commit d1ced22ce8
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/Term.hs
View File

@ -14,7 +14,6 @@ module Term
import Control.Comonad
import Control.Comonad.Cofree.Class
import Control.DeepSeq
import Data.Bifunctor
import Data.Functor.Classes
import Data.Functor.Classes.Pretty.Generic as Pretty
@ -36,21 +35,6 @@ data TermF f a b = (:<<) { headF :: a, tailF :: f b }
type SyntaxTerm fields = Term Syntax (Record fields)
type SyntaxTermF fields = TermF Syntax (Record fields)
instance NFData1 f => NFData1 (Term f) where
liftRnf rnfA = go where go (a :< f) = rnfA a `seq` liftRnf go f
instance (NFData1 f, NFData a) => NFData (Term f a) where
rnf = rnf1
instance NFData1 f => NFData2 (TermF f) where
liftRnf2 rnfA rnfB (a :<< f) = rnfA a `seq` liftRnf rnfB f `seq` ()
instance (NFData1 f, NFData a) => NFData1 (TermF f a) where
liftRnf = liftRnf2 rnf
instance (NFData1 f, NFData a, NFData b) => NFData (TermF f a b) where
rnf = rnf1
-- | Return the node count of a term.
termSize :: (Foldable f, Functor f) => Term f annotation -> Int
termSize = cata size where