Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Liftable Jack Source # | |
Covariant t => Covariant (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.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 (a <:= Jack t) -> 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 # | |
(Pointable t, Bindable t) => Bindable (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jack (>>=) :: Jack t a -> (a -> Jack t b) -> Jack t b Source # (=<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # bind :: (a -> Jack t b) -> Jack t a -> Jack t b Source # join :: ((Jack t :. Jack t) := a) -> Jack t a Source # (>=>) :: (a -> Jack t b) -> (b -> Jack t c) -> a -> Jack t c Source # (<=<) :: (b -> Jack t c) -> (a -> Jack t b) -> a -> Jack t c Source # ($>>=) :: Covariant u => ((u :. Jack t) := a) -> (a -> Jack t b) -> (u :. Jack t) := b Source # | |
Applicative t => Applicative (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.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.Primary.Transformer.Jack | |
Distributive t => Distributive (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jack (>>-) :: Covariant u => u a -> (a -> Jack t b) -> (Jack t :. u) := b Source # collect :: Covariant u => (a -> Jack t b) -> u a -> (Jack t :. u) := b Source # distribute :: Covariant u => ((u :. Jack t) := a) -> (Jack t :. u) := a Source # (>>>-) :: (Covariant u, Covariant v) => ((u :. v) := a) -> (a -> Jack t b) -> (Jack t :. (u :. v)) := b Source # (>>>>-) :: (Covariant u, Covariant v, Covariant w) => ((u :. (v :. w)) := a) -> (a -> Jack t b) -> (Jack t :. (u :. (v :. w))) := b Source # (>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Jack t b) -> (Jack t :. (u :. (v :. (w :. j)))) := b Source # | |
Extendable t => Extendable (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.Jack (=>>) :: Jack t a -> (Jack t a -> b) -> Jack t b Source # (<<=) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # extend :: (Jack t a -> b) -> Jack t a -> Jack t b Source # duplicate :: Jack t a -> (Jack t :. Jack t) := a Source # (=<=) :: (Jack t b -> c) -> (Jack t a -> b) -> Jack t a -> c Source # (=>=) :: (Jack t a -> b) -> (Jack t b -> c) -> Jack t a -> c Source # ($=>>) :: Covariant u => ((u :. Jack t) := a) -> (Jack t a -> b) -> (u :. Jack t) := b Source # (<<=$) :: Covariant u => ((u :. Jack t) := a) -> (Jack t a -> b) -> (u :. Jack t) := b Source # | |
Extractable t => Extractable (Jack t) Source # | |
Covariant t => Pointable (Jack t) Source # | |
Traversable t => Traversable (Jack t) Source # | |
Defined in Pandora.Paradigm.Primary.Transformer.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 # | |
Hoistable Jack Source # | |
(Setoid a, Setoid (t a)) => Setoid (Jack t a) Source # | |
(Chain a, Chain (t a)) => Chain (Jack t a) Source # | |