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

Typst.Util

Synopsis

Documentation

data TypeSpec Source #

Constructors

One ValType 
Many ValType 

Instances

Instances details
Show TypeSpec Source # 
Instance details

Defined in Typst.Util

Methods

showsPrec :: Int -> TypeSpec -> ShowS

show :: TypeSpec -> String

showList :: [TypeSpec] -> ShowS

Eq TypeSpec Source # 
Instance details

Defined in Typst.Util

Methods

(==) :: TypeSpec -> TypeSpec -> Bool

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

makeElement :: Maybe Identifier -> Identifier -> [(Identifier, TypeSpec)] -> (Identifier, Val) Source #

Create element function with names for positional parameters.

makeElementWithScope :: Maybe Identifier -> Identifier -> [(Identifier, TypeSpec)] -> Map Identifier Val -> (Identifier, Val) Source #

Create element function with names for positional parameters.

makeFunction :: (forall m'. Monad m' => ReaderT Arguments (MP m') Val) -> Val Source #

makeFunctionWithScope :: (forall m'. Monad m' => ReaderT Arguments (MP m') Val) -> Map Identifier Val -> Val Source #

makeSymbolMap :: [(Text, Bool, Text)] -> Map Identifier Symbol Source #

argsToFields :: MonadFail m => [(Identifier, TypeSpec)] -> Arguments -> m (Map Identifier Val) Source #

nthArg :: (Monad m, FromVal a) => Int -> ReaderT Arguments (MP m) a Source #

namedArg :: (Monad m, FromVal a) => Identifier -> a -> ReaderT Arguments (MP m) a Source #

allArgs :: Monad m => ReaderT Arguments (MP m) [Val] Source #