This is the class of LaTeX code generators. It has Monoid and IsString as superclasses.

The class of monoids (types with an associative binary operation that has an identity). Instances should satisfy the following:

Right identity

x <> mempty = x

Left identity

mempty <> x = x

Associativity

x <> (y <> z) = (x <> y) <> z (Semigroup law)

Concatenation

mconcat = foldr (<>) mempty

The method names refer to the monoid of lists under concatenation, but there are many other instances.

Some types can be viewed as a monoid in more than one way, e.g. both addition and multiplication on numbers. In such cases we often define newtypes and make those instances of Monoid, e.g. Sum and Product.

NOTE: Semigroup is a superclass of Monoid since base-4.11.0.0.

Map a LaTeX value to its equivalent in any LaTeXC instance.

Lift a inner function of LaTeX values into any LaTeXC instance.

Variant of liftL with a two arguments function.

Variant of liftL with a three arguments function.

Variant of liftL with a four arguments function.

Variant of liftL with a five arguments function.

Variant of liftL with a six arguments function.

Variant of liftL with a seven arguments function.

Variant of liftL with an eight arguments function.

Variant of liftL with a nine arguments function.

A simple (without arguments) and handy command generator using the name of the command.

comm0 str = fromLaTeX $ TeXComm str []

A one parameter command generator using the name of the command. The parameter will be rendered as a fixed argument.

comm1 str = liftL $ \l -> TeXComm str [FixArg l]

A two parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm2 str = liftL2 $ \l1 l2 -> TeXComm str [FixArg l1, FixArg l2]

A three parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm3 str = liftL3 $ \l1 l2 l3 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3]

A four parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm4 str = liftL4 $ \l1 l2 l3 l4 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4]

A five parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm5 str = liftL5 $ \l1 l2 l3 l4 l5 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5]

A six parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm6 str = liftL6 $ \l1 l2 l3 l4 l5 l6 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6]

A seven parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm7 str = liftL7 $ \l1 l2 l3 l4 l5 l6 l7 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6, FixArg l7]

An eight parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm8 str = liftL8 $ \l1 l2 l3 l4 l5 l6 l7 l8 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6, FixArg l7, FixArgs l8]

A nine parameter command generator using the name of the command. The parameters will be rendered as fixed arguments.

comm9 str = liftL9 $ \l1 l2 l3 l4 l5 l6 l7 l8 l9 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6, FixArg l7, FixArgs l8, l9]

Like comm0 but using TeXCommS, i.e. no "{}" will be inserted to protect the command's end.

commS = fromLaTeX . TeXCommS

Call a LaTeX command where all the arguments in the list are fixed arguments.

Call a LaTeX command with the first n arguments as optional ones, followed by fixed arguments. Most LaTeX commands are structured with first a sequence of optional arguments, followed by a sequence of fixed arguments.

Define an environment, without any parameters that are passed to the environment.

Define an environment, with one fixed parameter that is passed to the environment.

Define an environment, with two fixed parameters that is passed to the environment.

Define an environment, with three fixed parameters that is passed to the environment.

Define an environment, with four fixed parameters that is passed to the environment.

Define an environment, with five fixed parameters that is passed to the environment.

Define an environment, with six fixed parameters that is passed to the environment.

Define an environment, with seven fixed parameters that is passed to the environment.

Define an environment, with eight fixed parameters that is passed to the environment.

Define an environment, with nine fixed parameters that is passed to the environment.

Create a LaTeX environment where all the arguments in the list are fixed arguments.

A lifted version of the TeXBraces constructor.

braces = liftL TeXBraces

Insert a raw piece of Text. This functions doesn't escape LaTeX reserved characters, it insert the text just as it is received.

Warning: This function is unsafe, in the sense that it does not check that the input text is a valid LaTeX block. Make sure any braces, commands or environments are properly closed.