pandora-0.1.4: A box of patterns and paradigms
Pandora.Paradigm.Basis.Jack
data Jack t a Source #
Constructors
Defined in Pandora.Paradigm.Basis.Jack
Methods
lift :: Covariant u => u ~> Jack u Source #
(<$>) :: (a -> b) -> Jack t a -> Jack t b Source #
comap :: (a -> b) -> Jack t a -> Jack t b Source #
(<$) :: a -> Jack t b -> Jack t a Source #
($>) :: Jack t a -> b -> Jack t b Source #
void :: Jack t a -> Jack t () Source #
loeb :: Jack t (Jack t a -> a) -> Jack t a Source #
(<$$>) :: Covariant u => (a -> b) -> Jack t (u a) -> Jack t (u b) Source #
(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Jack t (u (v a)) -> Jack t (u (v b)) Source #
(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Jack t (u (v (w a))) -> Jack t (u (v (w b))) Source #
(<*>) :: Jack t (a -> b) -> Jack t a -> Jack t b Source #
apply :: Jack t (a -> b) -> Jack t a -> Jack t b Source #
(*>) :: Jack t a -> Jack t b -> Jack t b Source #
(<*) :: Jack t a -> Jack t b -> Jack t a Source #
forever :: Jack t a -> Jack t b Source #
(<+>) :: Jack t a -> Jack t a -> Jack t a Source #
alter :: Jack t a -> Jack t a -> Jack t a Source #
(>>-) :: Covariant t0 => t0 a -> (a -> Jack t b) -> (Jack t :.: t0) b Source #
collect :: Covariant t0 => (a -> Jack t b) -> t0 a -> (Jack t :.: t0) b Source #
distribute :: Covariant t0 => (t0 :.: Jack t) a -> (Jack t :.: t0) a Source #
exclusive :: Jack t a Source #
extract :: Jack t a -> a Source #
point :: a -> Jack t a Source #
(->>) :: (Pointable u, Applicative u) => Jack t a -> (a -> u b) -> (u :.: Jack t) b Source #
traverse :: (Pointable u, Applicative u) => (a -> u b) -> Jack t a -> (u :.: Jack t) b Source #
sequence :: (Pointable u, Applicative u) => (Jack t :.: u) a -> (u :.: Jack t) a Source #
(==) :: Jack t a -> Jack t a -> Boolean Source #
(/=) :: Jack t a -> Jack t a -> Boolean Source #
(<=>) :: Jack t a -> Jack t a -> Ordering Source #
(<) :: Jack t a -> Jack t a -> Boolean Source #
(<=) :: Jack t a -> Jack t a -> Boolean Source #
(>) :: Jack t a -> Jack t a -> Boolean Source #
(>=) :: Jack t a -> Jack t a -> Boolean Source #
jack :: (a -> r) -> (t a -> r) -> Jack t a -> r Source #