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

Methods

lift :: Monad m => m a -> ΛTeXT m a

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

Methods

ask :: ΛTeXT m r

local :: (r -> r) -> ΛTeXT m a -> ΛTeXT m a

reader :: (r -> a) -> ΛTeXT m a

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

Methods

get :: ΛTeXT m s

put :: s -> ΛTeXT m ()

state :: (s -> (a, s)) -> ΛTeXT m a

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

Methods

writer :: (a, w) -> ΛTeXT m a

tell :: w -> ΛTeXT m ()

listen :: ΛTeXT m a -> ΛTeXT m (a, w)

pass :: ΛTeXT m (a, w -> w) -> ΛTeXT m a

Monad m => Monad (ΛTeXT m)

Methods

(>>=) :: ΛTeXT m a -> (a -> ΛTeXT m b) -> ΛTeXT m b

(>>) :: ΛTeXT m a -> ΛTeXT m b -> ΛTeXT m b

return :: a -> ΛTeXT m a

fail :: String -> ΛTeXT m a

Functor m => Functor (ΛTeXT m)

Methods

fmap :: (a -> b) -> ΛTeXT m a -> ΛTeXT m b

(<$) :: a -> ΛTeXT m b -> ΛTeXT m a

Monad m => Applicative (ΛTeXT m)

Methods

pure :: a -> ΛTeXT m a

(<*>) :: ΛTeXT m (a -> b) -> ΛTeXT m a -> ΛTeXT m b

(*>) :: ΛTeXT m a -> ΛTeXT m b -> ΛTeXT m b

(<*) :: ΛTeXT m a -> ΛTeXT m b -> ΛTeXT m a

MonadIO m => MonadIO (ΛTeXT m)

Methods

liftIO :: IO a -> ΛTeXT m a

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

Methods

(/) :: ΛTeXT m a -> ΛTeXT m a -> ΛTeXT m a

recip :: ΛTeXT m a -> ΛTeXT m a

fromRational :: Rational -> ΛTeXT m a

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

Methods

(+) :: ΛTeXT m a -> ΛTeXT m a -> ΛTeXT m a

(-) :: ΛTeXT m a -> ΛTeXT m a -> ΛTeXT m a

(*) :: ΛTeXT m a -> ΛTeXT m a -> ΛTeXT m a

negate :: ΛTeXT m a -> ΛTeXT m a

abs :: ΛTeXT m a -> ΛTeXT m a

signum :: ΛTeXT m a -> ΛTeXT m a

fromInteger :: Integer -> ΛTeXT m a

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

Methods

fromString :: String -> ΛTeXT m a

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

Methods

mempty :: ΛTeXT m a

mappend :: ΛTeXT m a -> ΛTeXT m a -> ΛTeXT m a

mconcat :: [ΛTeXT m a] -> ΛTeXT m a

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

Methods

liftListL :: ([LaTeX] -> LaTeX) -> [ΛTeXT m a] -> Λ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

newtype Λ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, FilePath -> IO ())]

Instances

Monoid ΛOutput

Methods

mempty :: ΛOutput

mappend :: ΛOutput -> ΛOutput -> ΛOutput

mconcat :: [ΛOutput] -> ΛOutput

newtype Λ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.

Methods

render :: Text -> Text

type Item Text

type Item Text = Char

Orphan instances

MonadReader r m => MonadReader r (LaTeXT m)

Methods

ask :: LaTeXT m r

local :: (r -> r) -> LaTeXT m a -> LaTeXT m a

reader :: (r -> a) -> LaTeXT m a

MonadState s m => MonadState s (LaTeXT m)

Methods

get :: LaTeXT m s

put :: s -> LaTeXT m ()

state :: (s -> (a, s)) -> LaTeXT m a

MonadWriter w m => MonadWriter w (LaTeXT m)

Methods

writer :: (a, w) -> LaTeXT m a

tell :: w -> LaTeXT m ()

listen :: LaTeXT m a -> LaTeXT m (a, w)

pass :: LaTeXT m (a, w -> w) -> LaTeXT m a