HPDF-1.7: Generation of PDF documents
Copyright(c) 2023 Henning Thielemann
LicenseBSD-style
Maintainerhaskell@henning-thielemann.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Graphics.PDF.Expression

Description

PDF expressions and functions

Documentation

newtype PDFExpression a Source #

Constructors

PDFExpression (ExprMonad ()) 

Instances

Instances details
Argument (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

argumentExpression :: forall (m :: Type -> Type). Monad m => StateT Int m (PDFExpression a)

Function (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeFunction :: PDFExpression a -> StateT Int ExprMonad ()

Result (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeResult :: PDFExpression a -> StateT Int ExprMonad ()

Num a => Num (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

(+) :: PDFExpression a -> PDFExpression a -> PDFExpression a #

(-) :: PDFExpression a -> PDFExpression a -> PDFExpression a #

(*) :: PDFExpression a -> PDFExpression a -> PDFExpression a #

negate :: PDFExpression a -> PDFExpression a #

abs :: PDFExpression a -> PDFExpression a #

signum :: PDFExpression a -> PDFExpression a #

fromInteger :: Integer -> PDFExpression a #

Fractional a => Fractional (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

(/) :: PDFExpression a -> PDFExpression a -> PDFExpression a #

recip :: PDFExpression a -> PDFExpression a #

fromRational :: Rational -> PDFExpression a #

class Function f Source #

Minimal complete definition

serializeFunction

Instances

Instances details
Function (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeFunction :: PDFExpression a -> StateT Int ExprMonad ()

(Result a, Result b) => Function (a, b) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeFunction :: (a, b) -> StateT Int ExprMonad ()

(Argument a, Function f) => Function (a -> f) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeFunction :: (a -> f) -> StateT Int ExprMonad ()

(Result a, Result b, Result c) => Function (a, b, c) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeFunction :: (a, b, c) -> StateT Int ExprMonad ()

(Result a, Result b, Result c, Result d) => Function (a, b, c, d) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeFunction :: (a, b, c, d) -> StateT Int ExprMonad ()

class Function a => Result a Source #

Minimal complete definition

serializeResult

Instances

Instances details
Result (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeResult :: PDFExpression a -> StateT Int ExprMonad ()

(Result a, Result b) => Result (a, b) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeResult :: (a, b) -> StateT Int ExprMonad ()

(Result a, Result b, Result c) => Result (a, b, c) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeResult :: (a, b, c) -> StateT Int ExprMonad ()

(Result a, Result b, Result c, Result d) => Result (a, b, c, d) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

serializeResult :: (a, b, c, d) -> StateT Int ExprMonad ()

class Argument a Source #

Minimal complete definition

argumentExpression

Instances

Instances details
Argument (PDFExpression a) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

argumentExpression :: forall (m :: Type -> Type). Monad m => StateT Int m (PDFExpression a)

(Argument a, Argument b) => Argument (a, b) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

argumentExpression :: forall (m :: Type -> Type). Monad m => StateT Int m (a, b)

(Argument a, Argument b, Argument c) => Argument (a, b, c) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

argumentExpression :: forall (m :: Type -> Type). Monad m => StateT Int m (a, b, c)

(Argument a, Argument b, Argument c, Argument d) => Argument (a, b, c, d) Source # 
Instance details

Defined in Graphics.PDF.Expression

Methods

argumentExpression :: forall (m :: Type -> Type). Monad m => StateT Int m (a, b, c, d)

serialize :: Function f => f -> ByteString Source #

(==%) :: Eq a => PDFExpression a -> PDFExpression a -> PDFExpression Bool infix 4 Source #

(/=%) :: Eq a => PDFExpression a -> PDFExpression a -> PDFExpression Bool infix 4 Source #

(<%) :: Ord a => PDFExpression a -> PDFExpression a -> PDFExpression Bool infix 4 Source #

(>=%) :: Ord a => PDFExpression a -> PDFExpression a -> PDFExpression Bool infix 4 Source #

(>%) :: Ord a => PDFExpression a -> PDFExpression a -> PDFExpression Bool infix 4 Source #

(<=%) :: Ord a => PDFExpression a -> PDFExpression a -> PDFExpression Bool infix 4 Source #

min :: Ord a => PDFExpression a -> PDFExpression a -> PDFExpression a Source #

max :: Ord a => PDFExpression a -> PDFExpression a -> PDFExpression a Source #

true :: PDFExpression Bool Source #

false :: PDFExpression Bool Source #

(&&*) :: PDFExpression Bool -> PDFExpression Bool -> PDFExpression Bool infixr 3 Source #

(||*) :: PDFExpression Bool -> PDFExpression Bool -> PDFExpression Bool infixr 2 Source #

not :: PDFExpression Bool -> PDFExpression Bool Source #

ifThenElse :: Ord a => PDFExpression Bool -> PDFExpression a -> PDFExpression a -> PDFExpression a Source #

sqrt :: Floating a => PDFExpression a -> PDFExpression a Source #

sinDeg :: Floating a => PDFExpression a -> PDFExpression a Source #

cosDeg :: Floating a => PDFExpression a -> PDFExpression a Source #

log :: Floating a => PDFExpression a -> PDFExpression a Source #

log10 :: Floating a => PDFExpression a -> PDFExpression a Source #

pow :: Floating a => PDFExpression a -> PDFExpression a -> PDFExpression a Source #

atan2Deg :: Floating a => PDFExpression a -> PDFExpression a -> PDFExpression a Source #

floor :: RealFrac a => PDFExpression a -> PDFExpression Int Source #

ceiling :: RealFrac a => PDFExpression a -> PDFExpression Int Source #

round :: RealFrac a => PDFExpression a -> PDFExpression Int Source #

truncate :: RealFrac a => PDFExpression a -> PDFExpression Int Source #