typst-0.8.0.2: Parsing and evaluating typst syntax.

Safe Haskell | None
Language | Haskell2010

Typst.Syntax

# Documentation

data Markup Source #

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

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Markup Source #

toConstr :: Markup -> Constr Source #

dataTypeOf :: Markup -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Markup) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Markup) Source #

gmapT :: (forall b. Data b => b -> b) -> Markup -> Markup Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Markup -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Markup -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Markup -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Markup -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Markup -> m Markup Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Markup -> m Markup Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Markup -> m Markup Source #

Show Markup Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Markup -> ShowS Source # show :: Markup -> String Source # showList :: [Markup] -> ShowS Source #
Eq Markup Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Markup -> Markup -> Bool Source # (/=) :: Markup -> Markup -> Bool Source #
Ord Markup Source # |
Instance details Defined in Typst.Syntax Methods compare :: Markup -> Markup -> Ordering Source # (<) :: Markup -> Markup -> Bool Source # (<=) :: Markup -> Markup -> Bool Source # (>) :: Markup -> Markup -> Bool Source # (>=) :: Markup -> Markup -> Bool Source # max :: Markup -> Markup -> Markup Source # min :: Markup -> Markup -> Markup Source #

newtype Identifier Source #

Constructors

Identifier Text |

#### Instances

Instances details

Monoid Identifier Source # |
Instance details Defined in Typst.Syntax Methods mempty :: Identifier Source # mappend :: Identifier -> Identifier -> Identifier Source # mconcat :: [Identifier] -> Identifier Source #
Semigroup Identifier Source # |
Instance details Defined in Typst.Syntax Methods (<>) :: Identifier -> Identifier -> Identifier Source # sconcat :: NonEmpty Identifier -> Identifier Source # stimes :: Integral b => b -> Identifier -> Identifier Source #
Data Identifier Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier Source #

toConstr :: Identifier -> Constr Source #

dataTypeOf :: Identifier -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identifier) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier) Source #

gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier Source #

IsString Identifier Source # |
Instance details Defined in Typst.Syntax Methods fromString :: String -> Identifier Source #
Show Identifier Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Identifier -> ShowS Source # show :: Identifier -> String Source # showList :: [Identifier] -> ShowS Source #
Eq Identifier Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Identifier -> Identifier -> Bool Source # (/=) :: Identifier -> Identifier -> Bool Source #
Ord Identifier Source # |

Instance details

Defined in Typst.Syntax

Methods

compare :: Identifier -> Identifier -> Ordering Source #

(<) :: Identifier -> Identifier -> Bool Source #

(<=) :: Identifier -> Identifier -> Bool Source #

(>) :: Identifier -> Identifier -> Bool Source #

(>=) :: Identifier -> Identifier -> Bool Source #

max :: Identifier -> Identifier -> Identifier Source #

min :: Identifier -> Identifier -> Identifier Source #

data Imports Source #

Constructors

AllIdentifiers |
SomeIdentifiers [(Identifier, Maybe Identifier)] |
NoIdentifiers (Maybe Identifier) |

#### Instances

Instances details

Data Imports Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Imports Source #

toConstr :: Imports -> Constr Source #

dataTypeOf :: Imports -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Imports) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Imports) Source #

gmapT :: (forall b. Data b => b -> b) -> Imports -> Imports Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Imports -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Imports -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Imports -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Imports -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Imports -> m Imports Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Imports -> m Imports Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Imports -> m Imports Source #

Show Imports Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Imports -> ShowS Source # show :: Imports -> String Source # showList :: [Imports] -> ShowS Source #
Eq Imports Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Imports -> Imports -> Bool Source # (/=) :: Imports -> Imports -> Bool Source #
Ord Imports Source # |
Instance details Defined in Typst.Syntax Methods compare :: Imports -> Imports -> Ordering Source # (<) :: Imports -> Imports -> Bool Source # (<=) :: Imports -> Imports -> Bool Source # (>) :: Imports -> Imports -> Bool Source # (>=) :: Imports -> Imports -> Bool Source # max :: Imports -> Imports -> Imports Source # min :: Imports -> Imports -> Imports Source #

data Arg Source #

Constructors

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

#### Instances

Instances details

Data Arg Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Arg Source #

toConstr :: Arg -> Constr Source #

dataTypeOf :: Arg -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Arg) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Arg) Source #

gmapT :: (forall b. Data b => b -> b) -> Arg -> Arg Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arg -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arg -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Arg -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Arg -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arg -> m Arg Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg -> m Arg Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg -> m Arg Source #

Show Arg Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Arg -> ShowS Source # show :: Arg -> String Source # showList :: [Arg] -> ShowS Source #
Eq Arg Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Arg -> Arg -> Bool Source # (/=) :: Arg -> Arg -> Bool Source #
Ord Arg Source # |
Instance details Defined in Typst.Syntax Methods compare :: Arg -> Arg -> Ordering Source # (<) :: Arg -> Arg -> Bool Source # (<=) :: Arg -> Arg -> Bool Source # (>) :: Arg -> Arg -> Bool Source # (>=) :: Arg -> Arg -> Bool Source # max :: Arg -> Arg -> Arg Source # min :: Arg -> Arg -> Arg Source #

data Param Source #

Constructors

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

#### Instances

Instances details

Data Param Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Param Source #

toConstr :: Param -> Constr Source #

dataTypeOf :: Param -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Param) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Param) Source #

gmapT :: (forall b. Data b => b -> b) -> Param -> Param Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Param -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Param -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Param -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Param -> m Param Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Param -> m Param Source #

Show Param Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Param -> ShowS Source # show :: Param -> String Source # showList :: [Param] -> ShowS Source #
Eq Param Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Param -> Param -> Bool Source # (/=) :: Param -> Param -> Bool Source #
Ord Param Source # |
Instance details Defined in Typst.Syntax Methods compare :: Param -> Param -> Ordering Source # (<) :: Param -> Param -> Bool Source # (<=) :: Param -> Param -> Bool Source # (>) :: Param -> Param -> Bool Source # (>=) :: Param -> Param -> Bool Source # max :: Param -> Param -> Param Source # min :: Param -> Param -> Param Source #

data Bind Source #

Constructors

BasicBind (Maybe Identifier) |
DestructuringBind [BindPart] |

#### Instances

Instances details

Data Bind Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bind Source #

toConstr :: Bind -> Constr Source #

dataTypeOf :: Bind -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bind) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bind) Source #

gmapT :: (forall b. Data b => b -> b) -> Bind -> Bind Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bind -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bind -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Bind -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bind -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bind -> m Bind Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bind -> m Bind Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bind -> m Bind Source #

Show Bind Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Bind -> ShowS Source # show :: Bind -> String Source # showList :: [Bind] -> ShowS Source #
Eq Bind Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Bind -> Bind -> Bool Source # (/=) :: Bind -> Bind -> Bool Source #
Ord Bind Source # |
Instance details Defined in Typst.Syntax Methods compare :: Bind -> Bind -> Ordering Source # (<) :: Bind -> Bind -> Bool Source # (<=) :: Bind -> Bind -> Bool Source # (>) :: Bind -> Bind -> Bool Source # (>=) :: Bind -> Bind -> Bool Source # max :: Bind -> Bind -> Bind Source # min :: Bind -> Bind -> Bind Source #

data BindPart Source #

Constructors

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

#### Instances

Instances details

Data BindPart Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BindPart Source #

toConstr :: BindPart -> Constr Source #

dataTypeOf :: BindPart -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BindPart) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BindPart) Source #

gmapT :: (forall b. Data b => b -> b) -> BindPart -> BindPart Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BindPart -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BindPart -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BindPart -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BindPart -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BindPart -> m BindPart Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BindPart -> m BindPart Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BindPart -> m BindPart Source #

Show BindPart Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> BindPart -> ShowS Source # show :: BindPart -> String Source # showList :: [BindPart] -> ShowS Source #
Eq BindPart Source # |
Instance details Defined in Typst.Syntax Methods (==) :: BindPart -> BindPart -> Bool Source # (/=) :: BindPart -> BindPart -> Bool Source #
Ord BindPart Source # |
Instance details Defined in Typst.Syntax Methods compare :: BindPart -> BindPart -> Ordering Source # (<) :: BindPart -> BindPart -> Bool Source # (<=) :: BindPart -> BindPart -> Bool Source # (>) :: BindPart -> BindPart -> Bool Source # (>=) :: BindPart -> BindPart -> Bool Source # max :: BindPart -> BindPart -> BindPart Source # min :: BindPart -> BindPart -> BindPart Source #

data Literal Source #

Constructors

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

#### Instances

Instances details

Data Literal Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal Source #

toConstr :: Literal -> Constr Source #

dataTypeOf :: Literal -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Literal) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Literal) Source #

gmapT :: (forall b. Data b => b -> b) -> Literal -> Literal Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Literal -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Literal -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Literal -> m Literal Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal Source #

Show Literal Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Literal -> ShowS Source # show :: Literal -> String Source # showList :: [Literal] -> ShowS Source #
Eq Literal Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Literal -> Literal -> Bool Source # (/=) :: Literal -> Literal -> Bool Source #
Ord Literal Source # |
Instance details Defined in Typst.Syntax Methods compare :: Literal -> Literal -> Ordering Source # (<) :: Literal -> Literal -> Bool Source # (<=) :: Literal -> Literal -> Bool Source # (>) :: Literal -> Literal -> Bool Source # (>=) :: Literal -> Literal -> Bool Source # max :: Literal -> Literal -> Literal Source # min :: Literal -> Literal -> Literal Source #

data Block Source #

Constructors

Content [Markup] |
CodeBlock [Expr] |

#### Instances

Instances details

Data Block Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block Source #

toConstr :: Block -> Constr Source #

dataTypeOf :: Block -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block) Source #

gmapT :: (forall b. Data b => b -> b) -> Block -> Block Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block Source #

Show Block Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Block -> ShowS Source # show :: Block -> String Source # showList :: [Block] -> ShowS Source #
Eq Block Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Block -> Block -> Bool Source # (/=) :: Block -> Block -> Bool Source #
Ord Block Source # |
Instance details Defined in Typst.Syntax Methods compare :: Block -> Block -> Ordering Source # (<) :: Block -> Block -> Bool Source # (<=) :: Block -> Block -> Bool Source # (>) :: Block -> Block -> Bool Source # (>=) :: Block -> Block -> Bool Source # max :: Block -> Block -> Block Source # min :: Block -> Block -> Block Source #

data Spreadable a Source #

Constructors

Spr Expr |
Reg a |

#### Instances

Instances details

Data a => Data (Spreadable a) Source # |

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) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Spreadable a) Source #

toConstr :: Spreadable a -> Constr Source #

dataTypeOf :: Spreadable a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Spreadable a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Spreadable a)) Source #

gmapT :: (forall b. Data b => b -> b) -> Spreadable a -> Spreadable a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Spreadable a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Spreadable a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Spreadable a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Spreadable a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Spreadable a -> m (Spreadable a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Spreadable a -> m (Spreadable a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Spreadable a -> m (Spreadable a) Source #

Show a => Show (Spreadable a) Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Spreadable a -> ShowS Source # show :: Spreadable a -> String Source # showList :: [Spreadable a] -> ShowS Source #
Eq a => Eq (Spreadable a) Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Spreadable a -> Spreadable a -> Bool Source # (/=) :: Spreadable a -> Spreadable a -> Bool Source #
Ord a => Ord (Spreadable a) Source # |

Instance details

Defined in Typst.Syntax

Methods

compare :: Spreadable a -> Spreadable a -> Ordering Source #

(<) :: Spreadable a -> Spreadable a -> Bool Source #

(<=) :: Spreadable a -> Spreadable a -> Bool Source #

(>) :: Spreadable a -> Spreadable a -> Bool Source #

(>=) :: Spreadable a -> Spreadable a -> Bool Source #

max :: Spreadable a -> Spreadable a -> Spreadable a Source #

min :: Spreadable a -> Spreadable a -> Spreadable a Source #

data Expr Source #

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

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr Source #

toConstr :: Expr -> Constr Source #

dataTypeOf :: Expr -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Expr) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expr) Source #

gmapT :: (forall b. Data b => b -> b) -> Expr -> Expr Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Expr -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expr -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expr -> m Expr Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr Source #

Show Expr Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Expr -> ShowS Source # show :: Expr -> String Source # showList :: [Expr] -> ShowS Source #
Eq Expr Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Expr -> Expr -> Bool Source # (/=) :: Expr -> Expr -> Bool Source #
Ord Expr Source # |
Instance details Defined in Typst.Syntax Methods compare :: Expr -> Expr -> Ordering Source # (<) :: Expr -> Expr -> Bool Source # (<=) :: Expr -> Expr -> Bool Source # (>) :: Expr -> Expr -> Bool Source # (>=) :: Expr -> Expr -> Bool Source # max :: Expr -> Expr -> Expr Source # min :: Expr -> Expr -> Expr Source #

data Unit Source #

Constructors

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

#### Instances

Instances details

Data Unit Source # |

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unit Source #

toConstr :: Unit -> Constr Source #

dataTypeOf :: Unit -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Unit) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Unit) Source #

gmapT :: (forall b. Data b => b -> b) -> Unit -> Unit Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unit -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unit -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Unit -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Unit -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unit -> m Unit Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unit -> m Unit Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unit -> m Unit Source #

Show Unit Source # |
Instance details Defined in Typst.Syntax Methods showsPrec :: Int -> Unit -> ShowS Source # show :: Unit -> String Source # showList :: [Unit] -> ShowS Source #
Eq Unit Source # |
Instance details Defined in Typst.Syntax Methods (==) :: Unit -> Unit -> Bool Source # (/=) :: Unit -> Unit -> Bool Source #
Ord Unit Source # |
Instance details Defined in Typst.Syntax Methods compare :: Unit -> Unit -> Ordering Source # (<) :: Unit -> Unit -> Bool Source # (<=) :: Unit -> Unit -> Bool Source # (>) :: Unit -> Unit -> Bool Source # (>=) :: Unit -> Unit -> Bool Source # max :: Unit -> Unit -> Unit Source # min :: Unit -> Unit -> Unit Source #