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

loeb :: Edges (Edges a -> a) -> Edges a

(<$$>) :: Covariant u => (a -> b) -> Edges (u a) -> Edges (u b)

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> Edges (u (v a)) -> Edges (u (v b))

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> Edges (u (v (w a))) -> Edges (u (v (w b)))

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