Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Functor.Tagged

Documentation

newtype Tagged tag a Source #

Constructors

Tag a

Instances

Instances details

Monoidal (-->) (-->) (::) (::) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods unit :: Proxy (::) -> (Unit (::) --> a) --> Tagged tag a Source #
Monoidal (<--) (-->) (::) (::) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods unit :: Proxy (::) -> (Unit (::) --> a) <-- Tagged tag a Source #
Semimonoidal (-->) (::) (::) (Tagged tag :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods mult :: forall (a :: k) (b :: k). (Tagged tag a :: Tagged tag b) --> Tagged tag (a :: b) Source #
Semimonoidal (<--) (::) (::) (Tagged tag :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods mult :: forall (a :: k) (b :: k). (Tagged tag a :: Tagged tag b) <-- Tagged tag (a :: b) Source #
Extendable ((->) :: Type -> Type -> Type) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<<=) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b Source #
Bindable ((->) :: Type -> Type -> Type) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (=<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b Source #
Monad ((->) :: Type -> Type -> Type) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged
Comonad ((->) :: Type -> Type -> Type) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (Tagged :: Type -> Type -> Type) a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<-\|-) :: (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 #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<-\|-) :: (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 #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (-<<) :: Covariant (->) (->) u => (a -> Tagged tag b) -> u a -> Tagged tag (u b) Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source #
Semigroup a => Semigroup (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (+) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
Ringoid a => Ringoid (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (*) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
Monoid a => Monoid (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods zero :: Tagged tag a Source #
Quasiring a => Quasiring (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods one :: Tagged tag a Source #
Group a => Group (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods invert :: Tagged tag a -> Tagged tag a Source # (-) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
Supremum a => Supremum (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (\/) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
Infimum a => Infimum (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (/\) :: Tagged tag a -> Tagged tag a -> Tagged tag a Source #
Lattice a => Lattice (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged
Setoid a => Setoid (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (==) :: Tagged tag a -> Tagged tag a -> Boolean Source # (!=) :: Tagged tag a -> Tagged tag a -> Boolean Source #
Chain a => Chain (Tagged tag a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<=>) :: 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 #

type (:#) tag = Tagged tag infixr 0 Source #

retag :: forall new old. Tagged old ~> Tagged new Source #

tagself :: a :=> Tagged a Source #