Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Morphable ('Into ('There Maybe :: Wedge e1 (Type -> Type)) :: Morph (Wedge e1 (Type -> Type))) (Wedge e2) Source # | |
Morphable ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Wedge e) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Wedge (<-|-) :: (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 # | |
Defined in Pandora.Paradigm.Primary.Functor.Wedge (<<-) :: (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 # (<<--------) :: (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 # | |
type Morphing ('Into ('Here Maybe :: Wedge (Type -> Type) a1) :: Morph (Wedge (Type -> Type) a1)) (Flip Wedge a2) Source # | |