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 t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Extractable (Jet t) ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods extract :: Jet t a -> a Source #
Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Covariant (Jet t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods (-<$>-) :: (a -> b) -> Jet t a -> Jet t b Source #
Traversable t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Traversable (Jet t) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Transformer.Jet Methods (<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (::) (::)) => (a -> u b) -> Jet t a -> u (Jet t b) Source #