[][src]Struct reffers::aref::ARef

#[repr(C)]
pub struct ARef<'a, U: ?Sized> { /* fields omitted */ }

ARef - a reference that abstracts the owner completely.

ARef takes over where OwningRef ends, by abstracting the owner even further.

This makes it possible to return, say, an ARef<str> and have the caller drop the owner when done looking at it, without having to bother about whether the owner is a String, Rc<String>, a Ref<String>, or something else.

If you want an ARef that's restricted to Send types, use ARefs, and if you want an ARef that's restricted to Send + Sync types, use ARefss.

Oh, and it's repr(C), so it can be transferred over an FFI boundary (if its target is repr(C), too).

Example

use std::rc::Rc;
use reffers::ARef;

struct CountDown(pub Rc<String>);
impl CountDown {
    pub fn idx_to_str(&self, idx: u32) -> ARef<str> {
        match idx {
            0 => "Go!".into(),
            // We clone the Rc instead of the String
            // for performance,
            // then we map from &String to &str
            1 => ARef::new(self.0.clone()).map(|s| &**s),
            _ => format!("{}...", idx).into(),
        }
    }
}

let c = CountDown(Rc::new("Ready!".into()));
assert_eq!(&*c.idx_to_str(3), "3...");
assert_eq!(&*c.idx_to_str(2), "2...");
assert_eq!(&*c.idx_to_str(1), "Ready!");
assert_eq!(&*c.idx_to_str(0), "Go!");

Methods

impl<'a, U: Descend> ARef<'a, U>[src]

pub fn descend_from(x: Self) -> ARef<'a, <U::Inner as Deref>::Target>[src]

Descends from a ARef<RefCell> to a ARef (or RwLock, or Mutex etc)

Example

use std::sync::{Arc, RwLock};
use reffers::ARef;

let x = Arc::new(RwLock::new("Hello!"));
{
    let aref = ARef::new(x.clone());
    let hello = ARef::descend_from(aref);
    // The RwLock is now read locked
    assert_eq!(*hello, "Hello!");
    assert!(x.try_write().is_err());
}
// The lock is released when the ARef goes out of scope
assert!(x.try_write().is_ok());

pub fn try_descend_from(
    x: Self
) -> Result<ARef<'a, <U::Inner as Deref>::Target>, Self>
[src]

Descends from a ARef<RefCell> to a ARef (or RwLock, or Mutex etc)

Fails if the RefCell/RwLock/Mutex is busy (or poisoned).

impl<'a, U: ?Sized> ARef<'a, U>[src]

pub fn new<O>(owner: O) -> Self where
    O: 'a + AReffic + Deref<Target = U>, 
[src]

Creates a new ARef from what the ARef points to.

Example

use std::rc::Rc;
use reffers::ARef;

let aref = ARef::new(Rc::new(43));
assert_eq!(*aref, 43);

pub fn map<V: ?Sized, F: FnOnce(&U) -> &V>(self, f: F) -> ARef<'a, V>[src]

Maps the ARef's target to something reachable from the target.

Example

use reffers::ARef;

let aref: ARef<[u8]> = vec![0u8, 5, 7].into();
assert_eq!(*aref.map(|s| &s[1]), 5);

pub fn try_map<E, V: ?Sized, F: FnOnce(&U) -> Result<&V, E>>(
    self,
    f: F
) -> Result<ARef<'a, V>, E>
[src]

Like map, but with Result passthrough.

Example

use reffers::ARef;

let aref = ARef::<[u8]>::from(vec![0u8, 5, 7]);
assert_eq!(aref.try_map(|s| s.get(9).ok_or(())), Err(()));

Trait Implementations

impl<'a, U: ?Sized> Drop for ARef<'a, U>[src]

impl<'a, U: ?Sized> AsRef<U> for ARef<'a, U>[src]

impl<'a, O: 'a + AReffic + Deref<Target = U>, U: ?Sized> From<O> for ARef<'a, U>[src]

impl<'a, U: ?Sized + Eq> Eq for ARef<'a, U>[src]

impl<'a, U: ?Sized + Ord> Ord for ARef<'a, U>[src]

impl<'a, U: ?Sized + PartialEq> PartialEq<ARef<'a, U>> for ARef<'a, U>[src]

impl<'a, U: ?Sized + PartialOrd> PartialOrd<ARef<'a, U>> for ARef<'a, U>[src]

impl<'a, U: Debug + ?Sized> Debug for ARef<'a, U>[src]

impl<'a, U: ?Sized> Deref for ARef<'a, U>[src]

type Target = U

The resulting type after dereferencing.

impl<'a, U: ?Sized + Hash> Hash for ARef<'a, U>[src]

impl<'a, U: ?Sized> Borrow<U> for ARef<'a, U>[src]

Auto Trait Implementations

impl<'a, U> !Send for ARef<'a, U>

impl<'a, U> !Sync for ARef<'a, U>

impl<'a, U: ?Sized> Unpin for ARef<'a, U>

impl<'a, U: ?Sized> UnwindSafe for ARef<'a, U> where
    U: RefUnwindSafe

impl<'a, U> !RefUnwindSafe for ARef<'a, U>

Blanket Implementations

impl<T> Repr for T[src]

type Store = T

impl<T> Repr for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]