Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type LambdaTeXT = ΛTeXT
- type LambdaTeXT_ m = ΛTeXT_ m
- type ΛTeXT_ m = ΛTeXT m ()
- newtype ΛTeXT m a = ΛTeXT {}
- runΛTeX :: Λ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)
- extractΛLaTeX_ :: Monad m => ΛTeXT m a -> ΛTeXT m LaTeX
- data ΛConfig = ΛConfig {}
- data ΛOutput = ΛOutput {}
- data ΛState = ΛState {}
- 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 :: *
The ΛTeX Monad
type LambdaTeXT = ΛTeXT Source #
type LambdaTeXT_ m = ΛTeXT_ m Source #
MonadTrans ΛTeXT Source # | |
MonadReader r m => MonadReader r (ΛTeXT m) Source # | |
MonadState s m => MonadState s (ΛTeXT m) Source # | |
MonadWriter w m => MonadWriter w (ΛTeXT m) Source # | |
Monad m => Monad (ΛTeXT m) Source # | |
Functor m => Functor (ΛTeXT m) Source # | |
Monad m => Applicative (ΛTeXT m) Source # | |
MonadIO m => MonadIO (ΛTeXT m) Source # | |
(Monad m, (~) * a ()) => Fractional (ΛTeXT m a) Source # | |
(Monad m, (~) * a ()) => Num (ΛTeXT m a) Source # | |
(Monad m, (~) * a ()) => IsString (ΛTeXT m a) Source # | |
(Monad m, (~) * a ()) => Monoid (ΛTeXT m a) Source # | |
(Monad m, (~) * a ()) => LaTeXC (ΛTeXT m a) Source # | |
extractΛLaTeX :: Monad m => ΛTeXT m a -> ΛTeXT m (a, LaTeX) Source #
This function run a LaTeXT
computation,
lifting the result again in the monad.
extractΛLaTeX_ :: Monad m => ΛTeXT m a -> ΛTeXT m LaTeX Source #
Like 'extractΛLaTeX' but without the result
Internal ΛTeXT configration output
ΛOutput | |
|
module Text.LaTeX.LambdaTeX.Part
module Text.LaTeX.LambdaTeX.Error
A space efficient, packed, unboxed Unicode text type.
Orphan instances
MonadReader r m => MonadReader r (LaTeXT m) Source # | |
MonadState s m => MonadState s (LaTeXT m) Source # | |
MonadWriter w m => MonadWriter w (LaTeXT m) Source # | |