Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x7a6c33e2026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Moduletypst-0.12Haskell2010

Typst.Util

Synopsis

data TypeSpec
value makeElement
value makeElementWithScope
value makeFunction
value makeFunctionWithScope
value makeSymbolMap
value argsToFields
value nthArg
value namedArg
value getNamed
value allArgs

Packagetypst-0.12
Exports11
LanguageHaskell2010
LicenceBSD-3-Clause
SourceUtil.hs

datadata TypeSpec

Constructors

One ValType
Many ValType

Instances2Eq, Show

Eq TypeSpecDefined in typst-0.12 · Typst.Util
Show TypeSpecDefined in typst-0.12 · Typst.Util

valuemakeElement

Create element function with names for positional parameters.

valuemakeElementWithScope

Create element function with names for positional parameters.

valuemakeFunction

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

valuemakeFunctionWithScope

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

valuemakeSymbolMap :: [Sym] -> Map Identifier Symbol

valueargsToFields

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

valuenthArg :: (Monad m, FromVal a) => Int -> ReaderT Arguments (MP m) a

valuenamedArg

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

valuegetNamed :: Monad m => Identifier -> ReaderT Arguments (MP m) (Maybe Val)

valueallArgs :: Monad m => ReaderT Arguments (MP m) [Val]