{- |
   Module      : Text.Pandoc.Writers.JATS.Types
   Copyright   : Copyright (C) 2017-2023 John MacFarlane
   License     : GNU GPL, version 2 or above

   Maintainer  : John MacFarlane <jgm@berkeley.edu>
   Stability   : alpha
   Portability : portable

Types for pandoc's JATS writer.
-}
module Text.Pandoc.Writers.JATS.Types
  ( JATS
  , JATSEnv (..)
  , JATSState (..)
  , JATSTagSet (..)
  )
where

import Citeproc.Types (Reference)
import Control.Monad.Reader (ReaderT)
import Control.Monad.State (StateT)
import Data.Text (Text)
import Text.DocLayout (Doc)
import Text.Pandoc.Builder (Block, Inline, Inlines)
import Text.Pandoc.Options (WriterOptions)

-- | JATS tag set variant
data JATSTagSet
  = TagSetArchiving         -- ^ Archiving and Interchange Tag Set
  | TagSetPublishing        -- ^ Journal Publishing Tag Set
  | TagSetArticleAuthoring  -- ^ Article Authoring Tag Set
  deriving (JATSTagSet -> JATSTagSet -> Bool
(JATSTagSet -> JATSTagSet -> Bool)
-> (JATSTagSet -> JATSTagSet -> Bool) -> Eq JATSTagSet
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: JATSTagSet -> JATSTagSet -> Bool
== :: JATSTagSet -> JATSTagSet -> Bool
$c/= :: JATSTagSet -> JATSTagSet -> Bool
/= :: JATSTagSet -> JATSTagSet -> Bool
Eq)

-- | Internal state used by the writer.
newtype JATSState = JATSState
  { JATSState -> [(Int, Doc Text)]
jatsNotes :: [(Int, Doc Text)]
  }

-- | Environment containing all information relevant for rendering.
data JATSEnv m = JATSEnv
  { forall (m :: * -> *). JATSEnv m -> JATSTagSet
jatsTagSet :: JATSTagSet  -- ^ The tag set that's being output

  , forall (m :: * -> *).
JATSEnv m
-> (Block -> Bool) -> WriterOptions -> [Block] -> JATS m (Doc Text)
jatsBlockWriter   :: (Block -> Bool)
                      -> WriterOptions -> [Block]  -> JATS m (Doc Text)
    -- ^ Converts a block list to JATS, wrapping top-level blocks into a
    -- @<p>@ element if the property evaluates to @True@.
    -- See #7227.

  , forall (m :: * -> *).
JATSEnv m -> WriterOptions -> [Inline] -> JATS m (Doc Text)
jatsInlinesWriter :: WriterOptions -> [Inline] -> JATS m (Doc Text)
    -- ^ Converts an inline list to JATS.

  , forall (m :: * -> *). JATSEnv m -> [Reference Inlines]
jatsReferences    :: [Reference Inlines] -- ^ List of references
  }

-- | JATS writer type
type JATS m = StateT JATSState (ReaderT (JATSEnv m) m)