pandora-0.1.4: A box of patterns and paradigms
Pandora.Paradigm.Basis.Identity
newtype Identity a Source #
Constructors
Defined in Pandora.Paradigm.Basis.Identity
Methods
(<$>) :: (a -> b) -> Identity a -> Identity b Source #
comap :: (a -> b) -> Identity a -> Identity b Source #
(<$) :: a -> Identity b -> Identity a Source #
($>) :: Identity a -> b -> Identity b Source #
void :: Identity a -> Identity () Source #
loeb :: Identity (Identity a -> a) -> Identity a Source #
(<$$>) :: Covariant u => (a -> b) -> Identity (u a) -> Identity (u b) Source #
(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Identity (u (v a)) -> Identity (u (v b)) Source #
(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Identity (u (v (w a))) -> Identity (u (v (w b))) Source #
(<*>) :: Identity (a -> b) -> Identity a -> Identity b Source #
apply :: Identity (a -> b) -> Identity a -> Identity b Source #
(*>) :: Identity a -> Identity b -> Identity b Source #
(<*) :: Identity a -> Identity b -> Identity a Source #
forever :: Identity a -> Identity b Source #
(>>=) :: Identity a -> (a -> Identity b) -> Identity b Source #
(=<<) :: (a -> Identity b) -> Identity a -> Identity b Source #
bind :: (a -> Identity b) -> Identity a -> Identity b Source #
join :: (Identity :.: Identity) a -> Identity a Source #
(>=>) :: (a -> Identity b) -> (b -> Identity c) -> a -> Identity c Source #
(<=<) :: (b -> Identity c) -> (a -> Identity b) -> a -> Identity c Source #
(>>-) :: Covariant t => t a -> (a -> Identity b) -> (Identity :.: t) b Source #
collect :: Covariant t => (a -> Identity b) -> t a -> (Identity :.: t) b Source #
distribute :: Covariant t => (t :.: Identity) a -> (Identity :.: t) a Source #
(=>>) :: Identity a -> (Identity a -> b) -> Identity b Source #
(<<=) :: (Identity a -> b) -> Identity a -> Identity b Source #
extend :: (Identity a -> b) -> Identity a -> Identity b Source #
duplicate :: Identity a -> (Identity :.: Identity) a Source #
(=<=) :: (Identity b -> c) -> (Identity a -> b) -> Identity a -> c Source #
(=>=) :: (Identity a -> b) -> (Identity b -> c) -> Identity a -> c Source #
extract :: Identity a -> a Source #
point :: a -> Identity a Source #
(->>) :: (Pointable u, Applicative u) => Identity a -> (a -> u b) -> (u :.: Identity) b Source #
traverse :: (Pointable u, Applicative u) => (a -> u b) -> Identity a -> (u :.: Identity) b Source #
sequence :: (Pointable u, Applicative u) => (Identity :.: u) a -> (u :.: Identity) a Source #
phi :: (Identity a -> b) -> a -> Identity b Source #
psi :: (a -> Identity b) -> Identity a -> b Source #
eta :: a -> (Identity :.: Identity) a Source #
epsilon :: (Identity :.: Identity) a -> a Source #
(<>) :: Identity a -> Identity a -> Identity a Source #
(><) :: Identity a -> Identity a -> Identity a Source #
unit :: Identity a Source #
inverse :: Identity a -> Identity a Source #
(\/) :: Identity a -> Identity a -> Identity a Source #
(/\) :: Identity a -> Identity a -> Identity a Source #
(==) :: Identity a -> Identity a -> Boolean Source #
(/=) :: Identity a -> Identity a -> Boolean Source #
(<=>) :: Identity a -> Identity a -> Ordering Source #
(<) :: Identity a -> Identity a -> Boolean Source #
(<=) :: Identity a -> Identity a -> Boolean Source #
(>) :: Identity a -> Identity a -> Boolean Source #
(>=) :: Identity a -> Identity a -> Boolean Source #