Documentation

happyError :: [Token] -> Err a Source #

myLexer :: String -> [Token] Source #

pModule :: [Token] -> Err Module Source #

pHoleIdent :: [Token] -> Err HoleIdent Source #

pVarIdent :: [Token] -> Err VarIdent Source #

pListVarIdent :: [Token] -> Err [VarIdent] Source #

pLanguageDecl :: [Token] -> Err LanguageDecl Source #

pLanguage :: [Token] -> Err Language Source #

pCommand :: [Token] -> Err Command Source #

pListCommand :: [Token] -> Err [Command] Source #

pDeclUsedVars :: [Token] -> Err DeclUsedVars Source #

pSectionName :: [Token] -> Err SectionName Source #

pPattern :: [Token] -> Err Pattern Source #

pListPattern :: [Token] -> Err [Pattern] Source #

pParam :: [Token] -> Err Param Source #

pListParam :: [Token] -> Err [Param] Source #

pParamDecl :: [Token] -> Err ParamDecl Source #

pSigmaParam :: [Token] -> Err SigmaParam Source #

pListSigmaParam :: [Token] -> Err [SigmaParam] Source #

pRestriction :: [Token] -> Err Restriction Source #

pListRestriction :: [Token] -> Err [Restriction] Source #

pTerm7 :: [Token] -> Err Term Source #

pTerm5 :: [Token] -> Err Term Source #

pTerm4 :: [Token] -> Err Term Source #

pTerm3 :: [Token] -> Err Term Source #

pTerm2 :: [Token] -> Err Term Source #

pTerm1 :: [Token] -> Err Term Source #

pTerm6 :: [Token] -> Err Term Source #

pTerm :: [Token] -> Err Term Source #

pListTerm :: [Token] -> Err [Term] Source #