Pandora.Paradigm.Primary.Functor.Edges

Documentation

data Edges a

Constructors

Empty

Leap a

Connect a

Overlay a

Instances

Covariant Edges ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

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

Traversable Edges ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> Edges a -> u (Edges b)

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