Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Functor.Tagged

Documentation

newtype Tagged tag a Source #

Constructors

Tag a

Instances

Instances details

Monoidal (<--) ((->) :: Type -> Type -> Type) (::) (::) (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 multiply :: forall (a :: k) (b :: k). (Tagged tag a :: Tagged tag b) <-- Tagged tag (a :: b) Source #
Semimonoidal ((->) :: Type -> Type -> Type) (::) (::) (Tagged tag :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods multiply :: forall (a :: k) (b :: k). (Tagged tag a :: Tagged tag b) -> Tagged tag (a :: b) Source #
Monad (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged
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 #
Comonad (Tagged tag) ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged
Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (::) (::) (Tagged tag) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods unit :: Proxy (::) -> (Unit (::) -> a) -> Tagged tag a Source #
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 ((->) :: 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 #
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 (->) (->) (::) (::) u) => (a -> u b) -> Tagged tag a -> u (Tagged tag b) Source #
Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Tagged :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Tagged Methods (<->) :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d 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 #