Documentation

main :: IO () Source #

mainFile :: String -> IO () Source #

ppHsMode :: PPHsMode Source #

printHsDecls :: [Decl ()] -> IO () Source #

allLet :: Signature -> [Declaration] -> [(Name, Expr)] Source #

showAll :: Signature -> [Declaration] -> IO () Source #

showLet :: Signature -> (Name, Expr) -> IO () Source #

doExtract :: Signature -> [EDeclaration] -> IO [EDeclaration] Source #

doTranslate :: [EDeclaration] -> IO (Module ()) Source #

doTypeCheck :: [Declaration] -> IO ([EDeclaration], Signature) Source #

doScopeCheck :: [Declaration] -> IO [Declaration] Source #