Trait creusot_contracts::std::slice::Join

pub trait Join<Separator> {
    type Output;

    // Required method
    fn join(slice: &Self, sep: Separator) -> Self::Output;
}

🔬This is a nightly-only experimental API. (slice_concat_trait)

Helper trait for [T]::join

Required Associated Types

type Output

🔬This is a nightly-only experimental API. (slice_concat_trait)

The resulting type after concatenation

Required Methods

fn join(slice: &Self, sep: Separator) -> Self::Output

🔬This is a nightly-only experimental API. (slice_concat_trait)

Implementation of [T]::join

Object Safety

This trait is not object safe.

Implementors

impl<S> Join<&str> for [S]

where S: Borrow<str>,

type Output = String

impl<S> Join<&OsStr> for [S]

where S: Borrow<OsStr>,

type Output = OsString

impl<T, V> Join<&[T]> for [V]

where T: Clone, V: Borrow<[T]>,

type Output = Vec<T>

impl<T, V> Join<&T> for [V]

where T: Clone, V: Borrow<[T]>,

type Output = Vec<T>