Documentation

invalidCLIArguments :: String -> IO a Source #

validatedDispatches :: String -> [String] -> IO [Expression] Source #

validateNoOverlap :: String -> [Expression] -> String -> [Expression] -> IO () Source #

validateLatexOptions :: IOFormat -> [(Bool, String)] -> [(Maybe String, String)] -> [(Maybe Int, String)] -> IO () Source #

validateMust' :: Must -> IO () Source #

validateXmirOptions :: IOFormat -> [(Bool, String)] -> String -> IO () Source #

validateXmirTopLevel :: IOFormat -> Expression -> IO () Source #

validateBoolOpts :: [(Bool, String)] -> IO () Source #