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

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Markup

toConstr :: Markup -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Markup -> ShowS

show :: Markup -> String

showList :: [Markup] -> ShowS

Eq Markup Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Markup -> Markup -> Bool

(/=) :: Markup -> Markup -> Bool

Ord Markup Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Markup -> Markup -> Ordering

(<) :: Markup -> Markup -> Bool

(<=) :: Markup -> Markup -> Bool

(>) :: Markup -> Markup -> Bool

(>=) :: Markup -> Markup -> Bool

max :: Markup -> Markup -> Markup

min :: Markup -> Markup -> Markup

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

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 # 
Instance details

Defined in Typst.Syntax

Methods

fromString :: String -> Identifier

Monoid Identifier Source # 
Instance details

Defined in Typst.Syntax

Semigroup Identifier Source # 
Instance details

Defined in Typst.Syntax

Methods

(<>) :: Identifier -> Identifier -> Identifier

sconcat :: NonEmpty Identifier -> Identifier

stimes :: Integral b => b -> Identifier -> Identifier

Show Identifier Source # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Eq Identifier Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Identifier -> Identifier -> Bool

(/=) :: Identifier -> Identifier -> Bool

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Imports

toConstr :: Imports -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Imports -> ShowS

show :: Imports -> String

showList :: [Imports] -> ShowS

Eq Imports Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Imports -> Imports -> Bool

(/=) :: Imports -> Imports -> Bool

Ord Imports Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Imports -> Imports -> Ordering

(<) :: Imports -> Imports -> Bool

(<=) :: Imports -> Imports -> Bool

(>) :: Imports -> Imports -> Bool

(>=) :: Imports -> Imports -> Bool

max :: Imports -> Imports -> Imports

min :: Imports -> Imports -> Imports

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Arg

toConstr :: Arg -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

Eq Arg Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Arg -> Arg -> Bool

(/=) :: Arg -> Arg -> Bool

Ord Arg Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Arg -> Arg -> Ordering

(<) :: Arg -> Arg -> Bool

(<=) :: Arg -> Arg -> Bool

(>) :: Arg -> Arg -> Bool

(>=) :: Arg -> Arg -> Bool

max :: Arg -> Arg -> Arg

min :: Arg -> Arg -> Arg

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Param

toConstr :: Param -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Param -> ShowS

show :: Param -> String

showList :: [Param] -> ShowS

Eq Param Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Param -> Param -> Bool

(/=) :: Param -> Param -> Bool

Ord Param Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Param -> Param -> Ordering

(<) :: Param -> Param -> Bool

(<=) :: Param -> Param -> Bool

(>) :: Param -> Param -> Bool

(>=) :: Param -> Param -> Bool

max :: Param -> Param -> Param

min :: Param -> Param -> Param

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bind

toConstr :: Bind -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Bind -> ShowS

show :: Bind -> String

showList :: [Bind] -> ShowS

Eq Bind Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Bind -> Bind -> Bool

(/=) :: Bind -> Bind -> Bool

Ord Bind Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Bind -> Bind -> Ordering

(<) :: Bind -> Bind -> Bool

(<=) :: Bind -> Bind -> Bool

(>) :: Bind -> Bind -> Bool

(>=) :: Bind -> Bind -> Bool

max :: Bind -> Bind -> Bind

min :: Bind -> Bind -> Bind

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

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> BindPart -> ShowS

show :: BindPart -> String

showList :: [BindPart] -> ShowS

Eq BindPart Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: BindPart -> BindPart -> Bool

(/=) :: BindPart -> BindPart -> Bool

Ord BindPart Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: BindPart -> BindPart -> Ordering

(<) :: BindPart -> BindPart -> Bool

(<=) :: BindPart -> BindPart -> Bool

(>) :: BindPart -> BindPart -> Bool

(>=) :: BindPart -> BindPart -> Bool

max :: BindPart -> BindPart -> BindPart

min :: BindPart -> BindPart -> BindPart

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal

toConstr :: Literal -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Eq Literal Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Literal -> Literal -> Bool

(/=) :: Literal -> Literal -> Bool

Ord Literal Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Literal -> Literal -> Ordering

(<) :: Literal -> Literal -> Bool

(<=) :: Literal -> Literal -> Bool

(>) :: Literal -> Literal -> Bool

(>=) :: Literal -> Literal -> Bool

max :: Literal -> Literal -> Literal

min :: Literal -> Literal -> Literal

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block

toConstr :: Block -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Eq Block Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Ord Block Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Block -> Block -> Ordering

(<) :: Block -> Block -> Bool

(<=) :: Block -> Block -> Bool

(>) :: Block -> Block -> Bool

(>=) :: Block -> Block -> Bool

max :: Block -> Block -> Block

min :: Block -> Block -> Block

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)

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Spreadable a -> ShowS

show :: Spreadable a -> String

showList :: [Spreadable a] -> ShowS

Eq a => Eq (Spreadable a) Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Spreadable a -> Spreadable a -> Bool

(/=) :: Spreadable a -> Spreadable a -> Bool

Ord a => Ord (Spreadable a) Source # 
Instance details

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

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr

toConstr :: Expr -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Eq Expr Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Ord Expr Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Expr -> Expr -> Ordering

(<) :: Expr -> Expr -> Bool

(<=) :: Expr -> Expr -> Bool

(>) :: Expr -> Expr -> Bool

(>=) :: Expr -> Expr -> Bool

max :: Expr -> Expr -> Expr

min :: Expr -> Expr -> Expr

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

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unit

toConstr :: Unit -> Constr

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 # 
Instance details

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

Eq Unit Source # 
Instance details

Defined in Typst.Syntax

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

Ord Unit Source # 
Instance details

Defined in Typst.Syntax

Methods

compare :: Unit -> Unit -> Ordering

(<) :: Unit -> Unit -> Bool

(<=) :: Unit -> Unit -> Bool

(>) :: Unit -> Unit -> Bool

(>=) :: Unit -> Unit -> Bool

max :: Unit -> Unit -> Unit

min :: Unit -> Unit -> Unit