Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Typst.Syntax
Documentation
Constructors
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 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 # | |
Eq Markup Source # | |
Ord Markup Source # | |
newtype Identifier Source #
Constructors
Identifier Text |
Instances
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 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 # | |
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 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 # | |
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 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 # | |
Eq Param Source # | |
Ord Param Source # | |
Defined in Typst.Syntax |
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 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 # | |
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 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 # | |
Eq BindPart Source # | |
Ord BindPart Source # | |
Defined in Typst.Syntax |
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 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 # | |
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 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 # | |
Eq Block Source # | |
Ord Block Source # | |
Defined in Typst.Syntax |
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) 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 # | |
Defined in Typst.Syntax | |
Eq a => Eq (Spreadable a) Source # | |
Defined in Typst.Syntax Methods (==) :: Spreadable a -> Spreadable a -> Bool Source # (/=) :: Spreadable a -> Spreadable a -> Bool Source # | |
Ord a => Ord (Spreadable a) Source # | |
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 # |
Constructors
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 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 # | |
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 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 # | |
Eq Unit Source # | |
Ord Unit Source # | |