lambdabot-4.1: Plugin/FT.hs

--
-- | Free theorems plugin, 
-- Don Stewart 2006
-- 
module Plugin.FT where

import Plugin
import Plugin.Type (query_ghci)

PLUGIN FT

instance Module FTModule () where
    moduleCmds _   = ["ft"]
    moduleHelp _ _ = "ft <ident>. Generate theorems for free"
    process_ _ _ s = (liftM unlines . lift . query_ghci ":t") s >>= ios . ft

binary :: String
binary = "./ft"

ft :: String -> IO String
ft src = run binary src $
    unlines . map (' ':) . filter (not.null) . map cleanit . lines

cleanit :: String -> String
cleanit s | terminated `matches'` s = "Terminated\n"
          | otherwise               = filter isAscii s
    where terminated = regex' "waitForProc"