Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Transformer.Jet

Documentation

data Jet t a Source #

Constructors

Jet a (Jet t (t a))

Instances

Instances details

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jet t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods (<-\|-) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|--) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|---) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|----) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|-----) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|------) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|-------) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|--------) :: (a -> b) -> Jet t a -> Jet t b Source # (<-\|-\|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u a) -> Jet t (u b) Source # (<-\|-\|-\|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Jet t)) => (a -> b) -> Jet t (u (v a)) -> Jet t (u (v b)) Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Jet t) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source #