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 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 #
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 (->)) (->) (::) (::) u) => (a -> u b) -> Jet t a -> u (Jet t b) Source #