Typst.Syntax

typst-0.8.0.1: Parsing and evaluating typst syntax.

Safe Haskell | None
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

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 #
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 #
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, Maybe Identifier)] |
NoIdentifiers (Maybe Identifier) |

#### 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 |
Context Expr |
FieldAccess Expr Expr |
Group Expr |
Array [Spreadable Expr] |
Dict [Spreadable (Expr, 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 #