Pandora.Paradigm.Primary.Functor.Convergence

Documentation

data Convergence r a

Constructors

Convergence (a -> a -> r)

Instances

Monoid r => Monoidal (-->) (<--) (:*:) (:*:) (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

unit :: Proxy (:*:) -> (Unit (:*:) <-- a) --> Convergence r a

Semigroup r => Semimonoidal (-->) (:*:) (:*:) (Convergence r :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

mult :: forall (a :: k) (b :: k). (Convergence r a :*: Convergence r b) --> Convergence r (a :*: b)

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

(>-|-) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|--) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|---) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|----) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|-----) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|------) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|-------) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|--------) :: (a -> b) -> Convergence r b -> Convergence r a

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) (Convergence r)) => (a -> b) -> Convergence r (u a) -> Convergence r (u b)