Typst.Syntax

Documentation

data Markup

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

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Markup -> ShowS

show :: Markup -> String

showList :: [Markup] -> ShowS

Eq Markup

Defined in Typst.Syntax

Methods

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

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

Ord Markup

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

Constructors

Identifier Text

Instances

Data Identifier

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

Defined in Typst.Syntax

Methods

fromString :: String -> Identifier

Monoid Identifier

Defined in Typst.Syntax

Methods

mempty :: Identifier

mappend :: Identifier -> Identifier -> Identifier

mconcat :: [Identifier] -> Identifier

Semigroup Identifier

Defined in Typst.Syntax

Methods

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

sconcat :: NonEmpty Identifier -> Identifier

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

Show Identifier

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Eq Identifier

Defined in Typst.Syntax

Methods

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

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

Ord Identifier

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

data Imports

Constructors

AllIdentifiers

SomeIdentifiers [(Identifier, Maybe Identifier)]

NoIdentifiers (Maybe Identifier)

Instances

Data Imports

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Imports -> ShowS

show :: Imports -> String

showList :: [Imports] -> ShowS

Eq Imports

Defined in Typst.Syntax

Methods

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

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

Ord Imports

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

Constructors

KeyValArg Identifier Expr

NormalArg Expr

ArrayArg [[Markup]]

SpreadArg Expr

BlockArg [Markup]

Instances

Data Arg

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Arg -> ShowS

show :: Arg -> String

showList :: [Arg] -> ShowS

Eq Arg

Defined in Typst.Syntax

Methods

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

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

Ord Arg

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

Constructors

DefaultParam Identifier Expr

NormalParam Identifier

DestructuringParam [BindPart]

SinkParam (Maybe Identifier)

SkipParam

Instances

Data Param

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Param -> ShowS

show :: Param -> String

showList :: [Param] -> ShowS

Eq Param

Defined in Typst.Syntax

Methods

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

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

Ord Param

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

Constructors

BasicBind (Maybe Identifier)

DestructuringBind [BindPart]

Instances

Data Bind

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Bind -> ShowS

show :: Bind -> String

showList :: [Bind] -> ShowS

Eq Bind

Defined in Typst.Syntax

Methods

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

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

Ord Bind

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

Constructors

Simple (Maybe Identifier)

WithKey Identifier (Maybe Identifier)

Sink (Maybe Identifier)

Instances

Data BindPart

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> BindPart -> ShowS

show :: BindPart -> String

showList :: [BindPart] -> ShowS

Eq BindPart

Defined in Typst.Syntax

Methods

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

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

Ord BindPart

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

Constructors

String Text

Boolean Bool

Float Double

Int Integer

Numeric Double Unit

None

Auto

Instances

Data Literal

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Eq Literal

Defined in Typst.Syntax

Methods

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

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

Ord Literal

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

Constructors

Content [Markup]

CodeBlock [Expr]

Instances

Data Block

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Eq Block

Defined in Typst.Syntax

Methods

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

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

Ord Block

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

Constructors

Spr Expr

Reg a

Instances

Data a => Data (Spreadable a)

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)

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Spreadable a -> ShowS

show :: Spreadable a -> String

showList :: [Spreadable a] -> ShowS

Eq a => Eq (Spreadable a)

Defined in Typst.Syntax

Methods

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

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

Ord a => Ord (Spreadable a)

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

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

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Eq Expr

Defined in Typst.Syntax

Methods

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

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

Ord Expr

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

Constructors

Pt

Mm

Cm

In

Deg

Rad

Em

Fr

Percent

Instances

Data Unit

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

Defined in Typst.Syntax

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

Eq Unit

Defined in Typst.Syntax

Methods

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

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

Ord Unit

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