Pandora.Paradigm.Basis.Jet

Documentation

data Jet t a

Constructors

a :- (Jet t (t a))

Instances

Covariant t => Covariant (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

(<$>) :: (a -> b) -> Jet t a -> Jet t b

comap :: (a -> b) -> Jet t a -> Jet t b

(<$) :: a -> Jet t b -> Jet t a

($>) :: Jet t a -> b -> Jet t b

void :: Jet t a -> Jet t ()

loeb :: Jet t (Jet t a -> a) -> Jet t a

(<$$>) :: Covariant u => (a -> b) -> Jet t (u a) -> Jet t (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Jet t (u (v a)) -> Jet t (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Jet t (u (v (w a))) -> Jet t (u (v (w b)))

Covariant t => Extractable (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

extract :: Jet t a -> a

(forall (t1 :: Type -> Type). Exclusive t1) => Pointable (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

point :: a -> Jet t a

Traversable t => Traversable (Jet t)

Defined in Pandora.Paradigm.Basis.Jet

Methods

(->>) :: (Pointable u, Applicative u) => Jet t a -> (a -> u b) -> (u :.: Jet t) b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Jet t a -> (u :.: Jet t) b

sequence :: (Pointable u, Applicative u) => (Jet t :.: u) a -> (u :.: Jet t) a