beautifHOL Contents Index

Main

Documentation

type ParseFun a = [Token] -> Err a

runFile :: (Print a, Show a) => Flags -> ParseFun a -> FilePath -> IO ()

run :: (Print a, Show a) => Flags -> ParseFun a -> String -> IO ()

showTree :: (Show a, Print a) => Flags -> a -> String -> IO ()

interactMsg :: IO ()

main :: IO ()

printHelp :: IO ()

Produced by Haddock version 2.4.1