Safe Haskell | None |
---|---|
Language | Haskell2010 |
Typst.Syntax
Documentation
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
Data Markup Source # | |
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 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 Source # | |
Eq Markup Source # | |
Ord Markup Source # | |
newtype Identifier Source #
Constructors
Identifier Text |
Instances
Monoid Identifier Source # | |
Defined in Typst.Syntax Methods mempty :: Identifier mappend :: Identifier -> Identifier -> Identifier mconcat :: [Identifier] -> Identifier | |
Semigroup Identifier Source # | |
Defined in Typst.Syntax Methods (<>) :: Identifier -> Identifier -> Identifier sconcat :: NonEmpty Identifier -> Identifier stimes :: Integral b => b -> Identifier -> Identifier | |
Data Identifier Source # | |
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 Source # | |
Defined in Typst.Syntax Methods fromString :: String -> Identifier | |
Show Identifier Source # | |
Defined in Typst.Syntax Methods showsPrec :: Int -> Identifier -> ShowS show :: Identifier -> String showList :: [Identifier] -> ShowS | |
Eq Identifier Source # | |
Defined in Typst.Syntax | |
Ord Identifier Source # | |
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 |
Constructors
AllIdentifiers | |
SomeIdentifiers [(Identifier, Maybe Identifier)] | |
NoIdentifiers (Maybe Identifier) |
Instances
Data Imports Source # | |
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 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 Source # | |
Eq Imports Source # | |
Ord Imports Source # | |
Constructors
KeyValArg Identifier Expr | |
NormalArg Expr | |
ArrayArg [[Markup]] | |
SpreadArg Expr | |
BlockArg [Markup] |
Instances
Data Arg Source # | |
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 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 Source # | |
Eq Arg Source # | |
Ord Arg Source # | |
Constructors
DefaultParam Identifier Expr | |
NormalParam Identifier | |
DestructuringParam [BindPart] | |
SinkParam (Maybe Identifier) | |
SkipParam |
Instances
Data Param Source # | |
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 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 Source # | |
Eq Param Source # | |
Ord Param Source # | |
Constructors
BasicBind (Maybe Identifier) | |
DestructuringBind [BindPart] |
Instances
Data Bind Source # | |
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 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 Source # | |
Eq Bind Source # | |
Ord Bind Source # | |
Constructors
Simple (Maybe Identifier) | |
WithKey Identifier (Maybe Identifier) | |
Sink (Maybe Identifier) |
Instances
Data BindPart Source # | |
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 Source # | |
Eq BindPart Source # | |
Ord BindPart Source # | |
Instances
Data Literal Source # | |
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 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 Source # | |
Eq Literal Source # | |
Ord Literal Source # | |
Instances
Data Block Source # | |
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 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 Source # | |
Eq Block Source # | |
Ord Block Source # | |
data Spreadable a Source #
Instances
Data a => Data (Spreadable a) Source # | |
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) Source # | |
Defined in Typst.Syntax Methods showsPrec :: Int -> Spreadable a -> ShowS show :: Spreadable a -> String showList :: [Spreadable a] -> ShowS | |
Eq a => Eq (Spreadable a) Source # | |
Defined in Typst.Syntax | |
Ord a => Ord (Spreadable a) Source # | |
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 |
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
Data Expr Source # | |
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 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 Source # | |
Eq Expr Source # | |
Ord Expr Source # | |
Instances
Data Unit Source # | |
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 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 Source # | |
Eq Unit Source # | |
Ord Unit Source # | |