Pandora.Paradigm.Primary.Functor.Convergence

Documentation

data Convergence r a

Constructors

Convergence (a -> a -> r)

Instances

Contravariant (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

(>$<) :: (a -> b) -> Convergence r b -> Convergence r a

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

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

($<) :: Convergence r b -> b -> Convergence r a

full :: Convergence r () -> Convergence r a

(>&<) :: Convergence r b -> (a -> b) -> Convergence r a

(>$$<) :: Contravariant u => (a -> b) -> ((Convergence r :. u) := a) -> (Convergence r :. u) := b

(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Convergence r :. (u :. v)) := b) -> (Convergence r :. (u :. v)) := a

(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Convergence r :. (u :. (v :. w))) := a) -> (Convergence r :. (u :. (v :. w))) := b

(>&&<) :: Contravariant u => ((Convergence r :. u) := a) -> (a -> b) -> (Convergence r :. u) := b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Convergence r :. (u :. v)) := b) -> (a -> b) -> (Convergence r :. (u :. v)) := a

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Convergence r :. (u :. (v :. w))) := a) -> (a -> b) -> (Convergence r :. (u :. (v :. w))) := b

Ringoid r => Divisible (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

(>*<) :: Convergence r b -> Convergence r c -> Convergence r (b :*: c)