Pandora.Paradigm.Basis.Wye

Documentation

data Wye a

Constructors

End

Left a

Right a

Both a a

Instances

Covariant Wye

Defined in Pandora.Paradigm.Basis.Wye

Methods

(<$>) :: (a -> b) -> Wye a -> Wye b

comap :: (a -> b) -> Wye a -> Wye b

(<$) :: a -> Wye b -> Wye a

($>) :: Wye a -> b -> Wye b

void :: Wye a -> Wye ()

loeb :: Wye (Wye a -> a) -> Wye a

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

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

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

Traversable Wye

Defined in Pandora.Paradigm.Basis.Wye

Methods

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

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

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

wye :: r -> (a -> r) -> (a -> r) -> (a -> a -> r) -> Wye a -> r