Language/DTC/Write/RNC.hs

   1 {-# LANGUAGE BangPatterns #-}
   2 {-# LANGUAGE FlexibleContexts #-}
   3 {-# LANGUAGE FlexibleInstances #-}
   4 {-# LANGUAGE OverloadedStrings #-}
   5 {-# LANGUAGE ScopedTypeVariables #-}
   6 {-# LANGUAGE TypeFamilies #-}
   7 {-# LANGUAGE ViewPatterns #-}
   8 {-# OPTIONS_GHC -fno-warn-orphans #-}
   9 -- | Write RNC for DTC
  10 module Language.DTC.Write.RNC where
  11
  12 import Control.Applicative (Applicative(..))
  13 import Control.Monad (Monad(..))
  14 import Data.Bool
  15 import Data.Either (Either(..))
  16 import Data.Eq (Eq(..))
  17 import Data.Foldable (null, foldl')
  18 import Data.Function (($), (.), const, id)
  19 import Data.Functor ((<$>), (<$))
  20 import Data.Int (Int)
  21 import Data.List.NonEmpty (NonEmpty(..))
  22 import Data.Maybe (Maybe(..), fromMaybe)
  23 import Data.Monoid (Monoid(..))
  24 import Data.Ord (Ord(..))
  25 import Data.Proxy (Proxy(..))
  26 import Data.Semigroup (Semigroup(..))
  27 import Data.Sequence (ViewL(..))
  28 import Data.String (String)
  29 import Data.Text (Text)
  30 import Data.Tuple (snd)
  31 import GHC.Exts (toList)
  32 import Text.Read (readMaybe)
  33 import Text.Show (Show(..))
  34 import qualified Data.List as List
  35 import qualified Data.Sequence as Seq
  36 import qualified Data.Set as Set
  37 import qualified Data.Text as Text
  38 import qualified Text.Megaparsec as P
  39 import qualified Text.Megaparsec.Perm as P
  40
  41 import Language.TCT hiding (Parser)
  42 import Language.TCT.Write.XML (XML,XMLs,XmlLeaf(..))
  43 import Language.DTC.Document (Nat(..), Nat1(..))
  44 import qualified Language.DTC.Document as DTC
  45 import qualified Language.DTC.Sym as DTC
  46 import qualified Language.RNC.Write as RNC
  47 import qualified Language.TCT.Write.XML as XML
  48
  49 instance DTC.Sym_DTC RNC.Writer