pandora-0.1.5: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Basis.Wye

Documentation

data Wye a Source #

Constructors

End 
Left a 
Right a 
Both a a 
Instances
Covariant Wye Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Wye

Methods

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

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

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

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

void :: Wye a -> Wye () Source #

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

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

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

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

(<&>) :: Wye a -> (a -> b) -> Wye b Source #

Traversable Wye Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Wye

Methods

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

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

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

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