Struct identity::elim_helpers::MLReflCase

pub struct MLReflCase;

Trait Implementations

impl Hash for MLReflCase

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the state given, updating the hasher as necessary.

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher

Feeds a slice of this type into the state provided.

impl Default for MLReflCase

fn default() -> MLReflCase

Returns the "default value" for a type.

impl Copy for MLReflCase

impl Clone for MLReflCase

fn clone(&self) -> MLReflCase

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MLReflCase

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<C: ?Sized> TyFun<C> for MLReflCase

type Result = TyTriple<C, C, Refl<C>>