Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Functor.Wedge

Documentation

data Wedge e a Source #

Constructors

Nowhere
Here e
There a

Instances

Instances details

Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('There Maybe)) (Wedge e2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('There Maybe)) <::> Wedge e2) ~> Morphing ('Into ('There Maybe)) (Wedge e2) Source #
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source #
Instance details Defined in Pandora.Paradigm.Structure Associated Types type Morphing ('Into ('Here Maybe)) (Flip Wedge a2) :: Type -> Type Source # Methods morphing :: (Tagged ('Into ('Here Maybe)) <::> Flip Wedge a2) ~> Morphing ('Into ('Here Maybe)) (Flip Wedge a2) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Wedge e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Wedge Methods (<-\|-) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|--) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|---) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|----) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|-----) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|------) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|-------) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|--------) :: (a -> b) -> Wedge e a -> Wedge e b Source # (<-\|-\|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u a) -> Wedge e (u b) Source # (<-\|-\|-\|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Wedge e)) => (a -> b) -> Wedge e (u (v a)) -> Wedge e (u (v b)) Source #
Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Wedge e) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Wedge Methods (<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source # (<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source # (<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source # (<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source # (<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source # (<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source # (<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (::) (::) u) => (a -> u b) -> Wedge e a -> u (Wedge e b) Source #
type Morphing ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) = Maybe
type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source #
Instance details Defined in Pandora.Paradigm.Structure type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) = Maybe

wedge :: (e -> r) -> (a -> r) -> r -> Wedge e a -> r Source #