Documentation

printTIP :: Start -> String Source #

unquotedLaterSymbols :: Set Char Source #

isUnquotedLaterSymbol :: Char -> Bool Source #

unquotedInitialSymbols :: Set Char Source #

isUnquotedInitialSymbol :: Char -> Bool Source #

anyOf :: a -> [a -> Bool] -> Bool Source #

getFormulaName :: Decl -> Maybe String Source #

getAttrValues :: String -> [Attr] -> [String] Source #

getAttrValue :: String -> Attr -> Maybe String Source #

addAttr :: Decl -> (String, Maybe String) -> Decl Source #

stripAttrs :: Decl -> Decl Source #

declareData :: [(DatatypeName, Datatype)] -> [Decl] Source #

singularizeDatas :: Decl -> [Decl] Source #

fromSymbol :: Symbol -> String Source #

toAttr :: (String, Maybe String) -> Attr Source #

quoteSymbolChar :: Char -> String Source #

unquoteSymbolChars :: String -> String Source #

toSymbol :: String -> Symbol Source #