Documentation

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

myLexer :: String -> [Token] Source #

pProgram :: [Token] -> Err Program Source #

pDecl :: [Token] -> Err Decl Source #

pListDecl :: [Token] -> Err [Decl] Source #

pShape :: [Token] -> Err Shape Source #

pPointPattern :: [Token] -> Err PointPattern Source #

pPointConDecl :: [Token] -> Err PointConDecl Source #

pListPointConDecl :: [Token] -> Err [PointConDecl] Source #

pCube :: [Token] -> Err Cube Source #

pCube1 :: [Token] -> Err Cube Source #

pListCube :: [Token] -> Err [Cube] Source #

pTopeRule :: [Token] -> Err TopeRule Source #

pListTopeRule :: [Token] -> Err [TopeRule] Source #

pRuleName :: [Token] -> Err RuleName Source #

pSequent :: [Token] -> Err Sequent Source #

pListSequent :: [Token] -> Err [Sequent] Source #

pCubeContext :: [Token] -> Err CubeContext Source #

pPointDecl :: [Token] -> Err PointDecl Source #

pListPointDecl :: [Token] -> Err [PointDecl] Source #

pTopeContext :: [Token] -> Err TopeContext Source #

pTope :: [Token] -> Err Tope Source #

pTope1 :: [Token] -> Err Tope Source #

pTope2 :: [Token] -> Err Tope Source #

pTope3 :: [Token] -> Err Tope Source #

pListTope :: [Token] -> Err [Tope] Source #

pPoint :: [Token] -> Err Point Source #

pListPoint :: [Token] -> Err [Point] Source #