Pandora.Paradigm.Primary.Functor.Tagged

Documentation

newtype Tagged tag a

Constructors

Tag a

Instances

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

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

bimap :: (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

Bindable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

join :: ((Tagged tag :. Tagged tag) := a) -> Tagged tag a

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

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

($>>=) :: Covariant u => ((u :. Tagged tag) := a) -> (a -> Tagged tag b) -> (u :. Tagged tag) := 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

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

Distributive (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

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

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

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

Extendable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

duplicate :: Tagged tag a -> (Tagged tag :. Tagged tag) := a

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

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

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

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

Extractable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

extract :: a <:= Tagged tag

Comonad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

point :: a :=> Tagged tag

Monad (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

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

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

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

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

Traversable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(->>) :: (Pointable u, Applicative u) => Tagged tag a -> (a -> u b) -> (u :. Tagged tag) := b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Tagged tag a -> (u :. Tagged tag) := b

sequence :: (Pointable u, Applicative u) => ((Tagged tag :. u) := a) -> (u :. Tagged tag) := a

(->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Tagged tag) := a) -> (a -> u b) -> (u :. (v :. Tagged tag)) := b

(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Tagged tag)) := a) -> (a -> u b) -> (u :. (w :. (v :. Tagged tag))) := b

(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Tagged tag))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. 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