pandora-0.1.8: 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 #
(<&>) :: Jack t a -> (a -> b) -> Jack t b 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 #
(<&&>) :: Covariant u => ((Jack t :.: u) >< a) -> (a -> b) -> (Jack t :.: u) >< b Source #
(<&&&>) :: (Covariant u, Covariant v) => ((Jack t :.: (u :.: v)) >< a) -> (a -> b) -> (Jack t :.: (u :.: v)) >< b Source #
(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Jack t :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (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 #
(<**>) :: Applicative u => (Jack t :.: u) (a -> b) -> (Jack t :.: u) a -> (Jack t :.: u) b Source #
(<***>) :: (Applicative u, Applicative v) => (Jack t :.: (u :.: v)) (a -> b) -> (Jack t :.: (u :.: v)) a -> (Jack t :.: (u :.: v)) b Source #
(<****>) :: (Applicative u, Applicative v, Applicative w) => (Jack t :.: (u :.: (v :.: w))) (a -> b) -> (Jack t :.: (u :.: (v :.: w))) a -> (Jack t :.: (u :.: (v :.: w))) b Source #
(<+>) :: Jack t a -> Jack t a -> Jack t a Source #
alter :: Jack t a -> Jack t a -> Jack t a Source #
idle :: 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 #
(>>>-) :: (Covariant t0, Covariant v) => (t0 :.: v) a -> (a -> Jack t b) -> (Jack t :.: (t0 :.: v)) b Source #
(>>>>-) :: (Covariant t0, Covariant v, Covariant w) => (t0 :.: (v :.: w)) a -> (a -> Jack t b) -> (Jack t :.: (t0 :.: (v :.: w))) b Source #
(>>>>>-) :: (Covariant t0, Covariant v, Covariant w, Covariant j) => (t0 :.: (v :.: (w :.: j))) a -> (a -> Jack t b) -> (Jack t :.: (t0 :.: (v :.: (w :.: j)))) b 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 #
(->>>) :: (Pointable u, Applicative u, Traversable v) => (v :.: Jack t) a -> (a -> u b) -> (u :.: (v :.: Jack t)) b Source #
(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => (w :.: (v :.: Jack t)) a -> (a -> u b) -> (u :.: (w :.: (v :.: Jack t))) b Source #
(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: Jack t))) a -> (a -> u b) -> (u :.: (j :.: (w :.: (v :.: Jack t)))) b 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 #