Pandora.Paradigm.Basis.Tagged

Documentation

newtype Tagged tag a

Constructors

Tagged a

Instances

Covariant (Tagged tag)

Defined in Pandora.Paradigm.Basis.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 (Tagged tag a -> a) -> 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.Basis.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

Applicative (Tagged tag)

Defined in Pandora.Paradigm.Basis.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.Basis.Tagged

Methods

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

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

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

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

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

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

Extendable (Tagged tag)

Defined in Pandora.Paradigm.Basis.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

Extractable (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

extract :: Tagged tag a -> a

Comonad (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

point :: a -> Tagged tag a

Monad (Tagged tag)

Defined in Pandora.Paradigm.Basis.Tagged

Traversable (Tagged tag)

Defined in Pandora.Paradigm.Basis.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.Basis.Tagged

Methods

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

Ringoid a => Ringoid (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Monoid a => Monoid (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

zero :: Tagged tag a

Group a => Group (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

inverse :: Tagged tag a -> Tagged tag a

Supremum a => Supremum (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Infimum a => Infimum (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Lattice a => Lattice (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Setoid a => Setoid (Tagged tag a)

Defined in Pandora.Paradigm.Basis.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.Basis.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

untag :: Tagged tag a -> a

retag :: Tagged old a -> Tagged new a

tagself :: a -> Tagged a a