Pandora.Pattern.Functor.Divisible

Documentation

class Contravariant t => Divisible t where

Methods

(>*<) :: t b -> t c -> t (b :*: c) infixr 5

Instances

Divisible Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

(>*<) :: Predicate b -> Predicate c -> Predicate (b :*: c)

Ringoid r => Divisible (Convergence r)

Defined in Pandora.Paradigm.Primary.Functor.Convergence

Methods

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