Trait CharExt 

pub trait CharExt {
    // Required method
    fn to_utf8(self) -> Seq<u8>;
}

Extra methods for char

Required Methods

fn to_utf8(self) -> Seq<u8>

logic

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl CharExt for char

fn to_utf8(self) -> Seq<u8>

logic(opaque)

ensures

1 <= result.len() && result.len() <= 4

ensures

(self@ <= 127) == (result.len() == 1)

ensures

self@ <= 127 ==> result[0]@ == self@

Implementors