Struct Upper 

pub struct Upper<P>(/* private fields */);

A case adapter for a character profile that accepts uncased, uppercase, and titlecase characters.

Trait Implementations

impl<P: CharProfile> CasedProfile for Upper<P>

impl<P: CharProfile> Profile for Upper<P>

const APPEND_CLOSED: AppendClosed = P::APPEND_CLOSED

Whether or not a fragment containing characters in this profile are append-closed.

type BaseProfile = P

The underlying profile that this profile is based on.

type Segmentation = <P as Profile>::Segmentation

The segmentation strategy that this profile uses.

fn is_ident_start(c: char) -> bool

Whether or not the provided character can appear at the absolute start of an identifier.

fn is_chunk_start(c: char) -> bool

Whether or not the provided character can appear at the start of a new chunk (e.g. right after a delimiter).

fn in_profile(c: char) -> bool

Whether or not the provided character can appear at any point in a chunk.

fn is_chunk_continue(c: char) -> bool

Whether or not the provided character is valid at any position after the first character of a chunk (a run of non-delimiter characters).

impl<Superset, Subset> SubsetOf<Superset> for Upper<Subset>

where Superset: CharProfile, Subset: CharProfile + SubsetOf<Superset>,

Proof: If Super ⊆ Subset, then Super ⊆ Upper<Subset>.

Let’s pretend that Superset=Unicode, and Subset=Ascii.

If Ascii: SubsetOf<Unicode> (true), then this implies the following:

• Upper<Ascii>: SubsetOf<Unicode>

Examples

left_is_subset_of_right::<Upper<Ascii>, Ascii>();
left_is_subset_of_right::<Upper<Unicode>, Unicode>();
left_is_subset_of_right::<Upper<Ascii>, Unicode>();

impl<Superset, Subset> SubsetOf<Upper<Superset>> for Upper<Subset>

where Superset: CharProfile, Subset: CharProfile + SubsetOf<Superset>,

Proof: if Super ⊆ Subset, then Upper<Super> ⊆ Upper<Subset>.

Let’s pretend that Superset=Unicode, and Subset=Ascii.

If Ascii: SubsetOf<Unicode> (true), then this implies the following:

• Upper<Ascii>: SubsetOf<Upper<Unicode>>

Examples

left_is_subset_of_right::<Upper<Ascii>, Upper<Ascii>>();
left_is_subset_of_right::<Upper<Unicode>, Upper<Unicode>>();
left_is_subset_of_right::<Upper<Ascii>, Upper<Unicode>>();

impl<Superset, Subset> SubsetOf<UpperCamel<Superset>> for Upper<Subset>

where Superset: CharProfile, Subset: CharProfile + SubsetOf<Superset>,

Proof: If Super ⊆ Subset, then UpperCamel<Super> ⊆ Upper<Subset> (because UpperCamel ⊆ Upper).

Let’s pretend that Superset=Unicode, and Subset=Ascii.

If Ascii: SubsetOf<Unicode> (true), then this implies the following:

• Upper<Ascii>: SubsetOf<UpperCamel<Unicode>>

Examples

left_is_subset_of_right::<Upper<Ascii>, UpperCamel<Ascii>>();
left_is_subset_of_right::<Upper<Unicode>, UpperCamel<Unicode>>();
left_is_subset_of_right::<Upper<Ascii>, UpperCamel<Unicode>>();