Pandora.Paradigm.Basis.Edges

Documentation

data Edges a

Constructors

Empty

Connect a

Overlay a

Instances

Covariant Edges

Defined in Pandora.Paradigm.Basis.Edges

Methods

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

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

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

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

void :: Edges a -> Edges ()

Traversable Edges

Defined in Pandora.Paradigm.Basis.Edges

Methods

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

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

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

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