typst-0.1.0.0: Parsing and evaluating typst syntax.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Typst.Syntax

Documentation

data Markup Source #

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

Eq Markup Source # 
Instance details

Defined in Typst.Syntax

Ord Markup Source # 
Instance details

Defined in Typst.Syntax

newtype Identifier Source #

Constructors

Identifier Text 

Instances

Instances details
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

Monoid Identifier Source # 
Instance details

Defined in Typst.Syntax

Semigroup Identifier Source # 
Instance details

Defined in Typst.Syntax

Show Identifier Source # 
Instance details

Defined in Typst.Syntax

Eq Identifier Source # 
Instance details

Defined in Typst.Syntax

Ord Identifier Source # 
Instance details

Defined in Typst.Syntax

data Imports Source #

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

Eq Imports Source # 
Instance details

Defined in Typst.Syntax

Ord Imports Source # 
Instance details

Defined in Typst.Syntax

data Arg Source #

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

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 #

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

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

data Bind Source #

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

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

data BindPart Source #

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

Eq BindPart Source # 
Instance details

Defined in Typst.Syntax

Ord BindPart Source # 
Instance details

Defined in Typst.Syntax

data Literal Source #

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

Eq Literal Source # 
Instance details

Defined in Typst.Syntax

Ord Literal Source # 
Instance details

Defined in Typst.Syntax

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

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

data Expr Source #

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

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

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

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