-- |
--
-- Module:      Language.Egison.Pretty.Pattern.PrintMode
-- Description: Printer configuration
-- Stability:   experimental
--
-- A printer configuration type, that contains a set of external printers

module Language.Egison.Pretty.Pattern.PrintMode
  ( ExtPrinter
  , PrintFixity(..)
  , PrintMode(..)
  , PageMode(..)
  , Fixity(..)
  )
where

import           Data.Text                      ( Text )

import           Language.Egison.Syntax.Pattern.Fixity
                                                ( Fixity(..) )


-- | @'ExtPrinter' a@ is a type for externally provided printer of @a@.
type ExtPrinter a = a -> Text

-- | Fixity of infix operators.
data PrintFixity n =
  PrintFixity { forall n. PrintFixity n -> Fixity n
fixity  :: Fixity n
              , forall n. PrintFixity n -> Text
printed :: Text
              }

-- | Rendering style configuration.
data PageMode =
  PageMode { PageMode -> Int
lineLength :: Int
           , PageMode -> Double
ribbonsPerLine :: Double
           }

-- | Printer configuration.
data PrintMode n v e
  = PrintMode { forall n v e. PrintMode n v e -> [PrintFixity n]
fixities         :: [PrintFixity n]
              , forall n v e. PrintMode n v e -> ExtPrinter v
varNamePrinter   :: ExtPrinter v
              , forall n v e. PrintMode n v e -> ExtPrinter n
namePrinter      :: ExtPrinter n
              , forall n v e. PrintMode n v e -> ExtPrinter e
valueExprPrinter :: ExtPrinter e
              , forall n v e. PrintMode n v e -> Maybe PageMode
pageMode         :: Maybe PageMode
              }