Pandora.Paradigm.Primary.Functor.Convergence
data Convergence r a Source #
Constructors
Defined in Pandora.Paradigm.Primary.Functor.Convergence
Methods
unit :: Proxy (:*:) -> (Unit (:*:) <-- a) --> Convergence r a Source #
mult :: forall (a :: k) (b :: k). (Convergence r a :*: Convergence r b) --> Convergence r (a :*: b) Source #
(>-|-) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|--) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|---) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|----) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|-----) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|------) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|-------) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|--------) :: (a -> b) -> Convergence r b -> Convergence r a Source #
(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Convergence r)) => (a -> b) -> Convergence r (u a) -> Convergence r (u b) Source #