Typst.Types

Documentation

data RE

Instances

Show RE

Defined in Typst.Regex

Methods

showsPrec :: Int -> RE -> ShowS

show :: RE -> String

showList :: [RE] -> ShowS

Eq RE

Defined in Typst.Regex

Methods

(==) :: RE -> RE -> Bool

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

Ord RE

Defined in Typst.Regex

Methods

compare :: RE -> RE -> Ordering

(<) :: RE -> RE -> Bool

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

(>) :: RE -> RE -> Bool

(>=) :: RE -> RE -> Bool

max :: RE -> RE -> RE

min :: RE -> RE -> RE

FromVal RE

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m RE

data Val

Constructors

VNone

VAuto

VBoolean !Bool

VInteger !Integer

VFloat !Double

VRatio !Rational

VLength !Length

VAlignment (Maybe Horiz) (Maybe Vert)

VAngle !Double

VFraction !Double

VColor !Color

VSymbol !Symbol

VString !Text

VRegex !RE

VContent (Seq Content)

VArray (Vector Val)

VDict (OMap Identifier Val)

VTermItem (Seq Content) (Seq Content)

VDirection Direction

VFunction (Maybe Identifier) (Map Identifier Val) Function

VArguments Arguments

VLabel !Text

VCounter !Counter

VSelector !Selector

VModule Identifier (Map Identifier Val)

VStyles

Instances

FromJSON Val

Defined in Typst.Types

Methods

parseJSON :: Value -> Parser Val

parseJSONList :: Value -> Parser [Val]

Show Val

Defined in Typst.Types

Methods

showsPrec :: Int -> Val -> ShowS

show :: Val -> String

showList :: [Val] -> ShowS

Eq Val

Defined in Typst.Types

Methods

(==) :: Val -> Val -> Bool

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

Ord Val

Defined in Typst.Types

Methods

compare :: Val -> Val -> Ordering

(<) :: Val -> Val -> Bool

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

(>) :: Val -> Val -> Bool

(>=) :: Val -> Val -> Bool

max :: Val -> Val -> Val

min :: Val -> Val -> Val

Compare Val

Defined in Typst.Types

Methods

comp :: Val -> Val -> Maybe Ordering

FromVal Val

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Val

Multipliable Val

Defined in Typst.Types

Methods

maybeTimes :: Val -> Val -> Maybe Val

maybeDividedBy :: Val -> Val -> Maybe Val

Negatable Val

Defined in Typst.Types

Methods

maybeNegate :: Val -> Maybe Val

Summable Val

Defined in Typst.Types

Methods

maybePlus :: Val -> Val -> Maybe Val

maybeMinus :: Val -> Val -> Maybe Val

data ValType

Constructors

TNone

TAuto

TBoolean

TInteger

TFloat

TRatio

TLength

TAlignment

TAngle

TFraction

TColor

TSymbol

TString

TRegex

TContent

TArray

TDict

TTermItem

TDirection

TFunction

TArguments

TModule

TSelector

TStyles

TLabel

TCounter

TLocation

TAny

ValType :|: ValType

Instances

Show ValType

Defined in Typst.Types

Methods

showsPrec :: Int -> ValType -> ShowS

show :: ValType -> String

showList :: [ValType] -> ShowS

Eq ValType

Defined in Typst.Types

Methods

(==) :: ValType -> ValType -> Bool

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

valType :: Val -> ValType

hasType :: ValType -> Val -> Bool

class FromVal a where

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m a

Instances

FromVal Rational

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Rational

FromVal Text

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Text

FromVal RE

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m RE

FromVal Counter

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Counter

FromVal Direction

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Direction

FromVal Function

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Function

FromVal Length

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Length

FromVal Selector

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Selector

FromVal Val

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Val

FromVal String

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m String

FromVal Integer

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Integer

FromVal Bool

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Bool

FromVal Double

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Double

FromVal Int

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Int

FromVal (Seq Content)

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m (Seq Content)

FromVal a => FromVal (Vector a)

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m (Vector a)

FromVal a => FromVal (Maybe a)

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m (Maybe a)

class Negatable a where

Methods

maybeNegate :: a -> Maybe a

Instances

Negatable Val

Defined in Typst.Types

Methods

maybeNegate :: Val -> Maybe Val

class Negatable a => Summable a where

Minimal complete definition

maybePlus

Methods

maybePlus :: a -> a -> Maybe a

maybeMinus :: a -> a -> Maybe a

Instances

Summable Val

Defined in Typst.Types

Methods

maybePlus :: Val -> Val -> Maybe Val

maybeMinus :: Val -> Val -> Maybe Val

class Multipliable a where

Methods

maybeTimes :: a -> a -> Maybe a

maybeDividedBy :: a -> a -> Maybe a

Instances

Multipliable Val

Defined in Typst.Types

Methods

maybeTimes :: Val -> Val -> Maybe Val

maybeDividedBy :: Val -> Val -> Maybe Val

data Selector

Constructors

SelectElement Identifier [(Identifier, Val)]

SelectString !Text

SelectRegex !RE

SelectLabel !Text

SelectOr Selector Selector

SelectAnd Selector Selector

SelectBefore Selector Selector

SelectAfter Selector Selector

Instances

Show Selector

Defined in Typst.Types

Methods

showsPrec :: Int -> Selector -> ShowS

show :: Selector -> String

showList :: [Selector] -> ShowS

Eq Selector

Defined in Typst.Types

Methods

(==) :: Selector -> Selector -> Bool

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

Ord Selector

Defined in Typst.Types

Methods

compare :: Selector -> Selector -> Ordering

(<) :: Selector -> Selector -> Bool

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

(>) :: Selector -> Selector -> Bool

(>=) :: Selector -> Selector -> Bool

max :: Selector -> Selector -> Selector

min :: Selector -> Selector -> Selector

FromVal Selector

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Selector

data Symbol

Constructors

Symbol

Fields

• symDefault :: !Text
• symAccent :: !Bool
• symVariants :: [(Set Text, Text)]

Instances

Show Symbol

Defined in Typst.Types

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

Eq Symbol

Defined in Typst.Types

Methods

(==) :: Symbol -> Symbol -> Bool

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

data Content

Constructors

Txt !Text

Lab !Text

Elt

Fields

• eltName :: Identifier
• eltPos :: Maybe SourcePos
• eltFields :: Map Identifier Val

Instances

IsString Content

Defined in Typst.Types

Methods

fromString :: String -> Content

Show Content

Defined in Typst.Types

Methods

showsPrec :: Int -> Content -> ShowS

show :: Content -> String

showList :: [Content] -> ShowS

Eq Content

Defined in Typst.Types

Methods

(==) :: Content -> Content -> Bool

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

Ord Content

Defined in Typst.Types

Methods

compare :: Content -> Content -> Ordering

(<) :: Content -> Content -> Bool

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

(>) :: Content -> Content -> Bool

(>=) :: Content -> Content -> Bool

max :: Content -> Content -> Content

min :: Content -> Content -> Content

FromVal (Seq Content)

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m (Seq Content)

newtype Function

Constructors

Function (forall m. Monad m => Arguments -> MP m Val)

Instances

Show Function

Defined in Typst.Types

Methods

showsPrec :: Int -> Function -> ShowS

show :: Function -> String

showList :: [Function] -> ShowS

Eq Function

Defined in Typst.Types

Methods

(==) :: Function -> Function -> Bool

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

FromVal Function

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Function

data Arguments

Constructors

Arguments

Fields

• positional :: [Val]
• named :: OMap Identifier Val

Instances

Monoid Arguments

Defined in Typst.Types

Methods

mempty :: Arguments

mappend :: Arguments -> Arguments -> Arguments

mconcat :: [Arguments] -> Arguments

Semigroup Arguments

Defined in Typst.Types

Methods

(<>) :: Arguments -> Arguments -> Arguments

sconcat :: NonEmpty Arguments -> Arguments

stimes :: Integral b => b -> Arguments -> Arguments

Show Arguments

Defined in Typst.Types

Methods

showsPrec :: Int -> Arguments -> ShowS

show :: Arguments -> String

showList :: [Arguments] -> ShowS

Eq Arguments

Defined in Typst.Types

Methods

(==) :: Arguments -> Arguments -> Bool

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

getPositionalArg :: (MonadFail m, MonadPlus m, FromVal a) => Int -> Arguments -> m a

getNamedArg :: (MonadFail m, MonadPlus m, FromVal a) => Identifier -> Arguments -> m a

class Compare a where

Methods

comp :: a -> a -> Maybe Ordering

Instances

Compare Val

Defined in Typst.Types

Methods

comp :: Val -> Val -> Maybe Ordering

type MP m = ParsecT [Markup] (EvalState m) m

data Scope

Constructors

FunctionScope

BlockScope

Instances

Show Scope

Defined in Typst.Types

Methods

showsPrec :: Int -> Scope -> ShowS

show :: Scope -> String

showList :: [Scope] -> ShowS

Eq Scope

Defined in Typst.Types

Methods

(==) :: Scope -> Scope -> Bool

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

Ord Scope

Defined in Typst.Types

Methods

compare :: Scope -> Scope -> Ordering

(<) :: Scope -> Scope -> Bool

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

(>) :: Scope -> Scope -> Bool

(>=) :: Scope -> Scope -> Bool

max :: Scope -> Scope -> Scope

min :: Scope -> Scope -> Scope

data FlowDirective

Constructors

FlowNormal

FlowBreak

FlowContinue

FlowReturn Bool

Instances

Show FlowDirective

Defined in Typst.Types

Methods

showsPrec :: Int -> FlowDirective -> ShowS

show :: FlowDirective -> String

showList :: [FlowDirective] -> ShowS

Eq FlowDirective

Defined in Typst.Types

Methods

(==) :: FlowDirective -> FlowDirective -> Bool

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

Ord FlowDirective

Defined in Typst.Types

Methods

compare :: FlowDirective -> FlowDirective -> Ordering

(<) :: FlowDirective -> FlowDirective -> Bool

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

(>) :: FlowDirective -> FlowDirective -> Bool

(>=) :: FlowDirective -> FlowDirective -> Bool

max :: FlowDirective -> FlowDirective -> FlowDirective

min :: FlowDirective -> FlowDirective -> FlowDirective

data EvalState m

Constructors

EvalState

Fields

• evalIdentifiers :: [(Scope, Map Identifier Val)]
• evalCounters :: Map Counter Integer
• evalMath :: Bool
• evalShowRules :: [ShowRule]
• evalStyles :: Map Identifier Arguments
• evalFlowDirective :: FlowDirective
• evalLoadBytes :: FilePath -> m ByteString

emptyEvalState :: EvalState m

data ShowRule

Constructors

ShowRule Selector (forall m. Monad m => Content -> MP m (Seq Content))

Instances

Show ShowRule

Defined in Typst.Types

Methods

showsPrec :: Int -> ShowRule -> ShowS

show :: ShowRule -> String

showList :: [ShowRule] -> ShowS

data Counter

Constructors

CounterCustom !Text

CounterLabel !Text

CounterSelector !Selector

CounterPage

Instances

Show Counter

Defined in Typst.Types

Methods

showsPrec :: Int -> Counter -> ShowS

show :: Counter -> String

showList :: [Counter] -> ShowS

Eq Counter

Defined in Typst.Types

Methods

(==) :: Counter -> Counter -> Bool

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

Ord Counter

Defined in Typst.Types

Methods

compare :: Counter -> Counter -> Ordering

(<) :: Counter -> Counter -> Bool

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

(>) :: Counter -> Counter -> Bool

(>=) :: Counter -> Counter -> Bool

max :: Counter -> Counter -> Counter

min :: Counter -> Counter -> Counter

FromVal Counter

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Counter

data LUnit

Constructors

LEm

LPt

LIn

LCm

LMm

Instances

Show LUnit

Defined in Typst.Types

Methods

showsPrec :: Int -> LUnit -> ShowS

show :: LUnit -> String

showList :: [LUnit] -> ShowS

Eq LUnit

Defined in Typst.Types

Methods

(==) :: LUnit -> LUnit -> Bool

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

data Length

Constructors

LExact Double LUnit

LRatio !Rational

LSum Length Length

Instances

Monoid Length

Defined in Typst.Types

Methods

mempty :: Length

mappend :: Length -> Length -> Length

mconcat :: [Length] -> Length

Semigroup Length

Defined in Typst.Types

Methods

(<>) :: Length -> Length -> Length

sconcat :: NonEmpty Length -> Length

stimes :: Integral b => b -> Length -> Length

Show Length

Defined in Typst.Types

Methods

showsPrec :: Int -> Length -> ShowS

show :: Length -> String

showList :: [Length] -> ShowS

Eq Length

Defined in Typst.Types

Methods

(==) :: Length -> Length -> Bool

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

FromVal Length

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Length

renderLength :: Bool -> Length -> Text

data Horiz

Constructors

HorizStart

HorizEnd

HorizLeft

HorizCenter

HorizRight

Instances

Show Horiz

Defined in Typst.Types

Methods

showsPrec :: Int -> Horiz -> ShowS

show :: Horiz -> String

showList :: [Horiz] -> ShowS

Eq Horiz

Defined in Typst.Types

Methods

(==) :: Horiz -> Horiz -> Bool

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

Ord Horiz

Defined in Typst.Types

Methods

compare :: Horiz -> Horiz -> Ordering

(<) :: Horiz -> Horiz -> Bool

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

(>) :: Horiz -> Horiz -> Bool

(>=) :: Horiz -> Horiz -> Bool

max :: Horiz -> Horiz -> Horiz

min :: Horiz -> Horiz -> Horiz

data Vert

Constructors

VertTop

VertHorizon

VertBottom

Instances

Show Vert

Defined in Typst.Types

Methods

showsPrec :: Int -> Vert -> ShowS

show :: Vert -> String

showList :: [Vert] -> ShowS

Eq Vert

Defined in Typst.Types

Methods

(==) :: Vert -> Vert -> Bool

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

Ord Vert

Defined in Typst.Types

Methods

compare :: Vert -> Vert -> Ordering

(<) :: Vert -> Vert -> Bool

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

(>) :: Vert -> Vert -> Bool

(>=) :: Vert -> Vert -> Bool

max :: Vert -> Vert -> Vert

min :: Vert -> Vert -> Vert

data Color

Constructors

RGB Rational Rational Rational Rational

CMYK Rational Rational Rational Rational

Luma Rational

Instances

Show Color

Defined in Typst.Types

Methods

showsPrec :: Int -> Color -> ShowS

show :: Color -> String

showList :: [Color] -> ShowS

Eq Color

Defined in Typst.Types

Methods

(==) :: Color -> Color -> Bool

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

Ord Color

Defined in Typst.Types

Methods

compare :: Color -> Color -> Ordering

(<) :: Color -> Color -> Bool

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

(>) :: Color -> Color -> Bool

(>=) :: Color -> Color -> Bool

max :: Color -> Color -> Color

min :: Color -> Color -> Color

data Direction

Constructors

Ltr

Rtl

Ttb

Btt

Instances

Show Direction

Defined in Typst.Types

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

Eq Direction

Defined in Typst.Types

Methods

(==) :: Direction -> Direction -> Bool

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

Ord Direction

Defined in Typst.Types

Methods

compare :: Direction -> Direction -> Ordering

(<) :: Direction -> Direction -> Bool

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

(>) :: Direction -> Direction -> Bool

(>=) :: Direction -> Direction -> Bool

max :: Direction -> Direction -> Direction

min :: Direction -> Direction -> Direction

FromVal Direction

Defined in Typst.Types

Methods

fromVal :: (MonadPlus m, MonadFail m) => Val -> m Direction

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

lookupIdentifier :: Monad m => Identifier -> MP m Val

joinVals :: MonadFail m => Val -> Val -> m Val

prettyVal :: Val -> Doc

valToContent :: Val -> Seq Content

repr :: Val -> Text

data Attempt a

Constructors

Success a

Failure String

Instances

MonadFail Attempt

Defined in Typst.Types

Methods

fail :: String -> Attempt a

Applicative Attempt

Defined in Typst.Types

Methods

pure :: a -> Attempt a

(<*>) :: Attempt (a -> b) -> Attempt a -> Attempt b

liftA2 :: (a -> b -> c) -> Attempt a -> Attempt b -> Attempt c

(*>) :: Attempt a -> Attempt b -> Attempt b

(<*) :: Attempt a -> Attempt b -> Attempt a

Functor Attempt

Defined in Typst.Types

Methods

fmap :: (a -> b) -> Attempt a -> Attempt b

(<$) :: a -> Attempt b -> Attempt a

Monad Attempt

Defined in Typst.Types

Methods

(>>=) :: Attempt a -> (a -> Attempt b) -> Attempt b

(>>) :: Attempt a -> Attempt b -> Attempt b

return :: a -> Attempt a

Show a => Show (Attempt a)

Defined in Typst.Types

Methods

showsPrec :: Int -> Attempt a -> ShowS

show :: Attempt a -> String

showList :: [Attempt a] -> ShowS

Eq a => Eq (Attempt a)

Defined in Typst.Types

Methods

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

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

Ord a => Ord (Attempt a)

Defined in Typst.Types

Methods

compare :: Attempt a -> Attempt a -> Ordering

(<) :: Attempt a -> Attempt a -> Bool

(<=) :: Attempt a -> Attempt a -> Bool

(>) :: Attempt a -> Attempt a -> Bool

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

max :: Attempt a -> Attempt a -> Attempt a

min :: Attempt a -> Attempt a -> Attempt a