Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Liftable Jack Source # | |
Covariant t => Covariant (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack (<$>) :: (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 # | |
Applicative t => Applicative (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack (<*>) :: 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 # | |
Alternative t => Alternative (Jack t) Source # | |
Avoidable t => Avoidable (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack | |
Distributive t => Distributive (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack (>>-) :: 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 # | |
Extractable t => Extractable (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack | |
Covariant t => Pointable (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack | |
Traversable t => Traversable (Jack t) Source # | |
Defined in Pandora.Paradigm.Basis.Jack (->>) :: (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 # | |
(Setoid a, Setoid (t a)) => Setoid (Jack t a) Source # | |
(Chain a, Chain (t a)) => Chain (Jack t a) Source # | |