Struct lifted::K2

pub struct K2<Me: ?Sized, T, U> { /* fields omitted */ }

An instance of a type produced by a binary type constructor.

You can freely convert between the wrapper and implementation types with new and the inner_* methods:

use lifted::types::ResultC;

let great: Result<i32, String> = Ok(42);
let mut wrapped: K2<ResultC, i32, String> = K2::new(great);

assert!(wrapped.inner().is_ok());

*wrapped.inner_mut() = Err("does not compute".into());

assert!(wrapped.into_inner().is_err());

Implementations

impl<Me: ?Sized + Kind2<T, U>, T, U> K2<Me, T, U>

pub fn new(t: <Me as Kind2<T, U>>::Inner) -> Self

Wrap an instance in the higher-kinded wrapper.

use lifted::types::OptionC;
let wrapped: K1<OptionC, i32> = K1::new(None);

There is also an alias in the Kind1 trait which you can use to produce a wrapped type.

let wrapped: K1<OptionC, i32> = OptionC::new(Some(42));

pub fn inner(&self) -> &<Me as Kind2<T, U>>::Inner

Get a shared reference to the implementation type.

use lifted::types::OptionC;

let nothing: K1<OptionC, i32> = OptionC::new(None);
assert!(nothing.inner().is_none());

pub fn inner_mut(&mut self) -> &mut <Me as Kind2<T, U>>::Inner

Get an exclusive reference to the implementation type.

use lifted::types::OptionC;

let mut nothing: K1<OptionC, i32> = OptionC::new(None);
*nothing.inner_mut() = Some(42);
assert!(nothing.inner().is_some());

pub fn into_inner(self) -> <Me as Kind2<T, U>>::Inner

Extract the implementation type from the wrapper.

use lifted::types::OptionC;

let wrapped: K1<OptionC, i32> = OptionC::new(Some(42));
let unwrapped = wrapped.into_inner();
assert_eq!(Some(42), unwrapped);

impl<C: Kind2<A, B>, A, B> K2<C, A, B>

pub fn flatten(curried: K1<K2P1_1<C, A>, B>) -> Self

pub fn unflatten(self) -> K1<K2P1_1<C, A>, B>

Trait Implementations

impl<Me: ?Sized + Kind2<T, U>, T, U> Clone for K2<Me, T, U> where
    <Me as Kind2<T, U>>::Inner: Clone, 

pub fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Me: ?Sized + Kind2<T, U>, T, U> Debug for K2<Me, T, U> where
    <Me as Kind2<T, U>>::Inner: Debug, 

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

Formats the value using the given formatter.

impl<C: Kind2<A, B>, A, B> From<K1<K2P1_1<C, A>, B>> for K2<C, A, B>

pub fn from(curried: K1<K2P1_1<C, A>, B>) -> Self

Performs the conversion.

impl<C: Kind2<A, B>, A, B> From<K1<K2P1_2<C, B>, A>> for K2<C, A, B>

pub fn from(curried: K1<K2P1_2<C, B>, A>) -> Self

Performs the conversion.

impl<C: Kind2<A, B>, A, B> From<K2<C, A, B>> for K1<K2P1_1<C, A>, B>

pub fn from(uncurried: K2<C, A, B>) -> Self

Performs the conversion.

impl<C: Kind2<A, B>, A, B> From<K2<C, A, B>> for K1<K2P1_2<C, B>, A>

pub fn from(uncurried: K2<C, A, B>) -> Self

Performs the conversion.

impl<Me: ?Sized + Kind2<T, U>, T, U> PartialEq<K2<Me, T, U>> for K2<Me, T, U> where
    <Me as Kind2<T, U>>::Inner: PartialEq, 

pub fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.