hcount-0.0.1: app/hcount.hs
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE NegativeLiterals #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_GHC -Wno-unused-top-binds #-}
import qualified Data.Attoparsec.Text as A
import qualified Data.Char as Char
import qualified Data.Map.Strict as Map
import qualified Data.Set as Set
import qualified Data.Text as Text
import HieTypes
import NumHask.Prelude
import Options.Applicative as OA
import Stan.Ghc.Compat
import Stan.Hie
main :: IO ()
main = do
hccfg <- execParser (info (hc <**> helper) (fullDesc <> progDesc "Count haskell names using hie files"))
report hccfg
-- | report to stdout
-- >>> report defaultHCountConfig
report :: HCountConfig -> IO ()
report cfg = do
fs <- mapM readHieFiles (unpack <$> hcHiefiles cfg)
putStrLn $ ("Number of repos: " :: Text) <> show (length fs)
putStrLn $ ("Number of files: " :: Text) <> show (length $ mconcat fs)
let ns = getNames fs
putStrLn $ ("Total names: " :: Text) <> show (sum . fmap snd $ ns)
putStrLn $ ("Unique names: " :: Text) <> show (length ns)
when (hcAll cfg) $ do
putStrLn ("top names" :: Text)
putStrLn ("total names: " <> show (sum $ snd <$> ns) :: Text)
putStrLn ("" :: Text)
mapM_ putStrLn (fmap formatResults $ take (hcTopn cfg) $ first locname <$> ns)
when (hcOperators cfg) $ do
putStrLn ("top operators" :: Text)
let op' = filter (oph (hcExcluded cfg) . fst) ns
putStrLn ("total operators: " <> show (sum $ snd <$> op') :: Text)
putStrLn ("" :: Text)
mapM_ putStrLn (fmap formatResults $ take (hcTopn cfg) $ first locname <$> op')
when (hcFunctions cfg) $ do
putStrLn ("top lower case functions" :: Text)
let lower' = filter (lowerh (hcExcluded cfg) . fst) ns
putStrLn ("total functions: " <> show (sum $ snd <$> lower') :: Text)
putStrLn ("" :: Text)
mapM_ putStrLn (fmap formatResults $ take (hcTopn cfg) $ first locname <$> lower')
when (hcConstructors cfg) $ do
putStrLn ("top upper case constructors" :: Text)
let upper' = filter (upperh (hcExcluded cfg) . fst) ns
putStrLn ("total constructors: " <> show (sum $ snd <$> upper') :: Text)
putStrLn ("" :: Text)
mapM_ putStrLn (fmap formatResults $ take (hcTopn cfg) $ first locname <$> upper')
when (hcLocals cfg) $ do
putStrLn ("top local names" :: Text)
let local' = filter (localh . fst) ns
putStrLn ("total local names: " <> show (sum $ snd <$> local') :: Text)
putStrLn ("" :: Text)
mapM_ putStrLn (fmap formatResults $ take (hcTopn cfg) $ first locname <$> local')
getNames :: [[HieFile]] -> [((Loc, Text), Int)]
getNames = sortOn (Down . snd) . Map.toList . Main.count . names . fmap fst . mconcat . fmap astFlat . asts . mconcat
-- | Get the trees from each hie file, throwing away file details
asts :: [HieFile] -> [HieAST TypeIndex]
asts fs = mconcat $ Map.elems . getAsts . hie_asts <$> fs
-- | Throw away the tree structure and retain node information.
--
-- deconstruction of:
-- sum = P.foldr (+) zero
--
-- P.foldr
-- NodeInfo {nodeAnnotations = fromList [("HsVar","HsExpr"),("HsWrap","HsExpr")], nodeType = [7,24], nodeIdentifiers = fromList [(Right NameMeta {nameMetaPackage = "base", nameMetaModuleName = ModuleName {unModuleName = "Data.Foldable"}, nameMetaName = "foldr"},IdentifierDetails {identType = Just 24, identInfo = fromList [Use]})]}
--
-- (+)
--
-- NodeInfo {nodeAnnotations = fromList [("HsVar","HsExpr"),("HsWrap","HsExpr")], nodeType = [5,30], nodeIdentifiers = fromList [(Right NameMeta {nameMetaPackage = "numhask-0.7.0.1-7TAYiN9QGfDA9z2ZI270ii", nameMetaModuleName = ModuleName {unModuleName = "NumHask.Algebra.Additive"}, nameMetaName = "+"},IdentifierDetails {identType = Just 30, identInfo = fromList [Use]})]}
--
-- zero
--
-- NodeInfo {nodeAnnotations = fromList [("HsVar","HsExpr"),("HsWrap","HsExpr")], nodeType = [1,32], nodeIdentifiers = fromList [(Right NameMeta {nameMetaPackage = "numhask-0.7.0.1-7TAYiN9QGfDA9z2ZI270ii", nameMetaModuleName = ModuleName {unModuleName = "NumHask.Algebra.Additive"}, nameMetaName = "zero"},IdentifierDetails {identType = Just 32, identInfo = fromList [Use]})]}
--
-- LogField $ negate x
--
-- NodeInfo {nodeAnnotations = fromList [("HsConLikeOut","HsExpr"),("HsVar","HsExpr"),("HsWrap","HsExpr")], nodeType = [1246,1084], nodeIdentifiers = fromList [(Right NameMeta {nameMetaPackage = "numhask-0.7.0.1-7TAYiN9QGfDA9z2ZI270ii", nameMetaModuleName = ModuleName {unModuleName = "NumHask.Data.LogField"}, nameMetaName = "LogField"},IdentifierDetails {identType = Nothing, identInfo = fromList [Use]})]}
--
-- NodeInfo {nodeAnnotations = fromList [("HsVar","HsExpr"),("HsWrap","HsExpr")], nodeType = [1247,1256], nodeIdentifiers = fromList [(Right NameMeta {nameMetaPackage = "base", nameMetaModuleName = ModuleName {unModuleName = "GHC.Base"}, nameMetaName = "$"},IdentifierDetails {identType = Just 1256, identInfo = fromList [Use]})]}
--
-- NodeInfo {nodeAnnotations = fromList [("HsVar","HsExpr")], nodeType = [1220], nodeIdentifiers = fromList [(Right $_in$x,IdentifierDetails {identType = Just 1220, identInfo = fromList [Use]})]}
--
-- lf = fs !! 4
-- lf207s = filter (\x -> 207 == (srcLocLine . realSrcSpanStart . snd $ x)) $ (mconcat $ astFlat <$> asts [lf])
astFlat :: HieAST a -> [(NodeInfo a, Span)]
astFlat h = [(nodeInfo h, nodeSpan h)] <> mconcat (fmap astFlat (nodeChildren h))
data Loc = Local | Main | Base | Unknown | Package Text deriving (Show, Eq, Ord)
-- | extract simplified names of variables from the NodeInfo
names :: [NodeInfo a] -> [(Loc, Text)]
names nodes =
[ simplifyLocName $ pack $ nameStableString x
| (Right x) <-
mconcat $
Map.keys . nodeIdentifiers
<$> filter (Set.member ("HsVar", "HsExpr") . nodeAnnotations) nodes
]
-- | count occurrences
count :: (Ord a) => [a] -> Map.Map a Int
count = Map.fromListWith (+) . fmap (,1)
-- | simplified location name
simplifyLocName :: Text -> (Loc, Text)
simplifyLocName t = either (const (Unknown, t)) id $ A.parseOnly lp t
where
lp = pLocal' <|> pLocal <|> pBase' <|> pBase <|> pPackage' <|> pPackage <|> pMain
pLocal :: A.Parser (Loc, Text)
pLocal = do
_ <- A.string "$_in$"
n <- A.takeText
pure (Local, n)
pLocal' :: A.Parser (Loc, Text)
pLocal' = do
_ <- A.string "$_in$"
_ <- A.string "$d" <|> A.string "$cp1" <|> A.string "$cp2" <|> A.string "$cp3" <|> A.string "$cp4" <|> A.string "$c" <|> A.string "$C:"
n <- A.takeText
pure (Local, n)
pBase' :: A.Parser (Loc, Text)
pBase' = do
_ <- A.string "$base$"
_ <- A.skipWhile (/= '$')
_ <- A.char '$'
_ <- A.string "C:"
n <- A.takeText
pure (Base, n)
pBase :: A.Parser (Loc, Text)
pBase = do
_ <- A.string "$base$"
_ <- A.skipWhile (/= '$')
_ <- A.char '$'
n <- A.takeText
pure (Base, n)
-- "numhask-space-0.7.0.0-LPYAlOQ382DJicX4NZ3Jtj"
--
pPackageName :: A.Parser Text
pPackageName = do
ps <- A.sepBy1 (A.takeWhile (`notElem` ['-', '$'])) (A.char '-')
case reverse ps of
(_ : _ : ps') -> pure $ Text.intercalate "-" (reverse ps')
ps' -> pure $ Text.intercalate "-" (reverse ps')
pPackage' :: A.Parser (Loc, Text)
pPackage' = do
_ <- A.char '$'
p <- pPackageName
_ <- A.char '$'
_ <- A.skipWhile (/= '$')
_ <- A.char '$'
_ <- A.string "C:"
n <- A.takeText
pure (Package p, n)
pPackage :: A.Parser (Loc, Text)
pPackage = do
_ <- A.char '$'
p <- pPackageName
_ <- A.char '$'
_ <- A.skipWhile (/= '$')
_ <- A.char '$'
n <- A.takeText
pure (Package p, n)
pMain :: A.Parser (Loc, Text)
pMain = do
_ <- A.string "$main$"
_ <- A.skipWhile (/= '$')
_ <- A.char '$'
n <- A.takeText
pure (Main, n)
lowerh :: [Text] -> (Loc, Text) -> Bool
lowerh _ (Local, _) = False
lowerh _ (Main, _) = False
lowerh _ (Base, n) = Char.isLower (Text.head n)
lowerh ex (Package p, n) = Char.isLower (Text.head n) && notElem p ex
lowerh _ (Unknown, _) = False
upperh :: [Text] -> (Loc, Text) -> Bool
upperh _ (Local, _) = False
upperh _ (Main, _) = False
upperh _ (Base, n) = Char.isUpper (Text.head n)
upperh ex (Package p, n) = Char.isUpper (Text.head n) && notElem p ex
upperh _ (Unknown, _) = False
oph :: [Text] -> (Loc, Text) -> Bool
oph _ (Local, _) = False
oph _ (Main, _) = False
oph _ (Base, n) = not $ Char.isLetter (Text.head n)
oph ex (Package p, n) = not (Char.isLetter (Text.head n)) && notElem p ex
oph _ (Unknown, _) = False
locname :: (Loc, Text) -> (Text, Text)
locname (Local, n) = ("local", n)
locname (Main, n) = ("main", n)
locname (Base, n) = ("base", n)
locname (Package p, n) = (p, n)
locname (Unknown, n) = ("unknown", n)
localh :: (Loc, Text) -> Bool
localh (Local, _) = True
localh (Main, _) = True
localh (Base, _) = False
localh (Package _, _) = False
localh (Unknown, _) = True
data HCountConfig = HCountConfig {hcHiefiles :: [Text], hcExcluded :: [Text], hcTopn :: Int, hcAll :: Bool, hcOperators :: Bool, hcFunctions :: Bool, hcConstructors :: Bool, hcLocals :: Bool} deriving (Show)
defaultHCountConfig :: HCountConfig
defaultHCountConfig = HCountConfig [".hie"] [] 10 True True True True True
hc :: Parser HCountConfig
hc =
HCountConfig
<$> fmap
(\x -> bool x [".hie"] (null x))
( many $
OA.option
str
( metavar "DIR"
<> long "hie-directory"
<> short 'd'
<> help "location of hie directory (default \".hie\")"
)
)
<*> many
( OA.option
str
( metavar "TEXT"
<> long "excluded-lib"
<> short 'e'
<> help "Libraries to exclude from analysis"
)
)
<*> OA.option
auto
( long "topn"
<> short 't'
<> help "How many names to print"
<> showDefault
<> value 10
<> metavar "INT"
)
<*> flag
True
False
( long "no-all-names"
<> short 'a'
<> help "no report on all names"
<> showDefault
)
<*> flag
True
False
( long "no-operators"
<> short 'o'
<> help "no report on operators"
<> showDefault
)
<*> flag
True
False
( long "no-functions"
<> short 'f'
<> help "no report on external functions used"
<> showDefault
)
<*> flag
True
False
( long "no-constructors"
<> short 'c'
<> help "no report on constructors used"
<> showDefault
)
<*> flag
True
False
( long "no-locals"
<> short 'l'
<> help "no report on local names"
<> showDefault
)
padl :: Int -> Text -> Text
padl n t = Text.replicate (n - Text.length t) " " <> t
padr :: Int -> Text -> Text
padr n t = t <> Text.replicate (n - Text.length t) " "
formatResults :: ((Text, Text), Int) -> Text
formatResults ((l, n), x) = padr 10 l <> padr 10 n <> padl 6 (show x)
-- | current personal run
--
-- > myhc = HCountConfig ((\fp -> "../" <> fp <> "/.hie") <$> [ "box","box-csv","box-socket","chart-svg","chart-svg-graphviz","ellipse","ephemeral","formatn","hcount","iqfeed","mealy","numhask","numhask-array","numhask-backprop","numhask-bench","numhask-space","perf","readme-lhs","web-rep"]) ["lucid", "web-rep", "backprop"] 100 True True True True True
-- > report myhc
-- Number of repos: 19
-- Number of files: 102
-- Total names: 31919
-- Unique names: 3103
-- top names
-- total names: 31919
--
-- base $ 828
-- local x 696
-- base fromLabel 613
-- base . 536
-- local a 510
-- numhask * 510
-- base & 499
-- lens .~ 483
-- base <$> 479
-- base <> 422
-- local IsLabel 418
-- lens ^. 411
-- local s 400
-- numhask + 378
-- local c 299
-- local n 284
-- local y 263
-- numhask - 254
-- numhask / 252
-- local showList 250
-- local showsPrec 249
-- local show 242
-- base Show 241
-- local /= 236
-- local == 234
-- Eq 234
-- local f 220
-- base Just 218
-- base Generic 216
-- numhask-spacePoint 205
-- base pure 200
-- local r 182
-- local xs 180
-- numhask zero 176
-- base mempty 173
-- local b 172
-- == 172
-- numhask one 168
-- local p 167
-- local t 164
-- base Nothing 161
-- [] 155
-- local d 151
-- protolude show 143
-- local l 141
-- numhask fromIntegral 140
-- chart-svg Chart 131
-- local e 127
-- local i 110
-- local from 108
-- local to 108
-- protolude bool 105
-- base fmap 97
-- local cs 96
-- base maybe 90
-- local o 87
-- local g 86
-- local m 84
-- local w 83
-- local Epsilon 80
-- local x' 80
-- numhask-spacePointXY 78
-- local go 76
-- : 76
-- base id 75
-- base <*> 74
-- lucid with 74
-- base snd 70
-- local cfg 67
-- base otherwise 67
-- local v 66
-- local z 66
-- lucid term 66
-- base fst 65
-- base zipWith 65
-- chart-svg-graphvizDependency 64
-- web-rep class__ 64
-- local step 61
-- local ts 60
-- pack 57
-- base !! 54
-- numhask negate 54
-- local - 53
-- local Norm 51
-- local a' 51
-- local Distributive 50
-- True 50
-- lens %~ 50
-- local h 48
-- local y' 48
-- base mconcat 47
-- local Signed 46
-- base reverse 45
-- local fromIntegral 44
-- False 44
-- box commit 44
-- chart-svg LineA 44
-- numhask FromIntegral 44
-- lucid toHtml 43
-- numhask pi 43
-- top operators
-- total operators: 6330
--
-- base $ 828
-- base . 536
-- numhask * 510
-- base & 499
-- lens .~ 483
-- base <$> 479
-- base <> 422
-- lens ^. 411
-- numhask + 378
-- numhask - 254
-- numhask / 252
-- == 172
-- [] 155
-- : 76
-- base <*> 74
-- base !! 54
-- lens %~ 50
-- && 42
-- () 39
-- < 31
-- bifunctors<<*>> 29
-- base <|> 28
-- > 28
-- numhask .* 24
-- base + 22
-- <= 21
-- numhask ^ 21
-- >= 20
-- numhask :% 20
-- lens ?~ 19
-- || 18
-- numhask :+ 17
-- base * 16
-- base ++ 16
-- (,) 15
-- lens _1 15
-- numhask ** 15
-- base *> 14
-- base - 14
-- box <$.> 13
-- /= 12
-- numhask /. 11
-- base :| 9
-- numhask /\ 9
-- numhask \/ 9
-- numhask-space_x 9
-- numhask-space_y 9
-- base >> 8
-- lens _Just 8
-- numhask-space... 8
-- numhask ^^ 7
-- base <* 6
-- lens .= 6
-- numhask-space>.< 6
-- base <$ 5
-- chart-svg $sel:rstyle:AxisBar 5
-- microlens .~ 5
-- numhask-space|.| 5
-- microlens ^. 4
-- numhask-space|. 4
-- ! 3
-- chart-svg $sel:positions:TickComponents 3
-- chart-svg $sel:xys:Chart 3
-- lens _2 3
-- base $! 2
-- base ** 2
-- base / 2
-- |> 2
-- chart-svg $sel:color':Colour' 2
-- chart-svg $sel:unhud:Hud 2
-- clay ? 2
-- lens %= 2
-- numhask ⊕ 2
-- vector ! 2
-- base $> 1
-- base % 1
-- base =<< 1
-- base >=> 1
-- base >>= 1
-- (,,) 1
-- <| 1
-- box <*.> 1
-- chart-svg $sel:annotation:Chart 1
-- chart-svg $sel:labels:TickComponents 1
-- hmatrix <> 1
-- hmatrix >< 1
-- numhask $c:+ 1
-- numhask $cLogField 1
-- numhask $tComplex 1
-- numhask $tLogField 1
-- numhask *. 1
-- numhask-space+/- 1
-- numhask-space<.> 1
-- numhask-space|<| 1
-- numhask-space|>| 1
-- semigroupoids<.> 1
-- unordered-containers! 1
-- top lower case functions
-- total functions: 7250
--
-- base fromLabel 613
-- base pure 200
-- numhask zero 176
-- base mempty 173
-- numhask one 168
-- protolude show 143
-- numhask fromIntegral 140
-- protolude bool 105
-- base fmap 97
-- base maybe 90
-- base id 75
-- base snd 70
-- base otherwise 67
-- base fst 65
-- base zipWith 65
-- pack 57
-- numhask negate 54
-- base mconcat 47
-- base reverse 45
-- box commit 44
-- numhask pi 43
-- chart-svg defaultLineStyle 39
-- chart-svg palette1 36
-- numhask sin 36
-- numhask cos 33
-- base const 32
-- unpack 32
-- box emit 32
-- chart-svg writeChartSvg 31
-- base liftIO 30
-- numhask-spacelower 30
-- base fromIntegral 29
-- base length 29
-- base second 29
-- base fromMaybe 28
-- base take 28
-- base abs 27
-- base zip 27
-- chart-svg defaultHudOptions 27
-- chart-svg ellipse 27
-- max 26
-- min 26
-- chart-svg defaultTextStyle 26
-- numhask floor 26
-- numhask-spaceupper 26
-- base return 25
-- base fromInteger 24
-- box glue 24
-- chart-svg fromV2 24
-- numhask-arrayshape 24
-- attoparsectakeText 23
-- chart-svg defaultGlyphStyle 23
-- foldl fold 23
-- lift 22
-- chart-svg fromRGB 22
-- addDays 21
-- base bimap 20
-- chart-svg defaultRectStyle 20
-- attoparsecchar 19
-- numhask exp 19
-- numhask sum 19
-- base drop 18
-- base fromString 18
-- base show 18
-- adjunctionsindex 18
-- numhask abs 18
-- base foldl' 17
-- adjunctionstabulate 17
-- lens use 17
-- numhask sqrt 17
-- numhask two 17
-- numhask-arrayindex 17
-- base either 16
-- box mapE 16
-- box toStdout 16
-- box-csv int' 16
-- base flip 15
-- base natVal 15
-- base throw 15
-- attoparsecstring 15
-- chart-svg defaultSvgOptions 15
-- mmorph hoist 15
-- numhask fromBaseRational 15
-- numhask-arraytabulate 15
-- numhask-spacefoldRect 15
-- profunctorslmap 15
-- base negate 14
-- base signum 14
-- base toRational 14
-- chart-svg defaultTitle 14
-- chart-svg opac 14
-- numhask-spaceaspect 14
-- numhask-spacefromNominalDiffTime 14
-- numhask-spacespace1 14
-- numhask-spacetoNominalDiffTime 14
-- numhask-spacetoPoint 14
-- numhask-spacetoRect 14
-- addUTCTime 13
-- box-csv double' 13
-- chart-svg setOpac 13
-- top upper case constructors
-- total constructors: 4109
--
-- base Show 241
-- Eq 234
-- base Just 218
-- base Generic 216
-- numhask-spacePoint 205
-- base Nothing 161
-- chart-svg Chart 131
-- numhask-spacePointXY 78
-- chart-svg-graphvizDependency 64
-- True 50
-- False 44
-- chart-svg LineA 44
-- numhask FromIntegral 44
-- numhask-spaceRect 42
-- chart-svg Colour 40
-- numhask ToIntegral 37
-- chart-svg RectA 35
-- numhask-spaceRange 34
-- base Functor 31
-- box Box 30
-- numhask Additive 29
-- numhask Multiplicative 29
-- base Left 28
-- chart-svg TextA 28
-- numhask Subtractive 28
-- numhask JoinSemiLattice 27
-- numhask MeetSemiLattice 27
-- numhask-spaceRectXY 27
-- box Emitter 26
-- base Right 25
-- chart-svg GlyphA 25
-- numhask Distributive 25
-- numhask Signed 25
-- numhask-spaceP 25
-- Ord 23
-- foldl Fold 22
-- numhask Epsilon 22
-- base Semigroup 21
-- box Committer 21
-- box Cont 21
-- base Proxy 20
-- reanimate-svgNum 20
-- language-javascriptJSSemi 19
-- numhask BoundedJoinSemiLattice 19
-- numhask InvolutiveRing 19
-- numhask ToRatio 19
-- readme-lhsBlock 19
-- chart-svg PlaceBottom 18
-- language-javascriptJSAstProgram 18
-- language-javascriptJSExpressionStatement 18
-- numhask BoundedMeetSemiLattice 18
-- numhask Integral 18
-- base Foldable 17
-- base Traversable 17
-- numhask Norm 17
-- base Last 16
-- base Monoid 16
-- mealy M 16
-- numhask LogField 16
-- numhask-spaceR 16
-- UTCTime 15
-- base Applicative 14
-- base Read 14
-- chart-svg LineI 14
-- numhask Divisive 14
-- numhask FromInteger 14
-- numhask NumHaskException 14
-- numhask-arrayArray 14
-- chart-svg AnchorStart 13
-- chart-svg Hud 12
-- chart-svg LineCapRound 12
-- chart-svg-graphvizRing 12
-- language-javascriptJSNoAnnot 12
-- numhask Field 12
-- readme-lhsCode 12
-- chart-svg FixedAspect 11
-- chart-svg PathA 11
-- chart-svg PlaceLeft 11
-- chart-svg PlaceRight 11
-- chart-svg-graphvizField 11
-- chart-svg-graphvizNumHaskCluster 11
-- chart-svg AnchorEnd 10
-- chart-svg PlaceTop 10
-- numhask ExpField 10
-- numhask UpperBoundedField 10
-- numhask-spaceMidPos 10
-- chart-svg ArcInfo 9
-- chart-svg ArcPosition 9
-- chart-svg-graphvizAdditive 9
-- chart-svg-graphvizAssociative 9
-- chart-svg-graphvizGroupCluster 9
-- chart-svg-graphvizMultiplicative 9
-- chart-svg-graphvizUnital 9
-- numhask LowerBoundedField 9
-- numhask QuotientField 9
-- numhask-spaceOuterPos 9
-- chart-svg BlankA 8
-- chart-svg ChartSvg 8
-- chart-svg RectStyle 8
-- chart-svg StartI 8
-- top local names
-- total local names: 13262
--
-- local x 696
-- local a 510
-- local IsLabel 418
-- local s 400
-- local c 299
-- local n 284
-- local y 263
-- local showList 250
-- local showsPrec 249
-- local show 242
-- local /= 236
-- local == 234
-- local f 220
-- local r 182
-- local xs 180
-- local b 172
-- local p 167
-- local t 164
-- local d 151
-- local l 141
-- local e 127
-- local i 110
-- local from 108
-- local to 108
-- local cs 96
-- local o 87
-- local g 86
-- local m 84
-- local w 83
-- local Epsilon 80
-- local x' 80
-- local go 76
-- local cfg 67
-- local v 66
-- local z 66
-- local step 61
-- local ts 60
-- local - 53
-- local Norm 51
-- local a' 51
-- local Distributive 50
-- local h 48
-- local y' 48
-- local Signed 46
-- local fromIntegral 44
-- local sconcat 42
-- local stimes 42
-- local rx 41
-- local pl 40
-- local aboutEqual 39
-- local phi 39
-- local <$ 38
-- local nearZero 37
-- local ps 37
-- local toIntegral 37
-- local zero 37
-- local c' 36
-- local adj 34
-- local ds 34
-- local epsilon 34
-- local one 33
-- local u 33
-- local mconcat 32
-- local div 31
-- local fmap 31
-- local mod 31
-- local quot 31
-- local rem 31
-- local start 31
-- local Field 30
-- local ry 30
-- local so 30
-- local * 29
-- local + 29
-- local x2 29
-- local xs' 29
-- local negate 28
-- local p1 28
-- local /\ 27
-- local QuotientField 27
-- local Subtractive 27
-- local \/ 27
-- local q 27
-- local ann 26
-- local fa 26
-- local JoinSemiLattice 25
-- local MeetSemiLattice 25
-- local abs 25
-- local conn 25
-- local end 25
-- local sign 25
-- local / 24
-- local > 24
-- local >= 24
-- local compare 24
-- local f' 24
-- local max 24
-- local min 24
-- local pc 24
-- local < 23