Control.Functor.Basic.Identity

Documentation

newtype Identity a

Constructors

Identity a

Instances

Covariant Identity

Defined in Control.Functor.Basic.Identity

Methods

(<$>) :: (a -> b) -> Identity a -> Identity b

comap :: (a -> b) -> Identity a -> Identity b

(<$) :: a -> Identity b -> Identity a

($>) :: Identity a -> b -> Identity b

void :: Identity a -> Identity ()

Extendable Identity

Defined in Control.Functor.Basic.Identity

Methods

(=>>) :: Identity a -> (Identity a -> b) -> Identity b

(<<=) :: (Identity a -> b) -> Identity a -> Identity b

extend :: (Identity a -> b) -> Identity a -> Identity b

duplicate :: Identity a -> (Identity :.: Identity) a

Distributive Identity

Defined in Control.Functor.Basic.Identity

Methods

(>>-) :: Covariant t => t a -> (a -> Identity b) -> (Identity :.: t) b

collect :: Covariant t => (a -> Identity b) -> t a -> (Identity :.: t) b

distribute :: Covariant t => (t :.: Identity) a -> (Identity :.: t) a

Bindable Identity

Defined in Control.Functor.Basic.Identity

Methods

(>>=) :: Identity a -> (a -> Identity b) -> Identity b

(=<<) :: (a -> Identity b) -> Identity a -> Identity b

bind :: (a -> Identity b) -> Identity a -> Identity b

join :: (Identity :.: Identity) a -> Identity a

Applicative Identity

Defined in Control.Functor.Basic.Identity

Methods

(<*>) :: Identity (a -> b) -> Identity a -> Identity b

apply :: Identity (a -> b) -> Identity a -> Identity b

(*>) :: Identity a -> Identity b -> Identity b

(<*) :: Identity a -> Identity b -> Identity a

forever :: Identity a -> Identity b

Extractable Identity

Defined in Control.Functor.Basic.Identity

Methods

extract :: Identity a -> a

Pointable Identity

Defined in Control.Functor.Basic.Identity

Methods

point :: a -> Identity a

Traversable Identity

Defined in Control.Functor.Basic.Identity

Methods

(->>) :: (Pointable u, Applicative u) => Identity a -> (a -> u b) -> (u :.: Identity) b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Identity a -> (u :.: Identity) b

sequence :: (Pointable u, Applicative u) => (Identity :.: u) a -> (u :.: Identity) a

Adjoint Identity Identity

Defined in Control.Functor.Basic.Identity

Methods

phi :: (Identity a -> b) -> a -> Identity b

psi :: (a -> Identity b) -> Identity a -> b

eta :: a -> (Identity :.: Identity) a

epsilon :: (Identity :.: Identity) a -> a