{-# LANGUAGE CPP #-}
module Graphics.PDF.Document(
PDFXForm
, addPage
, addPageWithTransition
, drawWithPage
, createPDFXForm
, PDFTransition(..)
, PDFTransStyle(..)
, PDFTransDirection(..)
, PDFTransDimension(..)
, PDFTransDirection2(..)
, PDFDocumentInfo(..)
, PDFDocumentPageMode(..)
, PDFDocumentPageLayout(..)
, PDFViewerPreferences(..)
, standardDocInfo
, standardViewerPrefs
, Draw
, PDFXObject(drawXObject)
, PDFGlobals(..)
, withNewContext
, emptyDrawing
) where
#if !MIN_VERSION_base(4,8,0)
import Data.Monoid
#endif
import Graphics.PDF.LowLevel.Types
import Graphics.PDF.Draw
import Graphics.PDF.Pages
import Control.Monad.State
import qualified Data.IntMap as IM
import qualified Data.Map.Strict as M
import qualified Data.Text as T
standardDocInfo :: PDFDocumentInfo
standardDocInfo :: PDFDocumentInfo
standardDocInfo = Text
-> Text
-> PDFDocumentPageMode
-> PDFDocumentPageLayout
-> PDFViewerPreferences
-> Bool
-> PDFDocumentInfo
PDFDocumentInfo Text
T.empty Text
T.empty PDFDocumentPageMode
UseNone PDFDocumentPageLayout
SinglePage PDFViewerPreferences
standardViewerPrefs Bool
True
createPDFXForm :: PDFFloat
-> PDFFloat
-> PDFFloat
-> PDFFloat
-> Draw a
-> PDF (PDFReference PDFXForm)
createPDFXForm :: PDFFloat
-> PDFFloat
-> PDFFloat
-> PDFFloat
-> Draw a
-> PDF (PDFReference PDFXForm)
createPDFXForm PDFFloat
xa PDFFloat
ya PDFFloat
xb PDFFloat
yb Draw a
d = let a' :: Draw a
a' = do (DrawState -> DrawState) -> Draw ()
forall s (m :: * -> *). MonadState s m => (s -> s) -> m ()
modifyStrict ((DrawState -> DrawState) -> Draw ())
-> (DrawState -> DrawState) -> Draw ()
forall a b. (a -> b) -> a -> b
$ \DrawState
s -> DrawState
s {otherRsrcs :: PDFDictionary
otherRsrcs = Map PDFName AnyPdfObject -> PDFDictionary
PDFDictionary(Map PDFName AnyPdfObject -> PDFDictionary)
-> ([(PDFName, AnyPdfObject)] -> Map PDFName AnyPdfObject)
-> [(PDFName, AnyPdfObject)]
-> PDFDictionary
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(PDFName, AnyPdfObject)] -> Map PDFName AnyPdfObject
forall k a. Ord k => [(k, a)] -> Map k a
M.fromList ([(PDFName, AnyPdfObject)] -> PDFDictionary)
-> [(PDFName, AnyPdfObject)] -> PDFDictionary
forall a b. (a -> b) -> a -> b
$
[ (String -> PDFName
PDFName String
"Type",PDFName -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject (PDFName -> AnyPdfObject)
-> (String -> PDFName) -> String -> AnyPdfObject
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> PDFName
PDFName (String -> AnyPdfObject) -> String -> AnyPdfObject
forall a b. (a -> b) -> a -> b
$ String
"XObject")
, (String -> PDFName
PDFName String
"Subtype",PDFName -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject (PDFName -> AnyPdfObject)
-> (String -> PDFName) -> String -> AnyPdfObject
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> PDFName
PDFName (String -> AnyPdfObject) -> String -> AnyPdfObject
forall a b. (a -> b) -> a -> b
$ String
"Form")
, (String -> PDFName
PDFName String
"FormType",PDFInteger -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject (PDFInteger -> AnyPdfObject)
-> (Int -> PDFInteger) -> Int -> AnyPdfObject
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> PDFInteger
PDFInteger (Int -> AnyPdfObject) -> Int -> AnyPdfObject
forall a b. (a -> b) -> a -> b
$ Int
1)
, (String -> PDFName
PDFName String
"Matrix",[AnyPdfObject] -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject ([AnyPdfObject] -> AnyPdfObject)
-> ([Int] -> [AnyPdfObject]) -> [Int] -> AnyPdfObject
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Int -> AnyPdfObject) -> [Int] -> [AnyPdfObject]
forall a b. (a -> b) -> [a] -> [b]
map (PDFInteger -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject (PDFInteger -> AnyPdfObject)
-> (Int -> PDFInteger) -> Int -> AnyPdfObject
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> PDFInteger
PDFInteger)) ([Int] -> AnyPdfObject) -> [Int] -> AnyPdfObject
forall a b. (a -> b) -> a -> b
$ [Int
1,Int
0,Int
0,Int
1,Int
0,Int
0])
, (String -> PDFName
PDFName String
"BBox",[AnyPdfObject] -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject ([AnyPdfObject] -> AnyPdfObject)
-> ([PDFFloat] -> [AnyPdfObject]) -> [PDFFloat] -> AnyPdfObject
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((PDFFloat -> AnyPdfObject) -> [PDFFloat] -> [AnyPdfObject]
forall a b. (a -> b) -> [a] -> [b]
map PDFFloat -> AnyPdfObject
forall a. (PdfObject a, PdfLengthInfo a) => a -> AnyPdfObject
AnyPdfObject) ([PDFFloat] -> AnyPdfObject) -> [PDFFloat] -> AnyPdfObject
forall a b. (a -> b) -> a -> b
$ [PDFFloat
xa,PDFFloat
ya,PDFFloat
xb,PDFFloat
yb])
]
}
Draw a
d
in do
PDFReference Int
s <- Draw a
-> Maybe (PDFReference PDFPage) -> PDF (PDFReference PDFStream)
forall a.
Draw a
-> Maybe (PDFReference PDFPage) -> PDF (PDFReference PDFStream)
createContent Draw a
a' Maybe (PDFReference PDFPage)
forall a. Maybe a
Nothing
Int -> PDFFloat -> PDFFloat -> PDF ()
recordBound Int
s (PDFFloat
xbPDFFloat -> PDFFloat -> PDFFloat
forall a. Num a => a -> a -> a
-PDFFloat
xa) (PDFFloat
ybPDFFloat -> PDFFloat -> PDFFloat
forall a. Num a => a -> a -> a
-PDFFloat
ya)
PDFReference PDFXForm -> PDF (PDFReference PDFXForm)
forall (m :: * -> *) a. Monad m => a -> m a
return (Int -> PDFReference PDFXForm
forall s. Int -> PDFReference s
PDFReference Int
s)
createANewPage :: Maybe PDFRect
-> PDF (Int,PDFPage)
createANewPage :: Maybe PDFRect -> PDF (Int, PDFPage)
createANewPage Maybe PDFRect
rect' = do
PDFRect
rect <- PDF PDFRect
-> (PDFRect -> PDF PDFRect) -> Maybe PDFRect -> PDF PDFRect
forall b a. b -> (a -> b) -> Maybe a -> b
maybe ((PdfState -> PDFRect) -> PDF PDFRect
forall s (m :: * -> *) a. MonadState s m => (s -> a) -> m a
gets PdfState -> PDFRect
defaultRect) PDFRect -> PDF PDFRect
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe PDFRect
rect'
Int
pageref <- PDF Int
supply
PDFReference PDFStream
pageContent <- Draw ()
-> Maybe (PDFReference PDFPage) -> PDF (PDFReference PDFStream)
forall a.
Draw a
-> Maybe (PDFReference PDFPage) -> PDF (PDFReference PDFStream)
createContent (() -> Draw ()
forall (m :: * -> *) a. Monad m => a -> m a
return ()) (PDFReference PDFPage -> Maybe (PDFReference PDFPage)
forall a. a -> Maybe a
Just (Int -> PDFReference PDFPage
forall s. Int -> PDFReference s
PDFReference Int
pageref :: PDFReference PDFPage))
let page :: PDFPage
page = Maybe (PDFReference PDFPages)
-> PDFRect
-> PDFReference PDFStream
-> Maybe (PDFReference PDFResource)
-> Maybe PDFFloat
-> Maybe PDFTransition
-> [AnyPdfObject]
-> PDFPage
PDFPage Maybe (PDFReference PDFPages)
forall a. Maybe a
Nothing PDFRect
rect PDFReference PDFStream
pageContent Maybe (PDFReference PDFResource)
forall a. Maybe a
Nothing Maybe PDFFloat
forall a. Maybe a
Nothing Maybe PDFTransition
forall a. Maybe a
Nothing []
(Int, PDFPage) -> PDF (Int, PDFPage)
forall (m :: * -> *) a. Monad m => a -> m a
return (Int
pageref , PDFPage
page)
addPage :: Maybe PDFRect
-> PDF (PDFReference PDFPage)
addPage :: Maybe PDFRect -> PDF (PDFReference PDFPage)
addPage Maybe PDFRect
rect' = do
(Int
pf,PDFPage
page) <- Maybe PDFRect -> PDF (Int, PDFPage)
createANewPage Maybe PDFRect
rect'
let pageref :: PDFReference s
pageref = Int -> PDFReference s
forall s. Int -> PDFReference s
PDFReference Int
pf
(PdfState -> PdfState) -> PDF ()
forall s (m :: * -> *). MonadState s m => (s -> s) -> m ()
modifyStrict ((PdfState -> PdfState) -> PDF ())
-> (PdfState -> PdfState) -> PDF ()
forall a b. (a -> b) -> a -> b
$ \PdfState
s -> PdfState
s {pages :: Pages
pages = PDFReference PDFPage -> PDFPage -> Pages -> Pages
recordPage PDFReference PDFPage
forall s. PDFReference s
pageref PDFPage
page (PdfState -> Pages
pages PdfState
s), currentPage :: Maybe (PDFReference PDFPage)
currentPage = PDFReference PDFPage -> Maybe (PDFReference PDFPage)
forall a. a -> Maybe a
Just PDFReference PDFPage
forall s. PDFReference s
pageref}
PDFReference PDFPage -> PDF (PDFReference PDFPage)
forall (m :: * -> *) a. Monad m => a -> m a
return PDFReference PDFPage
forall s. PDFReference s
pageref
addPageWithTransition :: Maybe PDFRect
-> Maybe PDFFloat
-> Maybe PDFTransition
-> PDF (PDFReference PDFPage)
addPageWithTransition :: Maybe PDFRect
-> Maybe PDFFloat
-> Maybe PDFTransition
-> PDF (PDFReference PDFPage)
addPageWithTransition Maybe PDFRect
rect' Maybe PDFFloat
dur Maybe PDFTransition
t = do
(Int
pf,PDFPage Maybe (PDFReference PDFPages)
a PDFRect
b PDFReference PDFStream
c Maybe (PDFReference PDFResource)
d Maybe PDFFloat
_ Maybe PDFTransition
_ [AnyPdfObject]
pageAnnots) <- Maybe PDFRect -> PDF (Int, PDFPage)
createANewPage Maybe PDFRect
rect'
let pageref :: PDFReference s
pageref = Int -> PDFReference s
forall s. Int -> PDFReference s
PDFReference Int
pf
(PdfState -> PdfState) -> PDF ()
forall s (m :: * -> *). MonadState s m => (s -> s) -> m ()
modifyStrict ((PdfState -> PdfState) -> PDF ())
-> (PdfState -> PdfState) -> PDF ()
forall a b. (a -> b) -> a -> b
$ \PdfState
s -> PdfState
s {pages :: Pages
pages = PDFReference PDFPage -> PDFPage -> Pages -> Pages
recordPage PDFReference PDFPage
forall s. PDFReference s
pageref (Maybe (PDFReference PDFPages)
-> PDFRect
-> PDFReference PDFStream
-> Maybe (PDFReference PDFResource)
-> Maybe PDFFloat
-> Maybe PDFTransition
-> [AnyPdfObject]
-> PDFPage
PDFPage Maybe (PDFReference PDFPages)
a PDFRect
b PDFReference PDFStream
c Maybe (PDFReference PDFResource)
d Maybe PDFFloat
dur Maybe PDFTransition
t [AnyPdfObject]
pageAnnots) (PdfState -> Pages
pages PdfState
s), currentPage :: Maybe (PDFReference PDFPage)
currentPage = PDFReference PDFPage -> Maybe (PDFReference PDFPage)
forall a. a -> Maybe a
Just PDFReference PDFPage
forall s. PDFReference s
pageref}
PDFReference PDFPage -> PDF (PDFReference PDFPage)
forall (m :: * -> *) a. Monad m => a -> m a
return PDFReference PDFPage
forall s. PDFReference s
pageref
drawWithPage :: PDFReference PDFPage
-> Draw a
-> PDF a
drawWithPage :: PDFReference PDFPage -> Draw a -> PDF a
drawWithPage PDFReference PDFPage
page Draw a
draw = do
Pages
lPages <- (PdfState -> Pages) -> PDF Pages
forall s (m :: * -> *) a. MonadState s m => (s -> a) -> m a
gets PdfState -> Pages
pages
IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
lStreams <- (PdfState
-> IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder)))
-> PDF
(IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder)))
forall s (m :: * -> *) a. MonadState s m => (s -> a) -> m a
gets PdfState
-> IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
streams
let thePage :: Maybe PDFPage
thePage = PDFReference PDFPage -> Pages -> Maybe PDFPage
findPage PDFReference PDFPage
page Pages
lPages
case Maybe PDFPage
thePage of
Maybe PDFPage
Nothing -> String -> PDF a
forall a. HasCallStack => String -> a
error String
"Can't find the page to draw on it"
Just(PDFPage Maybe (PDFReference PDFPages)
_ PDFRect
_ (PDFReference Int
streamRef) Maybe (PDFReference PDFResource)
_ Maybe PDFFloat
_ Maybe PDFTransition
_ [AnyPdfObject]
_) -> do
let theContent :: Maybe (Maybe (PDFReference PDFPage), (DrawState, Builder))
theContent = Int
-> IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
-> Maybe (Maybe (PDFReference PDFPage), (DrawState, Builder))
forall a. Int -> IntMap a -> Maybe a
IM.lookup Int
streamRef IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
lStreams
case Maybe (Maybe (PDFReference PDFPage), (DrawState, Builder))
theContent of
Maybe (Maybe (PDFReference PDFPage), (DrawState, Builder))
Nothing -> String -> PDF a
forall a. HasCallStack => String -> a
error String
"Can't find a content for the page to draw on it"
Just (Maybe (PDFReference PDFPage)
_,(DrawState
oldState,Builder
oldW)) -> do
IntMap (PDFFloat, PDFFloat)
myBounds <- (PdfState -> IntMap (PDFFloat, PDFFloat))
-> PDF (IntMap (PDFFloat, PDFFloat))
forall s (m :: * -> *) a. MonadState s m => (s -> a) -> m a
gets PdfState -> IntMap (PDFFloat, PDFFloat)
xobjectBound
let (a
a,DrawState
state',Builder
w') = Draw a -> DrawEnvironment -> DrawState -> (a, DrawState, Builder)
forall a.
Draw a -> DrawEnvironment -> DrawState -> (a, DrawState, Builder)
runDrawing Draw a
draw (DrawEnvironment
emptyEnvironment {streamId :: Int
streamId = Int
streamRef, xobjectBoundD :: IntMap (PDFFloat, PDFFloat)
xobjectBoundD = IntMap (PDFFloat, PDFFloat)
myBounds}) DrawState
oldState
(PdfState -> PdfState) -> PDF ()
forall s (m :: * -> *). MonadState s m => (s -> s) -> m ()
modifyStrict ((PdfState -> PdfState) -> PDF ())
-> (PdfState -> PdfState) -> PDF ()
forall a b. (a -> b) -> a -> b
$ \PdfState
s -> PdfState
s {streams :: IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
streams = Int
-> (Maybe (PDFReference PDFPage), (DrawState, Builder))
-> IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
-> IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
forall a. Int -> a -> IntMap a -> IntMap a
IM.insert Int
streamRef (PDFReference PDFPage -> Maybe (PDFReference PDFPage)
forall a. a -> Maybe a
Just PDFReference PDFPage
page,(DrawState
state',Builder -> Builder -> Builder
forall a. Monoid a => a -> a -> a
mappend Builder
oldW Builder
w')) IntMap (Maybe (PDFReference PDFPage), (DrawState, Builder))
lStreams}
a -> PDF a
forall (m :: * -> *) a. Monad m => a -> m a
return a
a