pandora-0.1.7: A box of patterns and paradigms
Pandora.Paradigm.Basis.Edges
data Edges a Source #
Constructors
Defined in Pandora.Paradigm.Basis.Edges
Methods
(<$>) :: (a -> b) -> Edges a -> Edges b Source #
comap :: (a -> b) -> Edges a -> Edges b Source #
(<$) :: a -> Edges b -> Edges a Source #
($>) :: Edges a -> b -> Edges b Source #
void :: Edges a -> Edges () Source #
loeb :: Edges (Edges a -> a) -> Edges a Source #
(<&>) :: Edges a -> (a -> b) -> Edges b Source #
(<$$>) :: Covariant u => (a -> b) -> ((Edges :.: u) >< a) -> (Edges :.: u) >< b Source #
(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Edges :.: (u :.: v)) >< a) -> (Edges :.: (u :.: v)) >< b Source #
(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Edges :.: (u :.: (v :.: w))) >< a) -> (Edges :.: (u :.: (v :.: w))) >< b Source #
(<&&>) :: Covariant u => ((Edges :.: u) >< a) -> (a -> b) -> (Edges :.: u) >< b Source #
(<&&&>) :: (Covariant u, Covariant v) => ((Edges :.: (u :.: v)) >< a) -> (a -> b) -> (Edges :.: (u :.: v)) >< b Source #
(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Edges :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Edges :.: (u :.: (v :.: w))) >< b Source #
(->>) :: (Pointable u, Applicative u) => Edges a -> (a -> u b) -> (u :.: Edges) b Source #
traverse :: (Pointable u, Applicative u) => (a -> u b) -> Edges a -> (u :.: Edges) b Source #
sequence :: (Pointable u, Applicative u) => (Edges :.: u) a -> (u :.: Edges) a Source #
(->>>) :: (Pointable u, Applicative u, Traversable v) => (v :.: Edges) a -> (a -> u b) -> (u :.: (v :.: Edges)) b Source #
(->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => (w :.: (v :.: Edges)) a -> (a -> u b) -> (u :.: (w :.: (v :.: Edges))) b Source #
(->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => (j :.: (w :.: (v :.: Edges))) a -> (a -> u b) -> (u :.: (j :.: (w :.: (v :.: Edges)))) b Source #
edges :: r -> (a -> r) -> (a -> r) -> Edges a -> r Source #