Pandora.Paradigm.Primary.Functor.Edges

Documentation

data Edges a

Constructors

Empty

Leap a

Connect a

Overlay a

Instances

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

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Edges

Methods

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

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

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

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

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

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

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

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