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

Covariant (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

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

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

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

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

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

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Tagged tag :. (u :. v)) := a) -> (Tagged tag :. (u :. v)) := b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Tagged tag :. (u :. (v :. w))) := a) -> (Tagged tag :. (u :. (v :. w))) := b

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

(<&&&>) :: (Covariant u, Covariant v) => ((Tagged tag :. (u :. v)) := a) -> (a -> b) -> (Tagged tag :. (u :. v)) := b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Tagged tag :. (u :. (v :. w))) := a) -> (a -> b) -> (Tagged tag :. (u :. (v :. w))) := b

(.#..) :: (Tagged tag ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d

(.#...) :: (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

(.#....) :: (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

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

(<$$$) :: (Covariant u, Covariant v) => b -> ((Tagged tag :. (u :. v)) := a) -> (Tagged tag :. (u :. v)) := b

(<$$$$) :: (Covariant u, Covariant v, Covariant w) => b -> ((Tagged tag :. (u :. (v :. w))) := a) -> (Tagged tag :. (u :. (v :. w))) := b

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

($$$>) :: (Covariant u, Covariant v) => ((Tagged tag :. (u :. v)) := a) -> b -> (Tagged tag :. (u :. v)) := b

($$$$>) :: (Covariant u, Covariant v, Covariant w) => ((Tagged tag :. (u :. (v :. w))) := a) -> b -> (Tagged tag :. (u :. (v :. w))) := b

Applicative (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

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

forever :: Tagged tag a -> Tagged tag b

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

(<**>) :: Applicative u => ((Tagged tag :. u) := (a -> b)) -> ((Tagged tag :. u) := a) -> (Tagged tag :. u) := b

(<***>) :: (Applicative u, Applicative v) => ((Tagged tag :. (u :. v)) := (a -> b)) -> ((Tagged tag :. (u :. v)) := a) -> (Tagged tag :. (u :. v)) := b

(<****>) :: (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

Monad (Tagged tag)

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

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

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

extract :: Tagged tag a -> a

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

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

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