MarXup.Tex

Documentation

data ClassFile

Constructors

ACMArt

Plain

LNCS

SIGPlan

IEEE

EPTCS

Beamer

Instances

Eq ClassFile

Defined in MarXup.Tex

Methods

(==) :: ClassFile -> ClassFile -> Bool

(/=) :: ClassFile -> ClassFile -> Bool

data Key

Constructors

PreClass String

PrePackage Int String

PreTheorem String String

Instances

Eq Key

Defined in MarXup.Tex

Methods

(==) :: Key -> Key -> Bool

(/=) :: Key -> Key -> Bool

Ord Key

Defined in MarXup.Tex

Methods

compare :: Key -> Key -> Ordering

(<) :: Key -> Key -> Bool

(<=) :: Key -> Key -> Bool

(>) :: Key -> Key -> Bool

(>=) :: Key -> Key -> Bool

max :: Key -> Key -> Key

min :: Key -> Key -> Key

newtheorem :: String -> String -> TeX

usepkg :: String -> Int -> [String] -> TeX

documentClass :: String -> [String] -> TeX

renderKey :: Key -> String -> String

newtype Tex a

Constructors

Tex

Fields

• fromTex :: Multi ClassFile Key a

Instances

Monad Tex

Defined in MarXup.Tex

Methods

(>>=) :: Tex a -> (a -> Tex b) -> Tex b

(>>) :: Tex a -> Tex b -> Tex b

return :: a -> Tex a

fail :: String -> Tex a

Functor Tex

Defined in MarXup.Tex

Methods

fmap :: (a -> b) -> Tex a -> Tex b

(<$) :: a -> Tex b -> Tex a

MonadFix Tex

Defined in MarXup.Tex

Methods

mfix :: (a -> Tex a) -> Tex a

IsString TeX

Defined in MarXup.Tex

Methods

fromString :: String -> TeX

Applicative Tex

Defined in MarXup.Tex

Methods

pure :: a -> Tex a

(<*>) :: Tex (a -> b) -> Tex a -> Tex b

liftA2 :: (a -> b -> c) -> Tex a -> Tex b -> Tex c

(*>) :: Tex a -> Tex b -> Tex b

(<*) :: Tex a -> Tex b -> Tex a

Semigroup TeX

Defined in MarXup.Tex

Methods

(<>) :: TeX -> TeX -> TeX

sconcat :: NonEmpty TeX -> TeX

stimes :: Integral b => b -> TeX -> TeX

Monoid TeX

Defined in MarXup.Tex

Methods

mempty :: TeX

mappend :: TeX -> TeX -> TeX

mconcat :: [TeX] -> TeX

Textual Tex

Defined in MarXup.Tex

Methods

textual :: String -> Tex ()

Element (Tex a)

Defined in MarXup.Tex

Associated Types

type Target (Tex a) :: Type

Methods

element :: Tex a -> Target (Tex a)

Element (Diagram TeX Tex ())

Defined in MarXup.Diagram.Tikz

Associated Types

type Target (Diagram TeX Tex ()) :: Type

Methods

element :: Diagram TeX Tex () -> Target (Diagram TeX Tex ())

type Target (Tex a)

Defined in MarXup.Tex

type Target (Tex a) = Tex a

type Target (Diagram TeX Tex ())

Defined in MarXup.Diagram.Tikz

type Target (Diagram TeX Tex ()) = TeX

kern :: String -> TeX

escape :: Char -> [Char]

tex :: String -> TeX

texComment :: String -> TeX

type TeX = Tex ()

reference :: Label -> Tex ()

texLn :: String -> TeX

texLines :: [String] -> Tex ()

genParen :: String -> Tex a -> Tex a

braces :: Tex a -> Tex a

brackets :: Tex a -> Tex a

backslash :: TeX

nil :: TeX

cmd0 :: String -> Tex ()

Command with no argument

cmd :: String -> Tex a -> Tex a

Command with one argument

cmd' :: String -> [String] -> Tex b -> Tex b

Command with options

cmdn' :: String -> [String] -> [Tex a] -> Tex [a]

Command with options and many arguments

cmdm :: String -> [Tex a] -> [Tex a] -> Tex [a]

Command with tex options and several arguments

cmdn'_ :: String -> [String] -> [TeX] -> Tex ()

Command with string options and several arguments; no result

cmdn :: String -> [Tex a] -> Tex [a]

Command with n arguments

cmdn_ :: String -> [TeX] -> Tex ()

Command with n arguments, no result

env :: String -> Tex a -> Tex a

Environment

env' :: String -> [String] -> Tex a -> Tex a

Environment with options

env'' :: String -> [TeX] -> [TeX] -> Tex a -> Tex a

Environment with tex options and tex arguments

data SortedLabel

Constructors

SortedLabel String Label

Instances

Element SortedLabel

Defined in MarXup.Tex

Associated Types

type Target SortedLabel :: Type

Methods

element :: SortedLabel -> Target SortedLabel

type Target SortedLabel

Defined in MarXup.Tex

type Target SortedLabel = TeX

label :: String -> Tex SortedLabel

xref :: SortedLabel -> TeX

fxref :: SortedLabel -> TeX

pageref :: SortedLabel -> TeX

inBox :: Tex a -> Tex (a, BoxSpec)

justBox :: Tex a -> Tex BoxSpec

helpBox :: Bool -> Tex a -> Tex (a, BoxSpec)

getBoxFromId :: Int -> Tex BoxSpec

fillBox :: Label -> Bool -> Tex a -> Tex a

renderWithBoxes :: ClassFile -> BoxSpecs -> Tex a -> String

renderSimple :: ClassFile -> Tex a -> String

renderTex :: ClassFile -> String -> TeX -> IO ()

askClass :: Tex ClassFile

getBoxInfo :: [Int] -> Map Int BoxSpec