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 ()

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