Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Tag a |
Instances
Monoidal (-->) (-->) (:*:) (:*:) (Tagged tag) Source # | |
Monoidal (<--) (-->) (:*:) (:*:) (Tagged tag) Source # | |
Semimonoidal (-->) (:*:) (:*:) (Tagged tag :: Type -> Type) Source # | |
Semimonoidal (<--) (:*:) (:*:) (Tagged tag :: Type -> Type) Source # | |
Extendable ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Bindable ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Monad ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Comonad ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<-|-) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u a0) -> Flip Tagged a (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Flip Tagged a)) => (a0 -> b) -> Flip Tagged a (u (v a0)) -> Flip Tagged a (u (v b)) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged (<-|-) :: (a -> b) -> Tagged tag a -> Tagged tag b Source # (<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u a) -> Tagged tag (u b) Source # (<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Tagged tag)) => (a -> b) -> Tagged tag (u (v a)) -> Tagged tag (u (v b)) Source # | |
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source # | |
Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged :: Type -> Type -> Type) 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 |