pandora-0.1.5: A box of patterns and paradigms
Pandora.Paradigm.Basis.Tagged
newtype Tagged tag a Source #
Constructors
Defined in Pandora.Paradigm.Basis.Tagged
Methods
(<$>) :: (a -> b) -> Tagged tag a -> Tagged tag b Source #
comap :: (a -> b) -> Tagged tag a -> Tagged tag b Source #
(<$) :: a -> Tagged tag b -> Tagged tag a Source #
($>) :: Tagged tag a -> b -> Tagged tag b Source #
void :: Tagged tag a -> Tagged tag () Source #
loeb :: Tagged tag (Tagged tag a -> a) -> Tagged tag a Source #
(<$$>) :: Covariant u => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source #
(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Tagged tag (u (v a)) -> Tagged tag (u (v b)) Source #
(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Tagged tag (u (v (w a))) -> Tagged tag (u (v (w b))) Source #
(<&>) :: Tagged tag a -> (a -> b) -> Tagged tag b Source #
(<*>) :: Tagged tag (a -> b) -> Tagged tag a -> Tagged tag b Source #
apply :: Tagged tag (a -> b) -> Tagged tag a -> Tagged tag b Source #
(*>) :: Tagged tag a -> Tagged tag b -> Tagged tag b Source #
(<*) :: Tagged tag a -> Tagged tag b -> Tagged tag a Source #
forever :: Tagged tag a -> Tagged tag b Source #
(>>=) :: Tagged tag a -> (a -> Tagged tag b) -> Tagged tag b Source #
(=<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source #
bind :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source #
join :: (Tagged tag :.: Tagged tag) a -> Tagged tag a Source #
(>=>) :: (a -> Tagged tag b) -> (b -> Tagged tag c) -> a -> Tagged tag c Source #
(<=<) :: (b -> Tagged tag c) -> (a -> Tagged tag b) -> a -> Tagged tag c Source #
(>>-) :: Covariant t => t a -> (a -> Tagged tag b) -> (Tagged tag :.: t) b Source #
collect :: Covariant t => (a -> Tagged tag b) -> t a -> (Tagged tag :.: t) b Source #
distribute :: Covariant t => (t :.: Tagged tag) a -> (Tagged tag :.: t) a Source #
(=>>) :: Tagged tag a -> (Tagged tag a -> b) -> Tagged tag b Source #
(<<=) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source #
extend :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source #
duplicate :: Tagged tag a -> (Tagged tag :.: Tagged tag) a Source #
(=<=) :: (Tagged tag b -> c) -> (Tagged tag a -> b) -> Tagged tag a -> c Source #
(=>=) :: (Tagged tag a -> b) -> (Tagged tag b -> c) -> Tagged tag a -> c Source #
extract :: Tagged tag a -> a Source #
point :: a -> Tagged tag a Source #
(->>) :: (Pointable u, Applicative u) => Tagged tag a -> (a -> u b) -> (u :.: Tagged tag) b Source #
traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tagged tag a -> (u :.: Tagged tag) b Source #
sequence :: (Pointable u, Applicative u) => (Tagged tag :.: u) a -> (u :.: Tagged tag) a Source #
(<>) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
(><) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
unit :: Tagged tag a Source #
inverse :: Tagged tag a -> Tagged tag a Source #
(\/) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
(/\) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
(==) :: Tagged tag a -> Tagged tag a -> Boolean Source #
(/=) :: Tagged tag a -> Tagged tag a -> Boolean Source #
(<=>) :: Tagged tag a -> Tagged tag a -> Ordering Source #
(<) :: Tagged tag a -> Tagged tag a -> Boolean Source #
(<=) :: Tagged tag a -> Tagged tag a -> Boolean Source #
(>) :: Tagged tag a -> Tagged tag a -> Boolean Source #
(>=) :: Tagged tag a -> Tagged tag a -> Boolean Source #
untag :: Tagged tag a -> a Source #
retag :: Tagged old a -> Tagged new a Source #
tagself :: a -> Tagged a a Source #