Skip to main content

ReferenceXEnv

rsynko_memory

Struct ReferenceXEnv 

Source 
pub struct ReferenceXEnv;
Expand description

Asks about tweets by writing down the address that would be asked.

Nothing here reaches anywhere: a request is the address itself, which is what makes what a tweet source decides before it asks anything readable without asking anything.

Trait Implementations§

Source§

impl Clone for ReferenceXEnv

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Copy for ReferenceXEnv

Source§

impl Debug for ReferenceXEnv

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for ReferenceXEnv

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl XAttachmentAlg for ReferenceXEnv

Source§

fn attachment( &self, identity: impl Into<String>, kind: AttachmentKind, address: impl Into<String>, ) -> XAttachment

Defines one attachment from what the answer stated about it.
Source§

impl XAttachmentViewAlg for ReferenceXEnv

Source§

fn attachment_identity<'a>(&self, attachment: &'a XAttachment) -> &'a str

Observes what the attachment is called among the others the tweet carries.
Source§

fn attachment_kind(&self, attachment: &XAttachment) -> AttachmentKind

Observes what kind of file it is.
Source§

fn attachment_address<'a>(&self, attachment: &'a XAttachment) -> &'a str

Observes where its bytes are fetched from.
Source§

impl XRequestAlg for ReferenceXEnv

Source§

fn tweet_request(&self, address: impl Into<String>) -> String

Defines the request asking one address what it holds.
Source§

impl XRequestViewAlg for ReferenceXEnv

Source§

fn request_address<'a>(&self, request: &'a String) -> &'a str

Observes the address the request asks.
Source§

impl XSorts for ReferenceXEnv

Source§

type Request = String

Represents exactly the request that asks what one tweet carries.
Source§

type Attachment = XAttachment

Represents one file a tweet carries.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<This> GaugeLaws<This> for This

Source§

fn gauge_laws(&self) -> Result<(), Error>

Checks that a gauge states a share without claiming more resolution than it has.

The laws checked are:

  1. a gauge occupies its stated width whatever share it states;
  2. no share is stated as filled before it is reached, and none is stated twice;
  3. nothing stated is nothing filled, and everything stated fills the whole track;
  4. the stated text occupies exactly one cell per counted cell.
§Errors

Returns the first violated law.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts 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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts 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 more
Source§

impl<This> IntoExt<This> for This

Source§

fn to<R>(self) -> R
where This: Into<R>,

A version of Into::into function that can be used to explicitly specify the target conversion type.

use alux_sdk::*;
// `Into` requires context to infer the type,
let _: i64 = Into::into(42_i8);
// The opposite `From` requires context to infer the type,
let _: i64 = From::from(42_i8);
// `.to()` can be used in the same way as a postfix function (the same as `.into()`),
let _: i64 = 42_i8.to();
// but also with the type specified explicitly.
let _ = 42_i8.to::<i64>();
// Especially useful to chain multiple conversions inline.
let _: i64 = 42_i8.to::<i16>().to::<i32>().into();
Source§

impl<This> IntoIteratorExt<This> for This

Source§

fn try_collect_vec<T, E>(self) -> Result<Vec<T>, E>
where This: Iterator<Item = Result<T, E>>,

A variant of the try_collect and collect_vec combined function from the Itertools library. The materialized value is a Vec inside a Result object.

Returns the first error without collecting later values.

use alux_sdk::*;

let values = [Ok::<_, &str>(1), Ok(2), Ok(3)]
    .into_iter()
    .try_collect_vec();

assert_eq!(values, Ok(vec![1, 2, 3]));
Source§

fn collect_exact<T>(self, n: usize) -> Option<Vec<T>>
where This: Iterator<Item = T>,

Takes exactly n elements from the iterator.

Returns Some(Vec<T>) if the iterator yields exactly n elements, otherwise returns None.

use alux_sdk::*;

let v = [1, 2, 3];

assert_eq!(v.iter().copied().collect_exact(3), Some(vec![1, 2, 3]));
assert_eq!(v.iter().copied().collect_exact(4), None);
assert_eq!(v.iter().copied().collect_exact(2), None);
Source§

fn try_unzip<A, B, E>(self) -> Result<(Vec<A>, Vec<B>), E>
where This: IntoIterator<Item = Result<(A, B), E>>,

Efficiently splits an iterator of Result<(A, B), E> into two Vecs, short-circuiting on error.

Consumes the iterator, collecting all A elements into one vector and all B elements into another, without first allocating an intermediate vector of tuples. Returns the tuple (Vec<A>, Vec<B>) on success, or the first error encountered.

use alux_sdk::*;

let input = vec![Ok((1, "x")), Ok((2, "y"))];
let (xs, ys) = input.try_unzip::<_, _, ()>().unwrap();

assert_eq!(xs, vec![1, 2]);
assert_eq!(ys, vec!["x", "y"]);
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<This> XLaws<This> for This
where This: XRequestAlg + XRequestViewAlg,

Source§

fn x_laws(&self) -> Result<(), Error>

Checks that an address, a request, and a way of taking each mean one thing.

The laws checked are:

  1. every address of one tweet names that tweet, however it was written;
  2. an address naming no tweet names none, whatever else it looks like;
  3. asking about one tweet is a function of which tweet it is, and always carries a token;
  4. every way of taking is named by its own word and says what it does;
  5. taking everything accepts every kind, and each other way accepts its own and no other;
  6. every kind the answer names reads back as itself.
§Errors

Returns the first violated law.

Source§

fn check_address_laws(&self) -> Result<(), Error>

Checks which addresses name a tweet.

§Errors

Returns the first violated law.

Source§

fn check_request_laws(&self) -> Result<(), Error>

Checks what asking about one tweet is.

§Errors

Returns the first violated law.

Source§

impl<This> XRequestExt<This> for This
where This: XRequestAlg,

Source§

fn status_request(&self, id: &str) -> <This as XSorts>::Request

States the request asking what the tweet one identity names carries.