typst-0.5.0.3: 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

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, 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 |
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 #