{-# LANGUAGE TemplateHaskell #-}
module Language.Drasil.Printing.PrintingInformation (
PrintingInformation
, Notation(..)
, sysdb, stg, notation
, piSys
) where
import Control.Lens (makeLenses)
import Drasil.Database (ChunkDB)
import Language.Drasil (Stage(..))
data Notation = Scientific
| Engineering
data PrintingInformation =
PI { PrintingInformation -> ChunkDB
_sysdb :: ChunkDB
, PrintingInformation -> Stage
_stg :: Stage
, PrintingInformation -> Notation
_notation :: Notation
}
makeLenses ''PrintingInformation
piSys :: ChunkDB -> Stage -> Notation -> PrintingInformation
piSys :: ChunkDB -> Stage -> Notation -> PrintingInformation
piSys = ChunkDB -> Stage -> Notation -> PrintingInformation
PI