Struct UpperCamel 

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

A case adapter for a character profile that accepts uncased, uppercase, and titlecase characters on the first character of a chunk or identifier.

Note

If you’re using the regular unicode profile, it’s possible that you can construct valid strings which appear to break the requirements of this type.

use typed_ident::presets::unicode::UpperCamelIdent;
assert!(UpperCamelIdent::new("_a").is_err()); // Doesn't work (expected).
assert!(UpperCamelIdent::new("_゙a").is_ok()); // Works?

The payload provided for that second case is:

• _ (U+005F) LOW LINE
• ゙ (U+3099) COMBINING KATAKANA-HIRAGANA VOICED SOUND MARK
• a (U+0061) LATIN SMALL LETTER A

The way to prevent this is to disallow Mn/Mc/Me characters on chunk start.

You can get a profile which does this by enabling unicode-strict. This will enable the Strict profile which can be used directly - or if you have presets enabled - used indirectly through strict presets.

use typed_ident::presets::strict::UpperCamelIdent;
assert!(UpperCamelIdent::new("_a").is_err()); // Doesn't work (expected).
assert!(UpperCamelIdent::new("_゙a").is_err()); // Now it doesn't work!

See Strict for more details on when you should do this.

Trait Implementations

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

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

const APPEND_CLOSED: AppendClosed

UpperCamel cannot be append-closed for >=Fragment, because is_chunk_start is not identical to is_chunk_continue.

See Profile::APPEND_CLOSED for details.

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 UpperCamel<Subset>

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

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

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

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

• UpperCamel<Ascii>: SubsetOf<Unicode>

Proof

left_is_subset_of_right::<UpperCamel<Ascii>, Ascii>();
left_is_subset_of_right::<UpperCamel<Unicode>, Unicode>();
left_is_subset_of_right::<UpperCamel<Ascii>, 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>>();

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

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

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

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

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

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

Proof

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