pub trait Pure: Kind0L1T {
// Required method
fn pure<A>(a: A) -> Apply0L1T<Self, A>;
}
Expand description
A typeclass for types that can lift values into a context.
Pure
provides the ability to lift a value into a context without
adding any additional structure or effects.
Required Methods§
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.