| Safe Haskell | Safe-Inferred |
|---|---|
| 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
| 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 | |
| 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 | |
| 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 | |
| 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 # | |