Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Transformer.Jack

Documentation

data Jack t a Source #

Constructors

It a
Other (t a)

Instances

Instances details

Hoistable ((->) :: Type -> Type -> Type) Jack Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (/\|\) :: Covariant (->) (->) u => (forall a. u a -> v a) -> forall (a :: k). Jack u a -> Jack v a Source #
(Setoid a, Setoid (t a)) => Setoid (Jack t a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (==) :: Jack t a -> Jack t a -> Boolean Source # (!=) :: Jack t a -> Jack t a -> Boolean Source # (?=) :: Jack t a -> Jack t a -> r -> r -> r Source #
(Chain a, Chain (t a)) => Chain (Jack t a) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (<=>) :: 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 #
Liftable ((->) :: Type -> Type -> Type) Jack Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods lift :: Covariant (->) (->) u => u a -> Jack u a Source #
Extendable ((->) :: Type -> Type -> Type) t => Extendable ((->) :: Type -> Type -> Type) (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (<<=) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<==) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<===) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<====) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<=====) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<======) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<=======) :: (Jack t a -> b) -> Jack t a -> Jack t b Source # (<<========) :: (Jack t a -> b) -> Jack t a -> Jack t b Source #
(Monoidal (-->) (-->) (::) (::) t, Bindable ((->) :: Type -> Type -> Type) t) => Bindable ((->) :: Type -> Type -> Type) (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (=<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # (==<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # (===<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # (====<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # (=====<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # (======<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source # (=======<<) :: (a -> Jack t b) -> Jack t a -> Jack t b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (<-\|-) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|--) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|---) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|----) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|-----) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|------) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|-------) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|--------) :: (a -> b) -> Jack t a -> Jack t b Source # (<-\|-\|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u a) -> Jack t (u b) Source # (<-\|-\|-\|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Jack t)) => (a -> b) -> Jack t (u (v a)) -> Jack t (u (v b)) Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jack t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jack Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jack t a -> u (Jack t b) Source #

jack :: (a -> r) -> (t a -> r) -> Jack t a -> r Source #