pandora-0.1.5: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Paradigm.Basis.Edges

Documentation

data Edges a Source #

Constructors

Empty 
Connect a 
Overlay a 
Instances
Covariant Edges Source # 
Instance details

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 #

(<$$>) :: 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 #

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

Traversable Edges Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Edges

Methods

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

edges :: r -> (a -> r) -> (a -> r) -> Edges a -> r Source #