Pandora.Paradigm.Basis.Variation

Documentation

data Variation e a

Constructors

This a

That e

These e a

Instances

Covariant (Variation e)

Defined in Pandora.Paradigm.Basis.Variation

Methods

(<$>) :: (a -> b) -> Variation e a -> Variation e b

comap :: (a -> b) -> Variation e a -> Variation e b

(<$) :: a -> Variation e b -> Variation e a

($>) :: Variation e a -> b -> Variation e b

void :: Variation e a -> Variation e ()

loeb :: Variation e (Variation e a -> a) -> Variation e a

(<$$>) :: Covariant u => (a -> b) -> Variation e (u a) -> Variation e (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Variation e (u (v a)) -> Variation e (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Variation e (u (v (w a))) -> Variation e (u (v (w b)))

Pointable (Variation e)

Defined in Pandora.Paradigm.Basis.Variation

Methods

point :: a -> Variation e a

Traversable (Variation e)

Defined in Pandora.Paradigm.Basis.Variation

Methods

(->>) :: (Pointable u, Applicative u) => Variation e a -> (a -> u b) -> (u :.: Variation e) b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Variation e a -> (u :.: Variation e) b

sequence :: (Pointable u, Applicative u) => (Variation e :.: u) a -> (u :.: Variation e) a

variation :: (a -> r) -> (e -> r) -> (e -> a -> r) -> Variation e a -> r