module DocTypes_Generated where

import Common.CommonTypes hiding (Dirty (..))
import Evaluation.DocTypes

import Presentation.PresTypes
import List
import Char
import Data.Generics

data UserToken = WordTk | KeyTk String | FloatTk | IntTk | SymTk String deriving (Show, Eq, Ord, Typeable)

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

--------------------------------------------------------------------------
-- Proxima data type                                                    --
--------------------------------------------------------------------------

data EnrichedDoc = RootEnr ChoiceDoc
                 | HoleEnrichedDoc
                 | ParseErrEnrichedDoc (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                     deriving (Show, Data, Typeable)

data Document = RootDoc ChoiceDoc
              | HoleDocument
              | ParseErrDocument (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                  deriving (Show, Data, Typeable)

data ChoiceDoc = FormDoc Form
               | TaskDoc Tasks
               | SudokuDoc Sudoku
               | TestDoc Test
               | HoleChoiceDoc
               | ParseErrChoiceDoc (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                   deriving (Show, Data, Typeable)

data Form = Form Description Description List_Expense Int List_Currency
          | HoleForm
          | ParseErrForm (ParseError Document EnrichedDoc Node ClipDoc UserToken)
              deriving (Show, Data, Typeable)

data Expense = Expense Description Float_ Int
             | HoleExpense
             | ParseErrExpense (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                 deriving (Show, Data, Typeable)

data Currency = Currency Description Float_
              | HoleCurrency
              | ParseErrCurrency (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                  deriving (Show, Data, Typeable)

data Tasks = Tasks List_Thing Bool List_Task
           | HoleTasks
           | ParseErrTasks (ParseError Document EnrichedDoc Node ClipDoc UserToken)
               deriving (Show, Data, Typeable)

data Thing = Thing Int
           | HoleThing
           | ParseErrThing (ParseError Document EnrichedDoc Node ClipDoc UserToken)
               deriving (Show, Data, Typeable)

data Task = BasicTask Description Bool
          | CompositeTask Bool Description List_Task
          | HoleTask
          | ParseErrTask (ParseError Document EnrichedDoc Node ClipDoc UserToken)
              deriving (Show, Data, Typeable)

data Description = Description String
                 | HoleDescription
                 | ParseErrDescription (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                     deriving (Show, Data, Typeable)

data Sudoku = Sudoku Row Row Row Row Row Row Row Row Row
            | HoleSudoku
            | ParseErrSudoku (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                deriving (Show, Data, Typeable)

data Row = Row Field Field Field Field Field Field Field Field Field
         | HoleRow
         | ParseErrRow (ParseError Document EnrichedDoc Node ClipDoc UserToken)
             deriving (Show, Data, Typeable)

data Field = Field Int_
           | HoleField
           | ParseErrField (ParseError Document EnrichedDoc Node ClipDoc UserToken)
               deriving (Show, Data, Typeable)

data Test = Test StyledText
          | HoleTest
          | ParseErrTest (ParseError Document EnrichedDoc Node ClipDoc UserToken)
              deriving (Show, Data, Typeable)

data StyledText = StyledText List_Word
                | HoleStyledText
                | ParseErrStyledText (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                    deriving (Show, Data, Typeable)

data Word = Word List_WordPart
          | HoleWord
          | ParseErrWord (ParseError Document EnrichedDoc Node ClipDoc UserToken)
              deriving (Show, Data, Typeable)

data WordPart = WordPart IDP String
              | OpenTag TextStyle
              | CloseTag TextStyle
              | HoleWordPart
              | ParseErrWordPart (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                  deriving (Show, Data, Typeable)

data TextStyle = TextBold
               | TextItalic
               | TextFontSize Int
               | TextColor Int Int Int
               | HoleTextStyle
               | ParseErrTextStyle (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                   deriving (Show, Data, Typeable)

data Int_ = Int_ Int
          | HoleInt_
          | ParseErrInt_ (ParseError Document EnrichedDoc Node ClipDoc UserToken)
              deriving (Show, Data, Typeable)

data Float_ = Float_ Float
            | HoleFloat_
            | ParseErrFloat_ (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                deriving (Show, Data, Typeable)

data List_Expense = List_Expense ConsList_Expense
                  | HoleList_Expense
                  | ParseErrList_Expense (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                      deriving (Show, Data, Typeable)

data List_Currency = List_Currency ConsList_Currency
                   | HoleList_Currency
                   | ParseErrList_Currency (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                       deriving (Show, Data, Typeable)

data List_Thing = List_Thing ConsList_Thing
                | HoleList_Thing
                | ParseErrList_Thing (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                    deriving (Show, Data, Typeable)

data List_Task = List_Task ConsList_Task
               | HoleList_Task
               | ParseErrList_Task (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                   deriving (Show, Data, Typeable)

data List_Word = List_Word ConsList_Word
               | HoleList_Word
               | ParseErrList_Word (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                   deriving (Show, Data, Typeable)

data List_WordPart = List_WordPart ConsList_WordPart
                   | HoleList_WordPart
                   | ParseErrList_WordPart (ParseError Document EnrichedDoc Node ClipDoc UserToken)
                       deriving (Show, Data, Typeable)

data ConsList_Expense = Cons_Expense Expense ConsList_Expense
                      | Nil_Expense
                          deriving (Show, Data, Typeable)

data ConsList_Currency = Cons_Currency Currency ConsList_Currency
                       | Nil_Currency
                           deriving (Show, Data, Typeable)

data ConsList_Thing = Cons_Thing Thing ConsList_Thing
                    | Nil_Thing
                        deriving (Show, Data, Typeable)

data ConsList_Task = Cons_Task Task ConsList_Task
                   | Nil_Task
                       deriving (Show, Data, Typeable)

data ConsList_Word = Cons_Word Word ConsList_Word
                   | Nil_Word
                       deriving (Show, Data, Typeable)

data ConsList_WordPart = Cons_WordPart WordPart ConsList_WordPart
                       | Nil_WordPart
                           deriving (Show, Data, Typeable)




--------------------------------------------------------------------------
-- ClipDoc                                                              --
--------------------------------------------------------------------------

data ClipDoc = Clip_EnrichedDoc EnrichedDoc
             | Clip_Document Document
             | Clip_ChoiceDoc ChoiceDoc
             | Clip_Form Form
             | Clip_Expense Expense
             | Clip_Currency Currency
             | Clip_Tasks Tasks
             | Clip_Thing Thing
             | Clip_Task Task
             | Clip_Description Description
             | Clip_Sudoku Sudoku
             | Clip_Row Row
             | Clip_Field Field
             | Clip_Test Test
             | Clip_StyledText StyledText
             | Clip_Word Word
             | Clip_WordPart WordPart
             | Clip_TextStyle TextStyle
             | Clip_Int_ Int_
             | Clip_Float_ Float_
             | Clip_List_Expense List_Expense
             | Clip_List_Currency List_Currency
             | Clip_List_Thing List_Thing
             | Clip_List_Task List_Task
             | Clip_List_Word List_Word
             | Clip_List_WordPart List_WordPart
             | Clip_Bool Bool
             | Clip_Int Int
             | Clip_String String
             | Clip_Float Float
             | Clip_Nothing deriving (Show, Typeable)



--------------------------------------------------------------------------
-- Node                                                                 --
--------------------------------------------------------------------------

data Node = NoNode
          | Node_RootEnr EnrichedDoc Path
          | Node_HoleEnrichedDoc EnrichedDoc Path
          | Node_ParseErrEnrichedDoc EnrichedDoc Path
          | Node_RootDoc Document Path
          | Node_HoleDocument Document Path
          | Node_ParseErrDocument Document Path
          | Node_FormDoc ChoiceDoc Path
          | Node_TaskDoc ChoiceDoc Path
          | Node_SudokuDoc ChoiceDoc Path
          | Node_TestDoc ChoiceDoc Path
          | Node_HoleChoiceDoc ChoiceDoc Path
          | Node_ParseErrChoiceDoc ChoiceDoc Path
          | Node_Form Form Path
          | Node_HoleForm Form Path
          | Node_ParseErrForm Form Path
          | Node_Expense Expense Path
          | Node_HoleExpense Expense Path
          | Node_ParseErrExpense Expense Path
          | Node_Currency Currency Path
          | Node_HoleCurrency Currency Path
          | Node_ParseErrCurrency Currency Path
          | Node_Tasks Tasks Path
          | Node_HoleTasks Tasks Path
          | Node_ParseErrTasks Tasks Path
          | Node_Thing Thing Path
          | Node_HoleThing Thing Path
          | Node_ParseErrThing Thing Path
          | Node_BasicTask Task Path
          | Node_CompositeTask Task Path
          | Node_HoleTask Task Path
          | Node_ParseErrTask Task Path
          | Node_Description Description Path
          | Node_HoleDescription Description Path
          | Node_ParseErrDescription Description Path
          | Node_Sudoku Sudoku Path
          | Node_HoleSudoku Sudoku Path
          | Node_ParseErrSudoku Sudoku Path
          | Node_Row Row Path
          | Node_HoleRow Row Path
          | Node_ParseErrRow Row Path
          | Node_Field Field Path
          | Node_HoleField Field Path
          | Node_ParseErrField Field Path
          | Node_Test Test Path
          | Node_HoleTest Test Path
          | Node_ParseErrTest Test Path
          | Node_StyledText StyledText Path
          | Node_HoleStyledText StyledText Path
          | Node_ParseErrStyledText StyledText Path
          | Node_Word Word Path
          | Node_HoleWord Word Path
          | Node_ParseErrWord Word Path
          | Node_WordPart WordPart Path
          | Node_OpenTag WordPart Path
          | Node_CloseTag WordPart Path
          | Node_HoleWordPart WordPart Path
          | Node_ParseErrWordPart WordPart Path
          | Node_TextBold TextStyle Path
          | Node_TextItalic TextStyle Path
          | Node_TextFontSize TextStyle Path
          | Node_TextColor TextStyle Path
          | Node_HoleTextStyle TextStyle Path
          | Node_ParseErrTextStyle TextStyle Path
          | Node_Int_ Int_ Path
          | Node_HoleInt_ Int_ Path
          | Node_ParseErrInt_ Int_ Path
          | Node_Float_ Float_ Path
          | Node_HoleFloat_ Float_ Path
          | Node_ParseErrFloat_ Float_ Path
          | Node_List_Expense List_Expense Path
          | Node_HoleList_Expense List_Expense Path
          | Node_ParseErrList_Expense List_Expense Path
          | Node_List_Currency List_Currency Path
          | Node_HoleList_Currency List_Currency Path
          | Node_ParseErrList_Currency List_Currency Path
          | Node_List_Thing List_Thing Path
          | Node_HoleList_Thing List_Thing Path
          | Node_ParseErrList_Thing List_Thing Path
          | Node_List_Task List_Task Path
          | Node_HoleList_Task List_Task Path
          | Node_ParseErrList_Task List_Task Path
          | Node_List_Word List_Word Path
          | Node_HoleList_Word List_Word Path
          | Node_ParseErrList_Word List_Word Path
          | Node_List_WordPart List_WordPart Path
          | Node_HoleList_WordPart List_WordPart Path
          | Node_ParseErrList_WordPart List_WordPart Path
            deriving Typeable



--------------------------------------------------------------------------
-- Show instance for Node                                               --
--------------------------------------------------------------------------

instance Show Node where
  show NoNode = "NoNode"
  show (Node_RootEnr _ _) = "Node_RootEnr" 
  show (Node_HoleEnrichedDoc _ _) = "Node_HoleEnrichedDoc" 
  show (Node_ParseErrEnrichedDoc _ _) = "Node_ParseErrEnrichedDoc" 
  show (Node_RootDoc _ _) = "Node_RootDoc" 
  show (Node_HoleDocument _ _) = "Node_HoleDocument" 
  show (Node_ParseErrDocument _ _) = "Node_ParseErrDocument" 
  show (Node_FormDoc _ _) = "Node_FormDoc" 
  show (Node_TaskDoc _ _) = "Node_TaskDoc" 
  show (Node_SudokuDoc _ _) = "Node_SudokuDoc" 
  show (Node_TestDoc _ _) = "Node_TestDoc" 
  show (Node_HoleChoiceDoc _ _) = "Node_HoleChoiceDoc" 
  show (Node_ParseErrChoiceDoc _ _) = "Node_ParseErrChoiceDoc" 
  show (Node_Form _ _) = "Node_Form" 
  show (Node_HoleForm _ _) = "Node_HoleForm" 
  show (Node_ParseErrForm _ _) = "Node_ParseErrForm" 
  show (Node_Expense _ _) = "Node_Expense" 
  show (Node_HoleExpense _ _) = "Node_HoleExpense" 
  show (Node_ParseErrExpense _ _) = "Node_ParseErrExpense" 
  show (Node_Currency _ _) = "Node_Currency" 
  show (Node_HoleCurrency _ _) = "Node_HoleCurrency" 
  show (Node_ParseErrCurrency _ _) = "Node_ParseErrCurrency" 
  show (Node_Tasks _ _) = "Node_Tasks" 
  show (Node_HoleTasks _ _) = "Node_HoleTasks" 
  show (Node_ParseErrTasks _ _) = "Node_ParseErrTasks" 
  show (Node_Thing _ _) = "Node_Thing" 
  show (Node_HoleThing _ _) = "Node_HoleThing" 
  show (Node_ParseErrThing _ _) = "Node_ParseErrThing" 
  show (Node_BasicTask _ _) = "Node_BasicTask" 
  show (Node_CompositeTask _ _) = "Node_CompositeTask" 
  show (Node_HoleTask _ _) = "Node_HoleTask" 
  show (Node_ParseErrTask _ _) = "Node_ParseErrTask" 
  show (Node_Description _ _) = "Node_Description" 
  show (Node_HoleDescription _ _) = "Node_HoleDescription" 
  show (Node_ParseErrDescription _ _) = "Node_ParseErrDescription" 
  show (Node_Sudoku _ _) = "Node_Sudoku" 
  show (Node_HoleSudoku _ _) = "Node_HoleSudoku" 
  show (Node_ParseErrSudoku _ _) = "Node_ParseErrSudoku" 
  show (Node_Row _ _) = "Node_Row" 
  show (Node_HoleRow _ _) = "Node_HoleRow" 
  show (Node_ParseErrRow _ _) = "Node_ParseErrRow" 
  show (Node_Field _ _) = "Node_Field" 
  show (Node_HoleField _ _) = "Node_HoleField" 
  show (Node_ParseErrField _ _) = "Node_ParseErrField" 
  show (Node_Test _ _) = "Node_Test" 
  show (Node_HoleTest _ _) = "Node_HoleTest" 
  show (Node_ParseErrTest _ _) = "Node_ParseErrTest" 
  show (Node_StyledText _ _) = "Node_StyledText" 
  show (Node_HoleStyledText _ _) = "Node_HoleStyledText" 
  show (Node_ParseErrStyledText _ _) = "Node_ParseErrStyledText" 
  show (Node_Word _ _) = "Node_Word" 
  show (Node_HoleWord _ _) = "Node_HoleWord" 
  show (Node_ParseErrWord _ _) = "Node_ParseErrWord" 
  show (Node_WordPart _ _) = "Node_WordPart" 
  show (Node_OpenTag _ _) = "Node_OpenTag" 
  show (Node_CloseTag _ _) = "Node_CloseTag" 
  show (Node_HoleWordPart _ _) = "Node_HoleWordPart" 
  show (Node_ParseErrWordPart _ _) = "Node_ParseErrWordPart" 
  show (Node_TextBold _ _) = "Node_TextBold" 
  show (Node_TextItalic _ _) = "Node_TextItalic" 
  show (Node_TextFontSize _ _) = "Node_TextFontSize" 
  show (Node_TextColor _ _) = "Node_TextColor" 
  show (Node_HoleTextStyle _ _) = "Node_HoleTextStyle" 
  show (Node_ParseErrTextStyle _ _) = "Node_ParseErrTextStyle" 
  show (Node_Int_ _ _) = "Node_Int_" 
  show (Node_HoleInt_ _ _) = "Node_HoleInt_" 
  show (Node_ParseErrInt_ _ _) = "Node_ParseErrInt_" 
  show (Node_Float_ _ _) = "Node_Float_" 
  show (Node_HoleFloat_ _ _) = "Node_HoleFloat_" 
  show (Node_ParseErrFloat_ _ _) = "Node_ParseErrFloat_" 
  show (Node_List_Expense _ _) = "Node_List_Expense" 
  show (Node_HoleList_Expense _ _) = "Node_HoleList_Expense" 
  show (Node_ParseErrList_Expense _ _) = "Node_ParseErrList_Expense" 
  show (Node_List_Currency _ _) = "Node_List_Currency" 
  show (Node_HoleList_Currency _ _) = "Node_HoleList_Currency" 
  show (Node_ParseErrList_Currency _ _) = "Node_ParseErrList_Currency" 
  show (Node_List_Thing _ _) = "Node_List_Thing" 
  show (Node_HoleList_Thing _ _) = "Node_HoleList_Thing" 
  show (Node_ParseErrList_Thing _ _) = "Node_ParseErrList_Thing" 
  show (Node_List_Task _ _) = "Node_List_Task" 
  show (Node_HoleList_Task _ _) = "Node_HoleList_Task" 
  show (Node_ParseErrList_Task _ _) = "Node_ParseErrList_Task" 
  show (Node_List_Word _ _) = "Node_List_Word" 
  show (Node_HoleList_Word _ _) = "Node_HoleList_Word" 
  show (Node_ParseErrList_Word _ _) = "Node_ParseErrList_Word" 
  show (Node_List_WordPart _ _) = "Node_List_WordPart" 
  show (Node_HoleList_WordPart _ _) = "Node_HoleList_WordPart" 
  show (Node_ParseErrList_WordPart _ _) = "Node_ParseErrList_WordPart"