Pandora.Paradigm.Primary.Functor.Convergence

Documentation

data Convergence r a

Constructors

Convergence (a -> a -> r)

Instances

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