| 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 #