{-
pandoc-crossref is a pandoc filter for numbering figures,
equations, tables and cross-references to them.
Copyright (C) 2015  Nikolay Yakimov <root@livid.pp.ru>

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
-}

{-# LANGUAGE TemplateHaskell #-}
module Text.Pandoc.CrossRef.References.Types where

import qualified Data.Map as M
import Text.Pandoc.Definition
import Control.Monad.State
import Data.Default
import Data.Accessor.Template
import Data.Text (Text)

type Index = [(Int, Maybe Text)]

data RefRec = RefRec { RefRec -> Index
refIndex :: Index
                     , RefRec -> [Inline]
refTitle :: [Inline]
                     , RefRec -> Maybe Index
refSubfigure :: Maybe Index
                     } deriving (Int -> RefRec -> ShowS
[RefRec] -> ShowS
RefRec -> String
(Int -> RefRec -> ShowS)
-> (RefRec -> String) -> ([RefRec] -> ShowS) -> Show RefRec
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [RefRec] -> ShowS
$cshowList :: [RefRec] -> ShowS
show :: RefRec -> String
$cshow :: RefRec -> String
showsPrec :: Int -> RefRec -> ShowS
$cshowsPrec :: Int -> RefRec -> ShowS
Show, RefRec -> RefRec -> Bool
(RefRec -> RefRec -> Bool)
-> (RefRec -> RefRec -> Bool) -> Eq RefRec
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: RefRec -> RefRec -> Bool
$c/= :: RefRec -> RefRec -> Bool
== :: RefRec -> RefRec -> Bool
$c== :: RefRec -> RefRec -> Bool
Eq)

type RefMap = M.Map Text RefRec

-- state data type
data References = References { References -> RefMap
imgRefs_ :: RefMap
                             , References -> RefMap
eqnRefs_ :: RefMap
                             , References -> RefMap
tblRefs_ :: RefMap
                             , References -> RefMap
lstRefs_ :: RefMap
                             , References -> RefMap
secRefs_ :: RefMap
                             , References -> Index
curChap_ :: Index
                             } deriving (Int -> References -> ShowS
[References] -> ShowS
References -> String
(Int -> References -> ShowS)
-> (References -> String)
-> ([References] -> ShowS)
-> Show References
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [References] -> ShowS
$cshowList :: [References] -> ShowS
show :: References -> String
$cshow :: References -> String
showsPrec :: Int -> References -> ShowS
$cshowsPrec :: Int -> References -> ShowS
Show, References -> References -> Bool
(References -> References -> Bool)
-> (References -> References -> Bool) -> Eq References
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: References -> References -> Bool
$c/= :: References -> References -> Bool
== :: References -> References -> Bool
$c== :: References -> References -> Bool
Eq)

--state monad
type WS a = State References a

instance Default References where
  def :: References
def = RefMap
-> RefMap -> RefMap -> RefMap -> RefMap -> Index -> References
References RefMap
forall k a. Map k a
n RefMap
forall k a. Map k a
n RefMap
forall k a. Map k a
n RefMap
forall k a. Map k a
n RefMap
forall k a. Map k a
n []
    where n :: Map k a
n = Map k a
forall k a. Map k a
M.empty

deriveAccessors ''References