Struct IdentityF 

pub struct IdentityF;

Type constructor for the identity functor: Of<T> = T.

Trait Implementations

impl Applicative for IdentityF

fn pure<A>(a: A) -> A

impl Apply for IdentityF

fn ap<A, B, F>(ff: F, fa: A) -> B

where A: Clone, F: Fn(A) -> B,

impl Chain for IdentityF

fn chain<A, B>(fa: A, f: impl Fn(A) -> B) -> B

impl Comonad for IdentityF

fn extract<A>(wa: &A) -> A

where A: Clone,

impl Extend for IdentityF

fn extend<A, B>(wa: A, f: impl Fn(&A) -> B) -> B

where A: Clone,

fn duplicate<A>(wa: Self::Of<A>) -> Self::Of<Self::Of<A>>

where A: Clone, Self::Of<A>: Clone,

impl Foldable for IdentityF

fn fold_right<A, B>(fa: A, init: B, f: impl Fn(A, B) -> B) -> B

fn fold_map<A, M>(fa: Self::Of<A>, f: impl Fn(A) -> M) -> M

where M: Monoid,

impl Functor for IdentityF

fn fmap<A, B>(fa: A, f: impl Fn(A) -> B) -> B

impl HKT for IdentityF

type Of<T> = T

impl Invariant for IdentityF

fn invmap<A, B>(fa: A, f: impl Fn(A) -> B, _g: impl Fn(B) -> A) -> B