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