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