pub struct ParElem {
pub leading: Settable<Self, 0u8>,
pub spacing: Settable<Self, 1u8>,
pub justify: Settable<Self, 2u8>,
pub justification_limits: Settable<Self, 3u8>,
pub linebreaks: Settable<Self, 4u8>,
pub first_line_indent: Settable<Self, 5u8>,
pub hanging_indent: Settable<Self, 6u8>,
pub body: Content,
}Expand description
A logical subdivison of textual content.
Typst automatically collects inline-level elements into paragraphs. Inline-level elements include [text], horizontal spacing, boxes, and inline equations.
To separate paragraphs, use a blank line (or an explicit [parbreak]).
Paragraphs are also automatically interrupted by any block-level element
(like [block], [place], or anything that shows itself as one of these).
The par element is primarily used in set rules to affect paragraph
properties, but it can also be used to explicitly display its argument as a
paragraph of its own. Then, the paragraph’s body may not contain any
block-level content.
§Boxes and blocks
As explained above, usually paragraphs only contain inline-level content.
However, you can integrate any kind of block-level content into a paragraph
by wrapping it in a [box].
Conversely, you can separate inline-level content from a paragraph by
wrapping it in a [block]. In this case, it will not become part of any
paragraph at all. Read the following section for an explanation of why that
matters and how it differs from just adding paragraph breaks around the
content.
§What becomes a paragraph?
When you add inline-level content to your document, Typst will automatically wrap it in paragraphs. However, a typical document also contains some text that is not semantically part of a paragraph, for example in a heading or caption.
The rules for when Typst wraps inline-level content in a paragraph are as follows:
-
All text at the root of a document is wrapped in paragraphs.
-
Text in a container (like a
block) is only wrapped in a paragraph if the container holds any block-level content. If all of the contents are inline-level, no paragraph is created.
In the laid-out document, it’s not immediately visible whether text became part of a paragraph. However, it is still important for various reasons:
-
Certain paragraph styling like
first-line-indentwill only apply to proper paragraphs, not any text. Similarly,parshow rules of course only trigger on paragraphs. -
A proper distinction between paragraphs and other text helps people who rely on Assistive Technology (AT) (such as screen readers) navigate and understand the document properly.
-
PDF export will generate a
Ptag only for paragraphs. -
HTML export will generate a
<p>tag only for paragraphs.
When creating custom reusable components, you can and should take charge
over whether Typst creates paragraphs. By wrapping text in a [block]
instead of just adding paragraph breaks around it, you can force the absence
of a paragraph. Conversely, by adding a [parbreak] after some content in a
container, you can force it to become a paragraph even if it’s just one
word. This is, for example, what non-tight lists do to
force their items to become paragraphs.
§Example
#set par(
first-line-indent: 1em,
spacing: 0.65em,
justify: true,
)
We proceed by contradiction.
Suppose that there exists a set
of positive integers $a$, $b$, and
$c$ that satisfies the equation
$a^n + b^n = c^n$ for some
integer value of $n > 2$.
Without loss of generality,
let $a$ be the smallest of the
three integers. Then, we ...Fields§
§leading: Settable<Self, 0u8>§spacing: Settable<Self, 1u8>§justify: Settable<Self, 2u8>§justification_limits: Settable<Self, 3u8>§linebreaks: Settable<Self, 4u8>§first_line_indent: Settable<Self, 5u8>§hanging_indent: Settable<Self, 6u8>§body: ContentImplementations§
Source§impl ParElem
impl ParElem
Sourcepub fn with_leading(self, leading: Length) -> Self
pub fn with_leading(self, leading: Length) -> Self
Builder-style setter for the leading field.
Sourcepub fn with_spacing(self, spacing: Length) -> Self
pub fn with_spacing(self, spacing: Length) -> Self
Builder-style setter for the spacing field.
Sourcepub fn with_justify(self, justify: bool) -> Self
pub fn with_justify(self, justify: bool) -> Self
Builder-style setter for the justify field.
Sourcepub fn with_justification_limits(
self,
justification_limits: JustificationLimits,
) -> Self
pub fn with_justification_limits( self, justification_limits: JustificationLimits, ) -> Self
Builder-style setter for the justification-limits field.
Sourcepub fn with_linebreaks(self, linebreaks: Smart<Linebreaks>) -> Self
pub fn with_linebreaks(self, linebreaks: Smart<Linebreaks>) -> Self
Builder-style setter for the linebreaks field.
Sourcepub fn with_first_line_indent(self, first_line_indent: FirstLineIndent) -> Self
pub fn with_first_line_indent(self, first_line_indent: FirstLineIndent) -> Self
Builder-style setter for the first-line-indent field.
Sourcepub fn with_hanging_indent(self, hanging_indent: Length) -> Self
pub fn with_hanging_indent(self, hanging_indent: Length) -> Self
Builder-style setter for the hanging-indent field.
Source§impl ParElem
impl ParElem
pub const leading: Field<Self, 0u8>
pub const spacing: Field<Self, 1u8>
pub const justify: Field<Self, 2u8>
pub const justification_limits: Field<Self, 3u8>
pub const linebreaks: Field<Self, 4u8>
pub const first_line_indent: Field<Self, 5u8>
pub const hanging_indent: Field<Self, 6u8>
pub const body: Field<Self, 7u8>
Trait Implementations§
Source§impl NativeElement for ParElem
impl NativeElement for ParElem
Source§impl NativeScope for ParElem
impl NativeScope for ParElem
Source§fn constructor() -> Option<&'static NativeFuncData>
fn constructor() -> Option<&'static NativeFuncData>
Source§impl RequiredField<7> for ParElem
impl RequiredField<7> for ParElem
Source§impl SettableField<0> for ParElem
impl SettableField<0> for ParElem
Source§impl SettableField<1> for ParElem
impl SettableField<1> for ParElem
Source§impl SettableField<2> for ParElem
impl SettableField<2> for ParElem
Source§impl SettableField<3> for ParElem
impl SettableField<3> for ParElem
const FIELD: SettableFieldData<Self, 3u8>
type Type = JustificationLimits
Source§impl SettableField<4> for ParElem
impl SettableField<4> for ParElem
const FIELD: SettableFieldData<Self, 4u8>
type Type = Smart<Linebreaks>
Source§impl SettableField<5> for ParElem
impl SettableField<5> for ParElem
const FIELD: SettableFieldData<Self, 5u8>
type Type = FirstLineIndent
Source§impl SettableField<6> for ParElem
impl SettableField<6> for ParElem
impl RefableProperty<0> for ParElem
impl RefableProperty<1> for ParElem
impl RefableProperty<2> for ParElem
impl RefableProperty<4> for ParElem
impl RefableProperty<5> for ParElem
impl RefableProperty<6> for ParElem
Auto Trait Implementations§
impl Freeze for ParElem
impl RefUnwindSafe for ParElem
impl Send for ParElem
impl Sync for ParElem
impl Unpin for ParElem
impl UnwindSafe for ParElem
Blanket Implementations§
Source§impl<S, D, Swp, Dwp, T> AdaptInto<D, Swp, Dwp, T> for Swhere
T: Real + Zero + Arithmetics + Clone,
Swp: WhitePoint<T>,
Dwp: WhitePoint<T>,
D: AdaptFrom<S, Swp, Dwp, T>,
impl<S, D, Swp, Dwp, T> AdaptInto<D, Swp, Dwp, T> for Swhere
T: Real + Zero + Arithmetics + Clone,
Swp: WhitePoint<T>,
Dwp: WhitePoint<T>,
D: AdaptFrom<S, Swp, Dwp, T>,
Source§fn adapt_into_using<M>(self, method: M) -> Dwhere
M: TransformMatrix<T>,
fn adapt_into_using<M>(self, method: M) -> Dwhere
M: TransformMatrix<T>,
Source§fn adapt_into(self) -> D
fn adapt_into(self) -> D
Source§impl<T, C> ArraysFrom<C> for Twhere
C: IntoArrays<T>,
impl<T, C> ArraysFrom<C> for Twhere
C: IntoArrays<T>,
Source§fn arrays_from(colors: C) -> T
fn arrays_from(colors: C) -> T
Source§impl<T, C> ArraysInto<C> for Twhere
C: FromArrays<T>,
impl<T, C> ArraysInto<C> for Twhere
C: FromArrays<T>,
Source§fn arrays_into(self) -> C
fn arrays_into(self) -> C
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<WpParam, T, U> Cam16IntoUnclamped<WpParam, T> for Uwhere
T: FromCam16Unclamped<WpParam, U>,
impl<WpParam, T, U> Cam16IntoUnclamped<WpParam, T> for Uwhere
T: FromCam16Unclamped<WpParam, U>,
Source§type Scalar = <T as FromCam16Unclamped<WpParam, U>>::Scalar
type Scalar = <T as FromCam16Unclamped<WpParam, U>>::Scalar
parameters when converting.Source§fn cam16_into_unclamped(
self,
parameters: BakedParameters<WpParam, <U as Cam16IntoUnclamped<WpParam, T>>::Scalar>,
) -> T
fn cam16_into_unclamped( self, parameters: BakedParameters<WpParam, <U as Cam16IntoUnclamped<WpParam, T>>::Scalar>, ) -> T
self into C, using the provided parameters.Source§impl<T> CheckedAs for T
impl<T> CheckedAs for T
Source§fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
fn checked_as<Dst>(self) -> Option<Dst>where
T: CheckedCast<Dst>,
Source§impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
impl<Src, Dst> CheckedCastFrom<Src> for Dstwhere
Src: CheckedCast<Dst>,
Source§fn checked_cast_from(src: Src) -> Option<Dst>
fn checked_cast_from(src: Src) -> Option<Dst>
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T, C> ComponentsFrom<C> for Twhere
C: IntoComponents<T>,
impl<T, C> ComponentsFrom<C> for Twhere
C: IntoComponents<T>,
Source§fn components_from(colors: C) -> T
fn components_from(colors: C) -> T
Source§impl<T> FromAngle<T> for T
impl<T> FromAngle<T> for T
Source§fn from_angle(angle: T) -> T
fn from_angle(angle: T) -> T
angle.Source§impl<T, U> FromStimulus<U> for Twhere
U: IntoStimulus<T>,
impl<T, U> FromStimulus<U> for Twhere
U: IntoStimulus<T>,
Source§fn from_stimulus(other: U) -> T
fn from_stimulus(other: U) -> T
other into Self, while performing the appropriate scaling,
rounding and clamping.Source§impl<T, U> IntoAngle<U> for Twhere
U: FromAngle<T>,
impl<T, U> IntoAngle<U> for Twhere
U: FromAngle<T>,
Source§fn into_angle(self) -> U
fn into_angle(self) -> U
T.Source§impl<WpParam, T, U> IntoCam16Unclamped<WpParam, T> for Uwhere
T: Cam16FromUnclamped<WpParam, U>,
impl<WpParam, T, U> IntoCam16Unclamped<WpParam, T> for Uwhere
T: Cam16FromUnclamped<WpParam, U>,
Source§type Scalar = <T as Cam16FromUnclamped<WpParam, U>>::Scalar
type Scalar = <T as Cam16FromUnclamped<WpParam, U>>::Scalar
parameters when converting.Source§fn into_cam16_unclamped(
self,
parameters: BakedParameters<WpParam, <U as IntoCam16Unclamped<WpParam, T>>::Scalar>,
) -> T
fn into_cam16_unclamped( self, parameters: BakedParameters<WpParam, <U as IntoCam16Unclamped<WpParam, T>>::Scalar>, ) -> T
self into C, using the provided parameters.Source§impl<T, U> IntoColor<U> for Twhere
U: FromColor<T>,
impl<T, U> IntoColor<U> for Twhere
U: FromColor<T>,
Source§fn into_color(self) -> U
fn into_color(self) -> U
Source§impl<T, U> IntoColorUnclamped<U> for Twhere
U: FromColorUnclamped<T>,
impl<T, U> IntoColorUnclamped<U> for Twhere
U: FromColorUnclamped<T>,
Source§fn into_color_unclamped(self) -> U
fn into_color_unclamped(self) -> U
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> IntoResult for Twhere
T: IntoValue,
impl<T> IntoResult for Twhere
T: IntoValue,
Source§fn into_result(self, _: Span) -> Result<Value, EcoVec<SourceDiagnostic>>
fn into_result(self, _: Span) -> Result<Value, EcoVec<SourceDiagnostic>>
Source§impl<T> IntoStimulus<T> for T
impl<T> IntoStimulus<T> for T
Source§fn into_stimulus(self) -> T
fn into_stimulus(self) -> T
self into T, while performing the appropriate scaling,
rounding and clamping.Source§impl<T> IntoValue for Twhere
T: NativeElement,
impl<T> IntoValue for Twhere
T: NativeElement,
Source§fn into_value(self) -> Value
fn into_value(self) -> Value
Source§impl<T> OverflowingAs for T
impl<T> OverflowingAs for T
Source§fn overflowing_as<Dst>(self) -> (Dst, bool)where
T: OverflowingCast<Dst>,
fn overflowing_as<Dst>(self) -> (Dst, bool)where
T: OverflowingCast<Dst>,
Source§impl<Src, Dst> OverflowingCastFrom<Src> for Dstwhere
Src: OverflowingCast<Dst>,
impl<Src, Dst> OverflowingCastFrom<Src> for Dstwhere
Src: OverflowingCast<Dst>,
Source§fn overflowing_cast_from(src: Src) -> (Dst, bool)
fn overflowing_cast_from(src: Src) -> (Dst, bool)
Source§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> SaturatingAs for T
impl<T> SaturatingAs for T
Source§fn saturating_as<Dst>(self) -> Dstwhere
T: SaturatingCast<Dst>,
fn saturating_as<Dst>(self) -> Dstwhere
T: SaturatingCast<Dst>,
Source§impl<Src, Dst> SaturatingCastFrom<Src> for Dstwhere
Src: SaturatingCast<Dst>,
impl<Src, Dst> SaturatingCastFrom<Src> for Dstwhere
Src: SaturatingCast<Dst>,
Source§fn saturating_cast_from(src: Src) -> Dst
fn saturating_cast_from(src: Src) -> Dst
Source§impl<T, const I: u8> SettableProperty<I> for Twhere
T: SettableField<I>,
impl<T, const I: u8> SettableProperty<I> for Twhere
T: SettableField<I>,
const FIELD: SettablePropertyData<T, I> = const FIELD: SettablePropertyData<Self, I> = <Self as SettableField::<I>>::FIELD.property;
type Type = <T as SettableField<I>>::Type
const FOLD: Option<FoldFn<Self::Type>> = _
Source§fn default_ref() -> &'static Self::Type
fn default_ref() -> &'static Self::Type
Source§impl<T, C> TryComponentsInto<C> for Twhere
C: TryFromComponents<T>,
impl<T, C> TryComponentsInto<C> for Twhere
C: TryFromComponents<T>,
Source§type Error = <C as TryFromComponents<T>>::Error
type Error = <C as TryFromComponents<T>>::Error
try_into_colors fails to cast.Source§fn try_components_into(self) -> Result<C, <T as TryComponentsInto<C>>::Error>
fn try_components_into(self) -> Result<C, <T as TryComponentsInto<C>>::Error>
Source§impl<T, U> TryIntoColor<U> for Twhere
U: TryFromColor<T>,
impl<T, U> TryIntoColor<U> for Twhere
U: TryFromColor<T>,
Source§fn try_into_color(self) -> Result<U, OutOfBounds<U>>
fn try_into_color(self) -> Result<U, OutOfBounds<U>>
OutOfBounds error is returned which contains
the unclamped color. Read more