Trait WithTypeArg

pub trait WithTypeArg<T: ?Sized> {
    type Type: TypeApp<Self, T>;
}

Required Associated Types

type Type: TypeApp<Self, T>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T> WithTypeArg<T> for haskell_bits::impls::OptionTypeCon

type Type = Option<T>

impl<T> WithTypeArg<T> for haskell_bits::impls::VecTypeCon

type Type = Vec<T>

impl<T, E> WithTypeArg<T> for haskell_bits::impls::ResultTypeCon<E>

type Type = Result<T, E>