Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Typst.Types
Documentation
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 | |
VDateTime (Maybe Day) (Maybe DiffTime) | |
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 | |
VVersion [Integer] | |
VType !ValType |
Instances
FromJSON Val Source # | |
Defined in Typst.Types | |
Show Val Source # | |
Eq Val Source # | |
Ord Val Source # | |
FromValue Val Source # | |
Defined in Typst.Types | |
Compare Val Source # | |
FromVal Val Source # | |
Multipliable Val Source # | |
Defined in Typst.Types | |
Negatable Val Source # | |
Defined in Typst.Types Methods maybeNegate :: Val -> Maybe Val Source # | |
Summable Val Source # | |
Constructors
class FromVal a where Source #
Instances
FromVal Rational Source # | |
Defined in Typst.Types | |
FromVal Text Source # | |
Defined in Typst.Types | |
FromVal RE Source # | |
FromVal Counter Source # | |
FromVal Direction Source # | |
FromVal Function Source # | |
FromVal Length Source # | |
FromVal Selector Source # | |
FromVal Val Source # | |
FromVal String Source # | |
Defined in Typst.Types | |
FromVal Integer Source # | |
Defined in Typst.Types | |
FromVal Bool Source # | |
Defined in Typst.Types | |
FromVal Double Source # | |
Defined in Typst.Types | |
FromVal Int Source # | |
Defined in Typst.Types | |
FromVal (Seq Content) Source # | |
FromVal a => FromVal (Vector a) Source # | |
Defined in Typst.Types | |
FromVal a => FromVal (Maybe a) Source # | |
Defined in Typst.Types |
class Negatable a where Source #
Methods
maybeNegate :: a -> Maybe a Source #
Instances
Negatable Val Source # | |
Defined in Typst.Types Methods maybeNegate :: Val -> Maybe Val Source # |
class Multipliable a where Source #
Instances
Multipliable Val Source # | |
Defined in Typst.Types |
Constructors
Constructors
Symbol | |
Fields
|
Constructors
Txt !Text | |
Lab !Text | |
Elt | |
Fields
|
Constructors
Arguments | |
Fields
|
getPositionalArg :: (MonadFail m, MonadPlus m, FromVal a) => Int -> Arguments -> m a Source #
getNamedArg :: (MonadFail m, MonadPlus m, FromVal a) => Identifier -> Arguments -> m a Source #
Constructors
FunctionScope | |
BlockScope |
data FlowDirective Source #
Constructors
FlowNormal | |
FlowBreak | |
FlowContinue | |
FlowReturn Bool |
Instances
Show FlowDirective Source # | |
Defined in Typst.Types Methods showsPrec :: Int -> FlowDirective -> ShowS show :: FlowDirective -> String showList :: [FlowDirective] -> ShowS | |
Eq FlowDirective Source # | |
Defined in Typst.Types | |
Ord FlowDirective Source # | |
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 Operations m Source #
Constructors
Operations | |
Fields
|
data XdgDirectory #
Instances
Constructors
EvalState | |
Fields
|
emptyEvalState :: EvalState m Source #
Constructors
CounterCustom !Text | |
CounterLabel !Text | |
CounterSelector !Selector | |
CounterPage |
renderLength :: Bool -> Length -> Text Source #
Constructors
HorizStart | |
HorizEnd | |
HorizLeft | |
HorizCenter | |
HorizRight |
Constructors
VertTop | |
VertHorizon | |
VertBottom |
Constructors
RGB Rational Rational Rational Rational | |
CMYK Rational Rational Rational Rational | |
Luma Rational |
newtype Identifier Source #
Constructors
Identifier Text |
Instances
Data Identifier Source # | |
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 Source # | |
Defined in Typst.Syntax Methods fromString :: String -> Identifier | |
Monoid Identifier Source # | |
Defined in Typst.Syntax Methods mempty :: Identifier mappend :: Identifier -> Identifier -> Identifier mconcat :: [Identifier] -> Identifier | |
Semigroup Identifier Source # | |
Defined in Typst.Syntax Methods (<>) :: Identifier -> Identifier -> Identifier sconcat :: NonEmpty Identifier -> Identifier stimes :: Integral b => b -> Identifier -> Identifier | |
Show Identifier Source # | |
Defined in Typst.Syntax Methods showsPrec :: Int -> Identifier -> ShowS show :: Identifier -> String showList :: [Identifier] -> ShowS | |
Eq Identifier Source # | |
Defined in Typst.Syntax | |
Ord Identifier Source # | |
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 Source #
valToContent :: Val -> Seq Content Source #
prettyType :: ValType -> Text Source #