Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Tag a |
Instances
Bivariant (Tagged :: Type -> Type -> Type) Source # | |
Covariant (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<$>) :: (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 (a <:= Tagged tag) -> Tagged tag a Source # (<&>) :: Tagged tag a -> (a -> b) -> Tagged tag b 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 # (<&&>) :: Covariant u => ((Tagged tag :. u) := a) -> (a -> b) -> (Tagged tag :. u) := b Source # (<&&&>) :: (Covariant u, Covariant v) => ((Tagged tag :. (u :. v)) := a) -> (a -> b) -> (Tagged tag :. (u :. v)) := b Source # (<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Tagged tag :. (u :. (v :. w))) := a) -> (a -> b) -> (Tagged tag :. (u :. (v :. w))) := b Source # (.#..) :: (Tagged tag ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d Source # (.#...) :: (Tagged tag ~ v a, Tagged tag ~ v b, Category v, Covariant (v a), Covariant (v b)) => v d e -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e Source # (.#....) :: (Tagged tag ~ v a, Tagged tag ~ v b, Tagged tag ~ v c, Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e f -> ((v a :. (v b :. (v c :. v d))) := e) -> (v a :. (v b :. (v c :. v d))) := f Source # (<$$) :: Covariant u => b -> ((Tagged tag :. u) := a) -> (Tagged tag :. u) := b Source # (<$$$) :: (Covariant u, Covariant v) => b -> ((Tagged tag :. (u :. v)) := a) -> (Tagged tag :. (u :. v)) := b Source # (<$$$$) :: (Covariant u, Covariant v, Covariant w) => b -> ((Tagged tag :. (u :. (v :. w))) := a) -> (Tagged tag :. (u :. (v :. w))) := b Source # ($$>) :: Covariant u => ((Tagged tag :. u) := a) -> b -> (Tagged tag :. u) := b Source # ($$$>) :: (Covariant u, Covariant v) => ((Tagged tag :. (u :. v)) := a) -> b -> (Tagged tag :. (u :. v)) := b Source # ($$$$>) :: (Covariant u, Covariant v, Covariant w) => ((Tagged tag :. (u :. (v :. w))) := a) -> b -> (Tagged tag :. (u :. (v :. w))) := b Source # | |
Bindable (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (>>=) :: 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 u => ((u :. Tagged tag) := a) -> (a -> Tagged tag b) -> (u :. Tagged tag) := b Source # | |
Applicative (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<*>) :: 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 -> Tagged tag (a -> b) -> Tagged tag b Source # (<**>) :: Applicative u => ((Tagged tag :. u) := (a -> b)) -> ((Tagged tag :. u) := a) -> (Tagged tag :. u) := b Source # (<***>) :: (Applicative u, Applicative v) => ((Tagged tag :. (u :. v)) := (a -> b)) -> ((Tagged tag :. (u :. v)) := a) -> (Tagged tag :. (u :. v)) := b Source # (<****>) :: (Applicative u, Applicative v, Applicative w) => ((Tagged tag :. (u :. (v :. w))) := (a -> b)) -> ((Tagged tag :. (u :. (v :. w))) := a) -> (Tagged tag :. (u :. (v :. w))) := b Source # | |
Distributive (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (>>-) :: Covariant u => u a -> (a -> Tagged tag b) -> (Tagged tag :. u) := b Source # collect :: Covariant u => (a -> Tagged tag b) -> u a -> (Tagged tag :. u) := b Source # distribute :: Covariant u => ((u :. Tagged tag) := a) -> (Tagged tag :. u) := a Source # (>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Tagged tag b) -> (Tagged tag :. (u :. v)) := b Source # (>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Tagged tag b) -> (Tagged tag :. (u :. (v :. w))) := b Source # (>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Tagged tag b) -> (Tagged tag :. (u :. (v :. (w :. j)))) := b Source # | |
Extendable (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (=>>) :: 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 # ($=>>) :: Covariant u => ((u :. Tagged tag) := a) -> (Tagged tag a -> b) -> (u :. Tagged tag) := b Source # (<<=$) :: Covariant u => ((u :. Tagged tag) := a) -> (Tagged tag a -> b) -> (u :. Tagged tag) := b Source # | |
Extractable (Tagged tag) Source # | |
Comonad (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Pointable (Tagged tag) Source # | |
Monad (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Traversable (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (->>) :: (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 # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tagged tag) := a) -> (a -> u b) -> (u :. (v :. Tagged tag)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tagged tag)) := a) -> (a -> u b) -> (u :. (w :. (v :. Tagged tag))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tagged tag))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Tagged tag)))) := b Source # | |
Semigroup a => Semigroup (Tagged tag a) Source # | |
Ringoid a => Ringoid (Tagged tag a) Source # | |
Monoid a => Monoid (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Quasiring a => Quasiring (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Group a => Group (Tagged tag a) Source # | |
Supremum a => Supremum (Tagged tag a) Source # | |
Infimum a => Infimum (Tagged tag a) Source # | |
Lattice a => Lattice (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Setoid a => Setoid (Tagged tag a) Source # | |
Chain a => Chain (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged |