Text.LaTeX.LambdaTeX.Types

The ΛTeX Monad

type LambdaTeXT = ΛTeXT

type LambdaTeXT_ m = ΛTeXT_ m

type ΛTeXT_ m = ΛTeXT m ()

newtype ΛTeXT m a

Constructors

ΛTeXT

Fields

unwrapΛTeXT :: LaTeXT (RWST ΛConfig ΛOutput ΛState m) a

Instances

MonadTrans ΛTeXT

MonadReader r m => MonadReader r (ΛTeXT m)

MonadState s m => MonadState s (ΛTeXT m)

MonadWriter w m => MonadWriter w (ΛTeXT m)

Monad m => Monad (ΛTeXT m)

Functor m => Functor (ΛTeXT m)

Monad m => Applicative (ΛTeXT m)

MonadIO m => MonadIO (ΛTeXT m)

(Monad m, (~) * a ()) => Fractional (ΛTeXT m a)

(Monad m, (~) * a ()) => Num (ΛTeXT m a)

(Monad m, (~) * a ()) => IsString (ΛTeXT m a)

(Monad m, (~) * a ()) => LaTeXC (ΛTeXT m a)

(Monad m, (~) * a ()) => Monoid (ΛTeXT m a)

runΛTeX :: Monad m => ΛTeXT m a -> ΛConfig -> ΛState -> m ((a, LaTeX), ΛState, ΛOutput)

λtextell :: Monad m => LaTeX -> ΛTeXT m ()

λtell :: Monad m => ΛOutput -> ΛTeXT m ()

λask :: Monad m => ΛTeXT m ΛConfig

λasks :: Monad m => (ΛConfig -> a) -> ΛTeXT m a

λget :: Monad m => ΛTeXT m ΛState

λgets :: Monad m => (ΛState -> a) -> ΛTeXT m a

λmodify :: Monad m => (ΛState -> ΛState) -> ΛTeXT m ()

extractΛLaTeX :: Monad m => ΛTeXT m a -> ΛTeXT m (a, LaTeX)

This function run a LaTeXT computation, lifting the result again in the monad.

extractΛLaTeX_ :: Monad m => ΛTeXT m a -> ΛTeXT m LaTeX

Like 'extractΛLaTeX' but without the result

data ΛConfig

Internal ΛTeXT configration

Constructors

ΛConfig

Fields

configSelection :: Selection

data ΛOutput

Internal ΛTeXT configration output

Constructors

ΛOutput

Fields

outputPackageDependencies :: Set PackageDep

outputExternalReferences :: Set Reference

outputLabelsMade :: Set Text

outputLabelsNeeded :: Set Text

outputActions :: [(String, IO ())]

Instances

Monoid ΛOutput

data ΛState

Internal ΛTeXT configration state

Constructors

ΛState

Fields

stateCurrentPart :: Part

module Text.LaTeX.LambdaTeX.Part

module Text.LaTeX.LambdaTeX.Error

module Text.LaTeX.LambdaTeX.Package.Types

module Text.LaTeX.LambdaTeX.Reference.Types

module Text.LaTeX.LambdaTeX.Selection.Types

data Text :: *

A space efficient, packed, unboxed Unicode text type.

Instances

Render Text

This instance escapes LaTeX reserved characters.

type Item Text = Char