[−][src]Trait higher_cat::Extract
Extract
lets you take a value of A
out of an F<A>
.
It is the categorical dual of Pure
, ie. it does the opposite of Pure
.
Extract
lets you take a value of A
out of an F<A>
.
It is the categorical dual of Pure
, ie. it does the opposite of Pure
.
fn extract(self) -> A