derivation-trees-0.7.3: Typeset Derivation Trees via MetaPost

DerivationTrees.Basics

Documentation

data LineStyle Source

Constructors

None
Simple
Double
Dotted
Dashed
Waved
TeXDotted

Instances

Enum LineStyle
Show LineStyle

data Link Source

Constructors

Link	Regular link
Fields label :: TeX style :: LineStyle align :: Alignment steps :: Int
Detached	Detach the derivation as another figure
Fields ident :: Int label :: TeX
Delayed	automatic delaying
Fields align :: Alignment

Instances

defaultLink :: Link Source

data Alignment Source

Constructors

LeftA
CenterA
RightA

Instances

newtype TeX Source

Constructors

Instances

Show TeX
IsString TeX
Monoid TeX

void :: TeX -> Bool Source