Struct IdentityF 

pub struct IdentityF;

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

Trait Implementations

impl Adjunction<IdentityF, IdentityF> for IdentityAdj

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

where A: Clone + 'static,

unit: A -> U(F(A))

fn counit<B>(b: B) -> B

where B: 'static,

counit: F(U(B)) -> B

impl Applicative for IdentityF

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

impl ApplicativeSt for IdentityF

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

where A: 'static,

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 ChainSt for IdentityF

fn chain_st<A, B>(fa: A, f: impl Fn(A) -> B + 'static) -> B

where A: 'static, B: 'static,

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 FunctorSt for IdentityF

fn fmap_st<A, B>(fa: A, f: impl Fn(A) -> B + 'static) -> B

where A: 'static, B: 'static,

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