pandora-0.4.0: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Functor.Convergence

Documentation

data Convergence r a Source #

Constructors

Convergence (a -> a -> r) 

Instances

Instances details
Contravariant (Convergence r) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

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

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

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

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

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

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

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

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

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

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

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

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

Ringoid r => Divisible (Convergence r) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

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