Typst.Syntax

typst-0.3.2.1: Parsing and evaluating typst syntax.

Safe Haskell | Safe-Inferred
Language | Haskell2010

Typst.Syntax

# Documentation

data Markup #

Constructors

Space |
SoftBreak |
HardBreak |
ParBreak |
Text Text |
Nbsp |
Shy |
EmDash |
EnDash |
Ellipsis |
Quote Char |
Ref Text Expr |
Equation Bool [Markup] |
Strong [Markup] |
Emph [Markup] |
Bracketed [Markup] |
RawInline Text |
RawBlock Text Text |
Heading Int [Markup] |
Url Text |
BulletListItem [Markup] |
EnumListItem (Maybe Int) [Markup] |
DescListItem [Markup] [Markup] |
Code SourcePos Expr |
Comment |
MAlignPoint |
MFrac Markup Markup |
MAttach (Maybe Markup) (Maybe Markup) Markup |
MGroup (Maybe Text) (Maybe Text) [Markup] |

#### Instances

Instances details

Data Markup # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Markup -> c Markup gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Markup toConstr :: Markup -> Constr dataTypeOf :: Markup -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Markup) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Markup) gmapT :: (forall b. Data b => b -> b) -> Markup -> Markup gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Markup -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Markup -> r gmapQ :: (forall d. Data d => d -> u) -> Markup -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Markup -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Markup -> m Markup gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Markup -> m Markup gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Markup -> m Markup
Show Markup # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Markup -> ShowS show :: Markup -> String showList :: [Markup] -> ShowS
Eq Markup # |
Instance details Defined in Typst.Syntax Methods (==) :: Markup -> Markup -> Bool (/=) :: Markup -> Markup -> Bool
Ord Markup # |
Instance details Defined in Typst.Syntax Methods compare :: Markup -> Markup -> Ordering (<) :: Markup -> Markup -> Bool (<=) :: Markup -> Markup -> Bool (>) :: Markup -> Markup -> Bool (>=) :: Markup -> Markup -> Bool max :: Markup -> Markup -> Markup min :: Markup -> Markup -> Markup

newtype Identifier #

Constructors

Identifier Text |

#### Instances

Instances details

Data Identifier # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identifier -> c Identifier gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier toConstr :: Identifier -> Constr dataTypeOf :: Identifier -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identifier) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier) gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier
IsString Identifier # |
Instance details Defined in Typst.Syntax Methods fromString :: String -> Identifier
Monoid Identifier # |
Instance details Defined in Typst.Syntax Methods mempty :: Identifier mappend :: Identifier -> Identifier -> Identifier mconcat :: [Identifier] -> Identifier
Semigroup Identifier # |
Instance details Defined in Typst.Syntax Methods (<>) :: Identifier -> Identifier -> Identifier # sconcat :: NonEmpty Identifier -> Identifier stimes :: Integral b => b -> Identifier -> Identifier
Show Identifier # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Identifier -> ShowS show :: Identifier -> String showList :: [Identifier] -> ShowS
Eq Identifier # |
Instance details Defined in Typst.Syntax Methods (==) :: Identifier -> Identifier -> Bool (/=) :: Identifier -> Identifier -> Bool
Ord Identifier # |
Instance details Defined in Typst.Syntax Methods compare :: Identifier -> Identifier -> Ordering (<) :: Identifier -> Identifier -> Bool (<=) :: Identifier -> Identifier -> Bool (>) :: Identifier -> Identifier -> Bool (>=) :: Identifier -> Identifier -> Bool max :: Identifier -> Identifier -> Identifier min :: Identifier -> Identifier -> Identifier

data Imports #

Constructors

AllIdentifiers |
SomeIdentifiers [Identifier] |
NoIdentifiers |

#### Instances

Instances details

Data Imports # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Imports -> c Imports gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Imports toConstr :: Imports -> Constr dataTypeOf :: Imports -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Imports) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Imports) gmapT :: (forall b. Data b => b -> b) -> Imports -> Imports gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Imports -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Imports -> r gmapQ :: (forall d. Data d => d -> u) -> Imports -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Imports -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Imports -> m Imports gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Imports -> m Imports gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Imports -> m Imports
Show Imports # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Imports -> ShowS show :: Imports -> String showList :: [Imports] -> ShowS
Eq Imports # |
Instance details Defined in Typst.Syntax Methods (==) :: Imports -> Imports -> Bool (/=) :: Imports -> Imports -> Bool
Ord Imports # |
Instance details Defined in Typst.Syntax Methods compare :: Imports -> Imports -> Ordering (<) :: Imports -> Imports -> Bool (<=) :: Imports -> Imports -> Bool (>) :: Imports -> Imports -> Bool (>=) :: Imports -> Imports -> Bool max :: Imports -> Imports -> Imports min :: Imports -> Imports -> Imports

data Arg #

Constructors

KeyValArg Identifier Expr |
NormalArg Expr |
ArrayArg [[Markup]] |
SpreadArg Expr |
BlockArg [Markup] |

#### Instances

Instances details

Data Arg # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Arg -> c Arg gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Arg toConstr :: Arg -> Constr dataTypeOf :: Arg -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Arg) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Arg) gmapT :: (forall b. Data b => b -> b) -> Arg -> Arg gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arg -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arg -> r gmapQ :: (forall d. Data d => d -> u) -> Arg -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Arg -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arg -> m Arg gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg -> m Arg gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg -> m Arg
Show Arg # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Arg -> ShowS show :: Arg -> String showList :: [Arg] -> ShowS
Eq Arg # |
Instance details Defined in Typst.Syntax Methods (==) :: Arg -> Arg -> Bool (/=) :: Arg -> Arg -> Bool
Ord Arg # |
Instance details Defined in Typst.Syntax Methods compare :: Arg -> Arg -> Ordering (<) :: Arg -> Arg -> Bool (<=) :: Arg -> Arg -> Bool (>) :: Arg -> Arg -> Bool (>=) :: Arg -> Arg -> Bool max :: Arg -> Arg -> Arg min :: Arg -> Arg -> Arg

data Param #

Constructors

DefaultParam Identifier Expr |
NormalParam Identifier |
DestructuringParam [BindPart] |
SinkParam (Maybe Identifier) |
SkipParam |

#### Instances

Instances details

Data Param # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Param -> c Param gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Param toConstr :: Param -> Constr dataTypeOf :: Param -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Param) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Param) gmapT :: (forall b. Data b => b -> b) -> Param -> Param gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r gmapQ :: (forall d. Data d => d -> u) -> Param -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Param -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Param -> m Param gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param
Show Param # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Param -> ShowS show :: Param -> String showList :: [Param] -> ShowS
Eq Param # |
Instance details Defined in Typst.Syntax Methods (==) :: Param -> Param -> Bool (/=) :: Param -> Param -> Bool
Ord Param # |
Instance details Defined in Typst.Syntax Methods compare :: Param -> Param -> Ordering (<) :: Param -> Param -> Bool (<=) :: Param -> Param -> Bool (>) :: Param -> Param -> Bool (>=) :: Param -> Param -> Bool max :: Param -> Param -> Param min :: Param -> Param -> Param

data Bind #

Constructors

BasicBind (Maybe Identifier) |
DestructuringBind [BindPart] |

#### Instances

Instances details

Data Bind # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bind -> c Bind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bind toConstr :: Bind -> Constr dataTypeOf :: Bind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bind) gmapT :: (forall b. Data b => b -> b) -> Bind -> Bind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bind -> r gmapQ :: (forall d. Data d => d -> u) -> Bind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Bind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bind -> m Bind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bind -> m Bind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bind -> m Bind
Show Bind # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Bind -> ShowS show :: Bind -> String showList :: [Bind] -> ShowS
Eq Bind # |
Instance details Defined in Typst.Syntax Methods (==) :: Bind -> Bind -> Bool (/=) :: Bind -> Bind -> Bool
Ord Bind # |
Instance details Defined in Typst.Syntax Methods compare :: Bind -> Bind -> Ordering (<) :: Bind -> Bind -> Bool (<=) :: Bind -> Bind -> Bool (>) :: Bind -> Bind -> Bool (>=) :: Bind -> Bind -> Bool max :: Bind -> Bind -> Bind min :: Bind -> Bind -> Bind

data BindPart #

Constructors

Simple (Maybe Identifier) |
WithKey Identifier (Maybe Identifier) |
Sink (Maybe Identifier) |

#### Instances

Instances details

Data BindPart # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BindPart -> c BindPart gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BindPart toConstr :: BindPart -> Constr dataTypeOf :: BindPart -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BindPart) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BindPart) gmapT :: (forall b. Data b => b -> b) -> BindPart -> BindPart gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BindPart -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BindPart -> r gmapQ :: (forall d. Data d => d -> u) -> BindPart -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BindPart -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BindPart -> m BindPart gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BindPart -> m BindPart gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BindPart -> m BindPart
Show BindPart # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> BindPart -> ShowS show :: BindPart -> String showList :: [BindPart] -> ShowS
Eq BindPart # |
Instance details Defined in Typst.Syntax Methods (==) :: BindPart -> BindPart -> Bool (/=) :: BindPart -> BindPart -> Bool
Ord BindPart # |
Instance details Defined in Typst.Syntax Methods compare :: BindPart -> BindPart -> Ordering (<) :: BindPart -> BindPart -> Bool (<=) :: BindPart -> BindPart -> Bool (>) :: BindPart -> BindPart -> Bool (>=) :: BindPart -> BindPart -> Bool max :: BindPart -> BindPart -> BindPart min :: BindPart -> BindPart -> BindPart

data Literal #

Constructors

String Text |
Boolean Bool |
Float Double |
Int Integer |
Numeric Double Unit |
None |
Auto |

#### Instances

Instances details

Data Literal # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Literal -> c Literal gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal toConstr :: Literal -> Constr dataTypeOf :: Literal -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Literal) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Literal) gmapT :: (forall b. Data b => b -> b) -> Literal -> Literal gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r gmapQ :: (forall d. Data d => d -> u) -> Literal -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Literal -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Literal -> m Literal gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal
Show Literal # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Literal -> ShowS show :: Literal -> String showList :: [Literal] -> ShowS
Eq Literal # |
Instance details Defined in Typst.Syntax Methods (==) :: Literal -> Literal -> Bool (/=) :: Literal -> Literal -> Bool
Ord Literal # |
Instance details Defined in Typst.Syntax Methods compare :: Literal -> Literal -> Ordering (<) :: Literal -> Literal -> Bool (<=) :: Literal -> Literal -> Bool (>) :: Literal -> Literal -> Bool (>=) :: Literal -> Literal -> Bool max :: Literal -> Literal -> Literal min :: Literal -> Literal -> Literal

data Block #

Constructors

Content [Markup] |
CodeBlock [Expr] |

#### Instances

Instances details

Data Block # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block toConstr :: Block -> Constr dataTypeOf :: Block -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) gmapT :: (forall b. Data b => b -> b) -> Block -> Block gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block
Show Block # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Block -> ShowS show :: Block -> String showList :: [Block] -> ShowS
Eq Block # |
Instance details Defined in Typst.Syntax Methods (==) :: Block -> Block -> Bool (/=) :: Block -> Block -> Bool
Ord Block # |
Instance details Defined in Typst.Syntax Methods compare :: Block -> Block -> Ordering (<) :: Block -> Block -> Bool (<=) :: Block -> Block -> Bool (>) :: Block -> Block -> Bool (>=) :: Block -> Block -> Bool max :: Block -> Block -> Block min :: Block -> Block -> Block

data Spreadable a #

Constructors

Spr Expr |
Reg a |

#### Instances

Instances details

Data a => Data (Spreadable a) # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Spreadable a -> c (Spreadable a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Spreadable a) toConstr :: Spreadable a -> Constr dataTypeOf :: Spreadable a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Spreadable a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Spreadable a)) gmapT :: (forall b. Data b => b -> b) -> Spreadable a -> Spreadable a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Spreadable a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Spreadable a -> r gmapQ :: (forall d. Data d => d -> u) -> Spreadable a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Spreadable a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Spreadable a -> m (Spreadable a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Spreadable a -> m (Spreadable a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Spreadable a -> m (Spreadable a)
Show a => Show (Spreadable a) # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Spreadable a -> ShowS show :: Spreadable a -> String showList :: [Spreadable a] -> ShowS
Eq a => Eq (Spreadable a) # |
Instance details Defined in Typst.Syntax Methods (==) :: Spreadable a -> Spreadable a -> Bool (/=) :: Spreadable a -> Spreadable a -> Bool
Ord a => Ord (Spreadable a) # |
Instance details Defined in Typst.Syntax Methods compare :: Spreadable a -> Spreadable a -> Ordering (<) :: Spreadable a -> Spreadable a -> Bool (<=) :: Spreadable a -> Spreadable a -> Bool (>) :: Spreadable a -> Spreadable a -> Bool (>=) :: Spreadable a -> Spreadable a -> Bool max :: Spreadable a -> Spreadable a -> Spreadable a min :: Spreadable a -> Spreadable a -> Spreadable a

data Expr #

Constructors

Literal Literal |
Negated Expr |
ToPower Expr Expr |
Times Expr Expr |
Divided Expr Expr |
Plus Expr Expr |
Minus Expr Expr |
Equals Expr Expr |
LessThan Expr Expr |
LessThanOrEqual Expr Expr |
GreaterThan Expr Expr |
GreaterThanOrEqual Expr Expr |
InCollection Expr Expr |
Not Expr |
And Expr Expr |
Or Expr Expr |
Assign Expr Expr |
Ident Identifier |
FuncCall Expr [Arg] |
FuncExpr [Param] Expr |
FieldAccess Expr Expr |
Group Expr |
Array [Spreadable Expr] |
Dict [Spreadable (Identifier, Expr)] |
Binding Bind |
Let Bind Expr |
LetFunc Identifier [Param] Expr |
Set Expr [Arg] |
Show (Maybe Expr) Expr |
If [(Expr, Expr)] |
While Expr Expr |
For Bind Expr Expr |
Block Block |
Import Expr Imports |
Include Expr |
Return (Maybe Expr) |
Label Text |
Break |
Continue |

#### Instances

Instances details

Data Expr # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expr -> c Expr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr toConstr :: Expr -> Constr dataTypeOf :: Expr -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Expr) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expr) gmapT :: (forall b. Data b => b -> b) -> Expr -> Expr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r gmapQ :: (forall d. Data d => d -> u) -> Expr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Expr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expr -> m Expr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr
Show Expr # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Expr -> ShowS show :: Expr -> String showList :: [Expr] -> ShowS
Eq Expr # |
Instance details Defined in Typst.Syntax Methods (==) :: Expr -> Expr -> Bool (/=) :: Expr -> Expr -> Bool
Ord Expr # |
Instance details Defined in Typst.Syntax Methods compare :: Expr -> Expr -> Ordering (<) :: Expr -> Expr -> Bool (<=) :: Expr -> Expr -> Bool (>) :: Expr -> Expr -> Bool (>=) :: Expr -> Expr -> Bool max :: Expr -> Expr -> Expr min :: Expr -> Expr -> Expr

data Unit #

Constructors

Pt |
Mm |
Cm |
In |
Deg |
Rad |
Em |
Fr |
Percent |

#### Instances

Instances details

Data Unit # |
Instance details Defined in Typst.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unit -> c Unit gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unit toConstr :: Unit -> Constr dataTypeOf :: Unit -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Unit) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Unit) gmapT :: (forall b. Data b => b -> b) -> Unit -> Unit gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unit -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unit -> r gmapQ :: (forall d. Data d => d -> u) -> Unit -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Unit -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unit -> m Unit gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unit -> m Unit gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unit -> m Unit
Show Unit # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Unit -> ShowS show :: Unit -> String showList :: [Unit] -> ShowS
Eq Unit # |
Instance details Defined in Typst.Syntax Methods (==) :: Unit -> Unit -> Bool (/=) :: Unit -> Unit -> Bool
Ord Unit # |
Instance details Defined in Typst.Syntax Methods compare :: Unit -> Unit -> Ordering (<) :: Unit -> Unit -> Bool (<=) :: Unit -> Unit -> Bool (>) :: Unit -> Unit -> Bool (>=) :: Unit -> Unit -> Bool max :: Unit -> Unit -> Unit min :: Unit -> Unit -> Unit