Documentation

syntaxAndSemantics :: (String -> LangM' (ReportT Output Identity) b) -> (a -> b -> LangM (ReportT Output Identity)) -> (FilePath -> a -> b -> Rated (ReportT Output IO)) -> String -> FilePath -> a -> IO ([Output], Maybe (Maybe Rational, [Output])) Source #