Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Moduletypst-0.12Haskell2010

Typst.Util

1 type
10 values

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]