Pandora.Paradigm.Primary.Functor.Tagged

Documentation

newtype Tagged tag a

Constructors

Tag a

Instances

Bivariant (Tagged :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<->) :: (a -> b) -> (c -> d) -> Tagged a c -> Tagged b d

Monad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Pointable (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

point :: a -> Tagged tag a

Extractable (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

extract :: Tagged tag a -> a

Extendable (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<<=) :: (Tagged tag a -> b) -> Tagged tag a -> Tagged tag b

Comonad (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Bindable (Tagged tag) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(=<<) :: (a -> Tagged tag b) -> Tagged tag a -> Tagged tag b

Covariant (Flip (Tagged :: Type -> Type -> Type) a) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(-<$>-) :: (a0 -> b) -> Flip Tagged a a0 -> Flip Tagged a b

Covariant (Tagged tag) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(-<$>-) :: (a -> b) -> Tagged tag a -> Tagged tag b

Distributive (Tagged tag) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(-<<) :: Covariant u (->) (->) => (a -> Tagged tag b) -> u a -> Tagged tag (u b)

Traversable (Tagged tag) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Tagged tag a -> u (Tagged tag b)

Semigroup a => Semigroup (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(+) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Ringoid a => Ringoid (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(*) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Monoid a => Monoid (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

zero :: Tagged tag a

Quasiring a => Quasiring (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

one :: Tagged tag a

Group a => Group (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

invert :: Tagged tag a -> Tagged tag a

(-) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Supremum a => Supremum (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(\/) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Infimum a => Infimum (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(/\) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Lattice a => Lattice (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Setoid a => Setoid (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(==) :: Tagged tag a -> Tagged tag a -> Boolean

(!=) :: Tagged tag a -> Tagged tag a -> Boolean

Chain a => Chain (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(<=>) :: Tagged tag a -> Tagged tag a -> Ordering

(<) :: Tagged tag a -> Tagged tag a -> Boolean

(<=) :: Tagged tag a -> Tagged tag a -> Boolean

(>) :: Tagged tag a -> Tagged tag a -> Boolean

(>=) :: Tagged tag a -> Tagged tag a -> Boolean

type (:#) tag = Tagged tag infixr 0

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

tagself :: a :=> Tagged a