typst-0.5.0.3: Parsing and evaluating typst syntax.
Safe HaskellNone
LanguageHaskell2010

Typst.Util

Synopsis

Documentation

data TypeSpec #

Constructors

One ValType 
Many ValType 

Instances

Instances details
Show TypeSpec # 
Instance details

Defined in Typst.Util

Eq TypeSpec # 
Instance details

Defined in Typst.Util

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

Create element function with names for positional parameters.

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

Create element function with names for positional parameters.

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

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

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

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

allArgs :: forall (m :: Type -> Type). Monad m => ReaderT Arguments (MP m) [Val] #