pandora-0.1.6: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Basis.Tagged

Documentation

newtype Tagged tag a Source #

Constructors

Tagged a 
Instances
Covariant (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

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

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

loeb :: Tagged tag (Tagged tag a -> a) -> Tagged tag a Source #

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

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

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

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

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

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

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

Bindable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

join :: (Tagged tag :.: Tagged tag) a -> Tagged tag a Source #

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

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

Applicative (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

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

forever :: Tagged tag a -> Tagged tag b Source #

Distributive (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

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

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

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

Extendable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

duplicate :: Tagged tag a -> (Tagged tag :.: Tagged tag) a Source #

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

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

Extractable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

extract :: Tagged tag a -> a Source #

Comonad (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Pointable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

point :: a -> Tagged tag a Source #

Monad (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Traversable (Tagged tag) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

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

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

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

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

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

Semigroup a => Semigroup (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Ringoid a => Ringoid (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Monoid a => Monoid (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

zero :: Tagged tag a Source #

Group a => Group (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

inverse :: Tagged tag a -> Tagged tag a Source #

Supremum a => Supremum (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Infimum a => Infimum (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

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

Lattice a => Lattice (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Setoid a => Setoid (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

(==) :: Tagged tag a -> Tagged tag a -> Boolean Source #

(/=) :: Tagged tag a -> Tagged tag a -> Boolean Source #

Chain a => Chain (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Tagged

Methods

(<=>) :: Tagged tag a -> Tagged tag a -> Ordering Source #

(<) :: Tagged tag a -> Tagged tag a -> Boolean Source #

(<=) :: Tagged tag a -> Tagged tag a -> Boolean Source #

(>) :: Tagged tag a -> Tagged tag a -> Boolean Source #

(>=) :: Tagged tag a -> Tagged tag a -> Boolean Source #

untag :: Tagged tag a -> a Source #

retag :: Tagged old a -> Tagged new a Source #

tagself :: a -> Tagged a a Source #