module DocTypes_Generated where

import CommonTypes
import DocTypes

import PresTypes
import List
import Char

-- what about IDP fields for primitive type String_?
-- seems to be a general problem, IDP fields depend on what kind of presentations the value
-- is part of

-- Do lists need Hole's? Or can we use Nil for that?



-- Clip contains a constructor for each of the types in the document
-- Node contains a constructor for each of the constructors in each of the types in the document


data HeliumMessage =
         HMessage [String] 
       | HError [String] [PathDoc] [PathDoc] [PathDoc] deriving Show







-- ?? what does this old comment mean:
-- data depends on IDP, not good. Now a pres change may cause a data update.
-- Do this automatically, store elsewhere?


-- this one cannot be generated, but needs to be here for now
data Document = RootDoc IDD IDP List_Decl
              | HoleDocument
              | ParseErrDocument Node (Presentation Document Node ClipDoc) deriving Show


type HeliumTypeInfo = ([HeliumMessage],[(String,String)], [(PathDoc, String)])

{-
Find out more on how to integrate non proxima types (such as HeliumTypeInfo)
-}


-- does not work anymore
instance Read Node where
  readsPrec _ inp = case dropWhile isSpace inp of -- requires: import Char
                      ('#':rest) -> [(NoNode, rest)]
                      _          -> []


--instance Show Node where
--  show _ = "#"



-- show Node needs to be here because ParseErr alternatives contain a Node and derive Show


----- GENERATED PART STARTS HERE. DO NOT EDIT ON OR BEYOND THIS LINE -----

{- ------------------------------------

 generated part

-------------------------------------- -}


-- Generated Types --



data EnrichedDoc = RootEnr IDD IDP List_Decl List_Decl HeliumTypeInfo Document 
                 | HoleEnrichedDoc
                 | ParseErrEnrichedDoc Node (Presentation Document Node ClipDoc)
                    deriving Show


data Decl = Decl IDD IDP IDP IDP IDP Bool_ Bool_ Ident Exp 
          | BoardDecl IDD IDP IDP Board 
          | PPPresentationDecl IDD IDP IDP PPPresentation 
          | InvDecl IDD IDP IDP Inv 
          | HoleDecl
          | ParseErrDecl Node (Presentation Document Node ClipDoc)
             deriving Show


data Ident = Ident IDD IDP IDP String_ 
           | HoleIdent
           | ParseErrIdent Node (Presentation Document Node ClipDoc)
              deriving Show


data Exp = PlusExp IDD IDP Exp Exp 
         | TimesExp IDD IDP Exp Exp 
         | DivExp IDD IDP Exp Exp 
         | PowerExp IDD IDP Exp Exp 
         | BoolExp IDD IDP Bool_ 
         | IntExp IDD IDP Int_ 
         | LamExp IDD IDP IDP Ident Exp 
         | AppExp IDD Exp Exp 
         | CaseExp IDD IDP IDP Exp List_Alt 
         | LetExp IDD IDP IDP List_Decl Exp 
         | IdentExp IDD Ident 
         | IfExp IDD IDP IDP IDP Exp Exp Exp 
         | ParenExp IDD IDP IDP Exp 
         | ListExp IDD IDP IDP [IDP] List_Exp 
         | ProductExp IDD IDP IDP [IDP] List_Exp 
         | HoleExp
         | ParseErrExp Node (Presentation Document Node ClipDoc)
            deriving Show


data Alt = Alt IDD IDP IDP Ident Exp 
         | HoleAlt
         | ParseErrAlt Node (Presentation Document Node ClipDoc)
            deriving Show


data Board = Board IDD BoardRow BoardRow BoardRow BoardRow BoardRow BoardRow BoardRow BoardRow 
           | HoleBoard
           | ParseErrBoard Node (Presentation Document Node ClipDoc)
              deriving Show


data BoardRow = BoardRow IDD BoardSquare BoardSquare BoardSquare BoardSquare BoardSquare BoardSquare BoardSquare BoardSquare 
              | HoleBoardRow
              | ParseErrBoardRow Node (Presentation Document Node ClipDoc)
                 deriving Show


data BoardSquare = Queen IDD Bool_ 
                 | King IDD Bool_ 
                 | Bishop IDD Bool_ 
                 | Knight IDD Bool_ 
                 | Rook IDD Bool_ 
                 | Pawn IDD Bool_ 
                 | Empty 
                 | HoleBoardSquare
                 | ParseErrBoardSquare Node (Presentation Document Node ClipDoc)
                    deriving Show


data PPPresentation = PPPresentation IDD Bool_ List_Slide 
                    | HolePPPresentation
                    | ParseErrPPPresentation Node (Presentation Document Node ClipDoc)
                       deriving Show


data Slide = Slide IDD String_ ItemList 
           | HoleSlide
           | ParseErrSlide Node (Presentation Document Node ClipDoc)
              deriving Show


data ItemList = ItemList IDD ListType List_Item 
              | HoleItemList
              | ParseErrItemList Node (Presentation Document Node ClipDoc)
                 deriving Show


data ListType = Bullet IDD 
              | Number IDD 
              | Alpha IDD 
              | HoleListType
              | ParseErrListType Node (Presentation Document Node ClipDoc)
                 deriving Show


data Item = StringItem IDD String_ 
          | HeliumItem IDD Exp 
          | ListItem IDD ItemList 
          | HoleItem
          | ParseErrItem Node (Presentation Document Node ClipDoc)
             deriving Show


data Inv = Inv IDD EitherDocView View String_ EvalButton 
         | HoleInv
         | ParseErrInv Node (Presentation Document Node ClipDoc)
            deriving Show


data EvalButton = ReEvaluate1 IDD 
                | ReEvaluate2 IDD 
                | Skip IDD 
                | HoleEvalButton
                | ParseErrEvalButton Node (Presentation Document Node ClipDoc)
                   deriving Show


data EitherDocView = LeftDocView IDD String_ 
                   | RightDocView IDD View 
                   | HoleEitherDocView
                   | ParseErrEitherDocView Node (Presentation Document Node ClipDoc)
                      deriving Show


data View = ANil IDD 
          | AN IDD Int_ 
          | AS IDD String_ 
          | Pr IDD View View 
          | Ls IDD View View 
          | Tr IDD View View 
          | L IDD View 
          | R IDD View 
          | Mark IDD View 
          | DelL IDD View View 
          | InsL IDD View View 
          | SndP IDD Bool_ View View 
          | FstP IDD Bool_ View View 
          | IfNil IDD Bool_ View 
          | Undef IDD 
          | Unit IDD 
          | HoleView
          | ParseErrView Node (Presentation Document Node ClipDoc)
             deriving Show


data String_ = String_ IDD String 
             | HoleString_
             | ParseErrString_ Node (Presentation Document Node ClipDoc)
                deriving Show


data Bool_ = Bool_ IDD Bool 
           | HoleBool_
           | ParseErrBool_ Node (Presentation Document Node ClipDoc)
              deriving Show


data Int_ = Int_ IDD Int 
          | HoleInt_
          | ParseErrInt_ Node (Presentation Document Node ClipDoc)
             deriving Show


data List_Decl = List_Decl IDD ConsList_Decl 
               | HoleList_Decl
               | ParseErrList_Decl Node (Presentation Document Node ClipDoc)
                  deriving Show


data ConsList_Decl = Cons_Decl Decl ConsList_Decl 
                   | Nil_Decl 
                      deriving Show


data List_Alt = List_Alt IDD ConsList_Alt 
              | HoleList_Alt
              | ParseErrList_Alt Node (Presentation Document Node ClipDoc)
                 deriving Show


data ConsList_Alt = Cons_Alt Alt ConsList_Alt 
                  | Nil_Alt 
                     deriving Show


data List_Exp = List_Exp IDD ConsList_Exp 
              | HoleList_Exp
              | ParseErrList_Exp Node (Presentation Document Node ClipDoc)
                 deriving Show


data ConsList_Exp = Cons_Exp Exp ConsList_Exp 
                  | Nil_Exp 
                     deriving Show


data List_Slide = List_Slide IDD ConsList_Slide 
                | HoleList_Slide
                | ParseErrList_Slide Node (Presentation Document Node ClipDoc)
                   deriving Show


data ConsList_Slide = Cons_Slide Slide ConsList_Slide 
                    | Nil_Slide 
                       deriving Show


data List_Item = List_Item IDD ConsList_Item 
               | HoleList_Item
               | ParseErrList_Item Node (Presentation Document Node ClipDoc)
                  deriving Show


data ConsList_Item = Cons_Item Item ConsList_Item 
                   | Nil_Item 
                      deriving Show


-- Generated Types --

data ClipDoc = Clip_List_Decl List_Decl
             | Clip_HeliumTypeInfo HeliumTypeInfo
             | Clip_Document Document
             | Clip_Bool_ Bool_
             | Clip_Ident Ident
             | Clip_Exp Exp
             | Clip_Board Board
             | Clip_PPPresentation PPPresentation
             | Clip_Inv Inv
             | Clip_String_ String_
             | Clip_Int_ Int_
             | Clip_List_Alt List_Alt
             | Clip_List_Exp List_Exp
             | Clip_BoardRow BoardRow
             | Clip_BoardSquare BoardSquare
             | Clip_List_Slide List_Slide
             | Clip_ItemList ItemList
             | Clip_ListType ListType
             | Clip_List_Item List_Item
             | Clip_EitherDocView EitherDocView
             | Clip_View View
             | Clip_EvalButton EvalButton
             | Clip_String String
             | Clip_Bool Bool
             | Clip_Int Int
             | Clip_Decl Decl
             
             | Clip_Alt Alt
             
             
             | Clip_Slide Slide
             
             | Clip_Item Item
             
             | Clip_Nothing deriving Show




data Node = NoNode 
          | RootDocNode Document Path
          | HoleDocumentNode Document Path
          | RootEnrNode EnrichedDoc Path 
          | HoleEnrichedDocNode EnrichedDoc Path 
          | DeclNode Decl Path 
          | BoardDeclNode Decl Path 
          | PPPresentationDeclNode Decl Path 
          | InvDeclNode Decl Path 
          | HoleDeclNode Decl Path 
          | IdentNode Ident Path 
          | HoleIdentNode Ident Path 
          | PlusExpNode Exp Path 
          | TimesExpNode Exp Path 
          | DivExpNode Exp Path 
          | PowerExpNode Exp Path 
          | BoolExpNode Exp Path 
          | IntExpNode Exp Path 
          | LamExpNode Exp Path 
          | AppExpNode Exp Path 
          | CaseExpNode Exp Path 
          | LetExpNode Exp Path 
          | IdentExpNode Exp Path 
          | IfExpNode Exp Path 
          | ParenExpNode Exp Path 
          | ListExpNode Exp Path 
          | ProductExpNode Exp Path 
          | HoleExpNode Exp Path 
          | AltNode Alt Path 
          | HoleAltNode Alt Path 
          | BoardNode Board Path 
          | HoleBoardNode Board Path 
          | BoardRowNode BoardRow Path 
          | HoleBoardRowNode BoardRow Path 
          | QueenNode BoardSquare Path 
          | KingNode BoardSquare Path 
          | BishopNode BoardSquare Path 
          | KnightNode BoardSquare Path 
          | RookNode BoardSquare Path 
          | PawnNode BoardSquare Path 
          | EmptyNode BoardSquare Path 
          | HoleBoardSquareNode BoardSquare Path 
          | PPPresentationNode PPPresentation Path 
          | HolePPPresentationNode PPPresentation Path 
          | SlideNode Slide Path 
          | HoleSlideNode Slide Path 
          | ItemListNode ItemList Path 
          | HoleItemListNode ItemList Path 
          | BulletNode ListType Path 
          | NumberNode ListType Path 
          | AlphaNode ListType Path 
          | HoleListTypeNode ListType Path 
          | StringItemNode Item Path 
          | HeliumItemNode Item Path 
          | ListItemNode Item Path 
          | HoleItemNode Item Path 
          | InvNode Inv Path 
          | HoleInvNode Inv Path 
          | ReEvaluate1Node EvalButton Path 
          | ReEvaluate2Node EvalButton Path 
          | SkipNode EvalButton Path 
          | HoleEvalButtonNode EvalButton Path 
          | LeftDocViewNode EitherDocView Path 
          | RightDocViewNode EitherDocView Path 
          | HoleEitherDocViewNode EitherDocView Path 
          | ANilNode View Path 
          | ANNode View Path 
          | ASNode View Path 
          | PrNode View Path 
          | LsNode View Path 
          | TrNode View Path 
          | LNode View Path 
          | RNode View Path 
          | MarkNode View Path 
          | DelLNode View Path 
          | InsLNode View Path 
          | SndPNode View Path 
          | FstPNode View Path 
          | IfNilNode View Path 
          | UndefNode View Path 
          | UnitNode View Path 
          | HoleViewNode View Path 
          | String_Node String_ Path 
          | HoleString_Node String_ Path 
          | Bool_Node Bool_ Path 
          | HoleBool_Node Bool_ Path 
          | Int_Node Int_ Path 
          | HoleInt_Node Int_ Path 
          | List_DeclNode List_Decl Path 
          | HoleList_DeclNode List_Decl Path 
          | List_AltNode List_Alt Path 
          | HoleList_AltNode List_Alt Path 
          | List_ExpNode List_Exp Path 
          | HoleList_ExpNode List_Exp Path 
          | List_SlideNode List_Slide Path 
          | HoleList_SlideNode List_Slide Path 
          | List_ItemNode List_Item Path 
          | HoleList_ItemNode List_Item Path 



instance Show Node where
  show NoNode            = "NoNode"
  show (RootDocNode _ _) = "RootDocNode"
  show (HoleDocumentNode _ _) = "HoleDocumentNode"
  show (RootEnrNode _ _)  = "RootEnrNode"
  show (HoleEnrichedDocNode _ _)  = "HoleEnrichedDocNode"
  show (DeclNode _ _)  = "DeclNode"
  show (BoardDeclNode _ _)  = "BoardDeclNode"
  show (PPPresentationDeclNode _ _)  = "PPPresentationDeclNode"
  show (InvDeclNode _ _)  = "InvDeclNode"
  show (HoleDeclNode _ _)  = "HoleDeclNode"
  show (IdentNode _ _)  = "IdentNode"
  show (HoleIdentNode _ _)  = "HoleIdentNode"
  show (PlusExpNode _ _)  = "PlusExpNode"
  show (TimesExpNode _ _)  = "TimesExpNode"
  show (DivExpNode _ _)  = "DivExpNode"
  show (PowerExpNode _ _)  = "PowerExpNode"
  show (BoolExpNode _ _)  = "BoolExpNode"
  show (IntExpNode _ _)  = "IntExpNode"
  show (LamExpNode _ _)  = "LamExpNode"
  show (AppExpNode _ _)  = "AppExpNode"
  show (CaseExpNode _ _)  = "CaseExpNode"
  show (LetExpNode _ _)  = "LetExpNode"
  show (IdentExpNode _ _)  = "IdentExpNode"
  show (IfExpNode _ _)  = "IfExpNode"
  show (ParenExpNode _ _)  = "ParenExpNode"
  show (ListExpNode _ _)  = "ListExpNode"
  show (ProductExpNode _ _)  = "ProductExpNode"
  show (HoleExpNode _ _)  = "HoleExpNode"
  show (AltNode _ _)  = "AltNode"
  show (HoleAltNode _ _)  = "HoleAltNode"
  show (BoardNode _ _)  = "BoardNode"
  show (HoleBoardNode _ _)  = "HoleBoardNode"
  show (BoardRowNode _ _)  = "BoardRowNode"
  show (HoleBoardRowNode _ _)  = "HoleBoardRowNode"
  show (QueenNode _ _)  = "QueenNode"
  show (KingNode _ _)  = "KingNode"
  show (BishopNode _ _)  = "BishopNode"
  show (KnightNode _ _)  = "KnightNode"
  show (RookNode _ _)  = "RookNode"
  show (PawnNode _ _)  = "PawnNode"
  show (EmptyNode _ _)  = "EmptyNode"
  show (HoleBoardSquareNode _ _)  = "HoleBoardSquareNode"
  show (PPPresentationNode _ _)  = "PPPresentationNode"
  show (HolePPPresentationNode _ _)  = "HolePPPresentationNode"
  show (SlideNode _ _)  = "SlideNode"
  show (HoleSlideNode _ _)  = "HoleSlideNode"
  show (ItemListNode _ _)  = "ItemListNode"
  show (HoleItemListNode _ _)  = "HoleItemListNode"
  show (BulletNode _ _)  = "BulletNode"
  show (NumberNode _ _)  = "NumberNode"
  show (AlphaNode _ _)  = "AlphaNode"
  show (HoleListTypeNode _ _)  = "HoleListTypeNode"
  show (StringItemNode _ _)  = "StringItemNode"
  show (HeliumItemNode _ _)  = "HeliumItemNode"
  show (ListItemNode _ _)  = "ListItemNode"
  show (HoleItemNode _ _)  = "HoleItemNode"
  show (InvNode _ _)  = "InvNode"
  show (HoleInvNode _ _)  = "HoleInvNode"
  show (ReEvaluate1Node _ _)  = "ReEvaluate1Node"
  show (ReEvaluate2Node _ _)  = "ReEvaluate2Node"
  show (SkipNode _ _)  = "SkipNode"
  show (HoleEvalButtonNode _ _)  = "HoleEvalButtonNode"
  show (LeftDocViewNode _ _)  = "LeftDocViewNode"
  show (RightDocViewNode _ _)  = "RightDocViewNode"
  show (HoleEitherDocViewNode _ _)  = "HoleEitherDocViewNode"
  show (ANilNode _ _)  = "ANilNode"
  show (ANNode _ _)  = "ANNode"
  show (ASNode _ _)  = "ASNode"
  show (PrNode _ _)  = "PrNode"
  show (LsNode _ _)  = "LsNode"
  show (TrNode _ _)  = "TrNode"
  show (LNode _ _)  = "LNode"
  show (RNode _ _)  = "RNode"
  show (MarkNode _ _)  = "MarkNode"
  show (DelLNode _ _)  = "DelLNode"
  show (InsLNode _ _)  = "InsLNode"
  show (SndPNode _ _)  = "SndPNode"
  show (FstPNode _ _)  = "FstPNode"
  show (IfNilNode _ _)  = "IfNilNode"
  show (UndefNode _ _)  = "UndefNode"
  show (UnitNode _ _)  = "UnitNode"
  show (HoleViewNode _ _)  = "HoleViewNode"
  show (String_Node _ _)  = "String_Node"
  show (HoleString_Node _ _)  = "HoleString_Node"
  show (Bool_Node _ _)  = "Bool_Node"
  show (HoleBool_Node _ _)  = "HoleBool_Node"
  show (Int_Node _ _)  = "Int_Node"
  show (HoleInt_Node _ _)  = "HoleInt_Node"
  show (List_DeclNode _ _)  = "List_DeclNode"
  show (HoleList_DeclNode _ _)  = "HoleList_DeclNode"
  show (List_AltNode _ _)  = "List_AltNode"
  show (HoleList_AltNode _ _)  = "HoleList_AltNode"
  show (List_ExpNode _ _)  = "List_ExpNode"
  show (HoleList_ExpNode _ _)  = "HoleList_ExpNode"
  show (List_SlideNode _ _)  = "List_SlideNode"
  show (HoleList_SlideNode _ _)  = "HoleList_SlideNode"
  show (List_ItemNode _ _)  = "List_ItemNode"
  show (HoleList_ItemNode _ _)  = "HoleList_ItemNode"