DerivationTrees

Basics

module Data.Monoid

module Data.LabeledTree

TeX extras

brace :: TeX -> TeX

paren :: TeX -> TeX

brack :: TeX -> TeX

tex :: String -> [TeX] -> TeX

text :: String -> TeX

(!) :: TeX -> TeX -> TeX

newtype TeX

Constructors

TeX String

Instances

Show TeX

IsString TeX

Monoid TeX

(<>) :: Monoid a => a -> a -> a

Derivation' building

emptyDrv :: Tree k (Rule ())

haltDrv :: TeX -> Derivation -> Derivation

More compact variant

haltDrv' :: TeX -> Derivation -> Derivation

Used when the rest of the derivation is known.

abortDrv :: Tree t1 (Rule t) -> Tree k (Rule t)

delayPre :: Alignment -> Int -> ::> Link t -> ::> Link t

dummy :: Rule ()

rule :: TeX -> TeX -> Rule ()

type Derivation = Derivation' ()

type Premise = Link ::> Derivation' ()

data Rule tag

Constructors

Rule

Fields

tag :: tag

style :: LineStyle

delimiter :: TeX

label :: TeX

conclusion :: TeX

Instances

Show tag => Show (Rule tag)

Figure building

data Figure tag

Constructors

Figure

Fields

ident :: Int

contents :: Derivation' tag

Engine

compile :: [Figure ()] -> [String]