haskell_bits::typeapp

Struct Val

Source 
pub struct Val {}

Trait Implementations§

Source§

impl<TCon, TIn, TOut, F, X> MapExt<TCon, F, TIn, TOut, &TIn, Val> for X
where TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, X: TypeApp<TCon, TIn>, F: Fn(&TIn) -> TOut,

Source§

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

Source§

impl<TCon, TIn, TOut, F, X> MapExt<TCon, F, TIn, TOut, TIn, Val> for X
where TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, X: TypeApp<TCon, TIn>, F: Fn(TIn) -> TOut,

Source§

fn mapop(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type

Source§

impl<TCon, T, TCollection> TypeAppMaybeRef<TCon, T, Val> for TCollection
where TCollection: TypeApp<TCon, T>, TCon: WithTypeArg<T> + ?Sized, T: ?Sized,

Auto Trait Implementations§

§

impl Freeze for Val

§

impl RefUnwindSafe for Val

§

impl Send for Val

§

impl Sync for Val

§

impl Unpin for Val

§

impl UnwindSafe for Val

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> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> Is for T

Source§

type Type = T

Source§

fn into_val(self) -> <T as Is>::Type

Source§

fn into_ref(&self) -> &<T as Is>::Type

Source§

fn into_mut_ref(&mut self) -> &mut <T as Is>::Type

Source§

fn from_val(x: <T as Is>::Type) -> T

Source§

fn from_ref(x: &<T as Is>::Type) -> &T

Source§

fn from_mut_ref(x: &mut <T as Is>::Type) -> &mut T

Source§

impl<T> SizedExt for T

Source§

fn lift<TCon>(self) -> <TCon as WithTypeArg<Self>>::Type
where TCon: Lift + WithTypeArg<Self> + ?Sized,

Source§

fn lap<TCon, TIn, TOut, TFunc, X>( self, x: X, ) -> <TCon as WithTypeArg<TOut>>::Type
where TCon: LinearApplicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: TypeApp<TCon, TFunc>, TFunc: Fn(TIn) -> TOut, X: TypeApp<TCon, TIn>,

Source§

fn lmap<TCon, TIn, TOut, X>(self, x: X) -> <TCon as WithTypeArg<TOut>>::Type
where TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: Fn(TIn) -> TOut, X: TypeApp<TCon, TIn>,

Source§

fn lmapop<TCon, TIn, TOut, F>(self, f: F) -> <TCon as WithTypeArg<TOut>>::Type
where TCon: LinearFunctor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: TypeApp<TCon, TIn>, F: Fn(TIn) -> TOut,

Source§

fn fmap<TCon, TIn, TOut, X>(self, x: &X) -> <TCon as WithTypeArg<TOut>>::Type
where TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: Fn(&TIn) -> TOut, X: TypeApp<TCon, TIn> + ?Sized,

Source§

fn fmapop<TCon, TIn, TOut, F>(&self, f: F) -> <TCon as WithTypeArg<TOut>>::Type
where TCon: Functor + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: TypeApp<TCon, TIn>, F: Fn(&TIn) -> TOut,

Source§

fn lbind<TCon, TIn, TOut, F, TResult>(self, f: F) -> TResult
where TCon: LinearMonad + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, F: Fn(TIn) -> TResult, TResult: TypeApp<TCon, TOut>, Self: TypeApp<TCon, TIn>,

Source§

fn lbind_ignore<TCon, TIn, TOut, TResult>(self, y: &TResult) -> TResult
where TCon: LinearMonad + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: TypeApp<TCon, TIn>, TResult: TypeApp<TCon, TOut>, <TCon as WithTypeArg<TOut>>::Type: Clone,

Source§

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

Source§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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<T> UnsizedExt for T

Source§

fn ap<TCon, TIn, TOut, TFunc, X>( &self, x: &X, ) -> <TCon as WithTypeArg<TOut>>::Type
where Self: TypeApp<TCon, TFunc>, TCon: Applicative + WithTypeArg<TFunc> + WithTypeArg<TIn> + WithTypeArg<TOut>, TFunc: Fn(&TIn) -> TOut, X: TypeApp<TCon, TIn> + ?Sized,

Source§

fn bind<TCon, TIn, TOut, F, TResult>(&self, f: F) -> TResult
where TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, F: Fn(&TIn) -> TResult, TResult: TypeApp<TCon, TOut>, Self: TypeApp<TCon, TIn>,

Source§

fn bind_ignore<TCon, TIn, TOut, TResult>(&self, y: &TResult) -> TResult
where TCon: Monad + WithTypeArg<TIn> + WithTypeArg<TOut> + ?Sized, Self: TypeApp<TCon, TIn>, TResult: TypeApp<TCon, TOut>, <TCon as WithTypeArg<TOut>>::Type: Clone,

Source§

fn fjoin<TCon, T, TInner>(&self) -> <TCon as WithTypeArg<T>>::Type
where TCon: Monad + WithTypeArg<T> + WithTypeArg<TInner> + WithTypeArg<<TCon as WithTypeArg<T>>::Type> + ?Sized, Self: TypeApp<TCon, TInner>, TInner: TypeApp<TCon, T>, <TCon as WithTypeArg<T>>::Type: Clone,