pandora-0.4.9: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Functor.Edges

Documentation

data Edges a Source #

Constructors

Empty 
Leap a 
Connect a 
Overlay a 

Instances

Instances details
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Edges Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Edges) => (a -> b) -> Edges (u a) -> Edges (u b) Source #

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Edges) => (a -> b) -> Edges (u (v a)) -> Edges (u (v b)) Source #

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Edges Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Edges a -> u (Edges b) Source #

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