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 #